I have been reviewing old manuals of GCC. The first reference to "noreturn" and "longjmp" together is found in v4.0. I have thus decided to go the daring route and define a new macro, ecl_attr_noreturn as __attribute__((noreturn)) for all versions >= 4.0  The result is a tremendous size reduction in the core, of about 17k! Not bad for starters.<div>
<br></div><div><div>$ size build.attr/libecl.dylib </div><div>__TEXT<span class="Apple-tab-span" style="white-space:pre"> </span>__DATA<span class="Apple-tab-span" style="white-space:pre">      </span>__OBJC<span class="Apple-tab-span" style="white-space:pre">      </span>others<span class="Apple-tab-span" style="white-space:pre">      </span>dec<span class="Apple-tab-span" style="white-space:pre"> </span>hex</div>
<div>1318912<span class="Apple-tab-span" style="white-space:pre">       </span>253952<span class="Apple-tab-span" style="white-space:pre">      </span>0<span class="Apple-tab-span" style="white-space:pre">   </span>532480<span class="Apple-tab-span" style="white-space:pre">      </span>2105344<span class="Apple-tab-span" style="white-space:pre">     </span>202000</div>
<div>$ size build/libecl.dylib </div><div>__TEXT<span class="Apple-tab-span" style="white-space:pre">       </span>__DATA<span class="Apple-tab-span" style="white-space:pre">      </span>__OBJC<span class="Apple-tab-span" style="white-space:pre">      </span>others<span class="Apple-tab-span" style="white-space:pre">      </span>dec<span class="Apple-tab-span" style="white-space:pre"> </span>hex</div>
<div>1335296<span class="Apple-tab-span" style="white-space:pre">       </span>253952<span class="Apple-tab-span" style="white-space:pre">      </span>0<span class="Apple-tab-span" style="white-space:pre">   </span>532480<span class="Apple-tab-span" style="white-space:pre">      </span>2121728<span class="Apple-tab-span" style="white-space:pre">     </span>206000</div>
<div><br></div><div><br></div><div><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com">http://juanjose.garciaripoll.googlepages.com</a><br>

</div></div>