[Bug tree-optimization/60003] New: [4.9 regression] wrong code with __builtin_setjmp/__builtin_longjmp and inlining

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60003

            Bug ID: 60003
           Summary: [4.9 regression] wrong code with
                    __builtin_setjmp/__builtin_longjmp and inlining
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: major
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ebotcazou at gcc dot gnu.org
                CC: jakub at gcc dot gnu.org
        Depends on: 59920

Created attachment 31995
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31995&action=edit
Testcase

This is a fallout of the fix for PR tree-opt/59920: the attached testcase
passes at -0O but fails at -O1 (and interestingly passes at -O2) on
x86-64/Linux.  This is apparently related to inlining, see the comment in the
testcase.

Severity is "major" because this breaks the SJLJ exception scheme in Ada, which
has been rock-solid for about a decade.