------- 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