http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53219
--- Comment #2 from Martin Husemann <martin at netbsd dot org> 2012-05-04 07:56:48 UTC --- I double checked: the sigsetjmp/siglonjmp function prototypes are properly marked as returns_twice and noreturn, so I claim this to be abug in gcc ;-)