newlib-owner@sourceware.org wrote on 12/05/2006 09:58:20 AM: > would adding __attribute__ ((noreturn)) be appropriate as well? That is the issue is that the function is already marked as noreturn but as explained by Ben, GCC only recognizes some patterns for noreturn functions. Thanks, Andrew Pinski