title: Why/When would/should you use __attribute__((noreturn))?
body: <p>As I understand, this attribute tells the compiler that a function does not return. What is the benefit of specifying this when a function has a void return?</p>
  <p>How are these two functions different?</p>
  <pre class="lang-cpp prettyprint-override"><code>void foo(){}
  __attribute__((noreturn)) void foo(){}
  </code></pre>