https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72833
--- Comment #12 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- (In reply to r...@cebitec.uni-bielefeld.de from comment #10) > True: the Solaris fix missed this, probably because the issue never came > up. The Mac OS X 10.8+ <setjmp.h> has the annotation, so it's probably > best to fix both while you're at it. > That's clear: before my clean-up of special_function_p *anything* with the name longjmp and siglongjmp was implicitly noreturn, even if the header file said something different.
