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

Reply via email to