https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72833
--- Comment #5 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot
Uni-Bielefeld.DE> ---
> --- Comment #3 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot
> Uni-Bielefeld.DE> ---
>> Could you please attach a faulty setjmp.h and a good setjmp.h
>
> I'm attaching the Mac OS X 10.7 one (i386/setjmp.h). Need to get home
> first for the 10.12 one and the annotation they use for noreturn
> functions.
I've just checked: on Mac OS X 10.11 and macOS 10.12, there simply is no
<i386/setjmp.h>. Instead, longjmp is declared directly in <setjmp.h>
with a __dead2 annotation (which expands to __attribute__((noreturn))).
No idea if there were any intermediate versions with the declaration in
<i386/setjmp.h> but some annotation (__dead2 or otherwise) present.
Rainer
