------- Comment #6 from rguenth at gcc dot gnu dot org 2009-01-30 16:35 ------- I think this may be due to the use of setjmp and
DEF_GCC_BUILTIN (BUILT_IN_SETJMP, "setjmp", BT_FN_INT_PTR, ATTR_NULL) missing the fact that setjmp returns twice. Note also the inconsistency in if (is_gimple_call (t) && fndecl && DECL_BUILT_IN (fndecl) && (call_flags & ECF_NOTHROW) && !(call_flags & ECF_NORETURN) && !(call_flags & ECF_RETURNS_TWICE)) return false; if (is_gimple_call (t) && !(call_flags & ECF_NORETURN)) return true; wrt ECF_NORETURN. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38977