http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47918
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2011-02-28 20:28:27 UTC --- On Mon, 28 Feb 2011, rguenth at gcc dot gnu.org wrote: > Also y isn't really noreturn, is it? Honza? Shouldn't non-local gotos > also prevent noreturn? noreturn means a function does not return to its caller in the ordinary way; it says nothing about other control flow from that function (non-local gotos, longjmp, throwing exceptions).
