[Bug middle-end/88448] New: [9 regression] gnat.dg/opt66.adb etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88448

            Bug ID: 88448
           Summary: [9 regression] gnat.dg/opt66.adb etc. FAIL
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---
            Target: sparc-sun-solaris2.11, i386-pc-solaris2.11

Between 20181209 (r266930) and 20181210 (r266959), three Ada tests regressed:

+FAIL:  cb4009a

cb4009a.adb: In function 'CB4009A.P2':
cb4009a.adb:114:5: error: BB 16 can not throw but has an EH edge
+===========================GNAT BUG DETECTED==============================+
| 9.0.0 20181210 (experimental) [trunk revision 266959] (i386-pc-solaris2.11)
GCC error:|
| verify_flow_info failed                                                  |
| Error detected around cb4009a.adb:114:5                    
[...]
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:407
gnatmake: "cb4009a.adb" compilation error

+FAIL: gnat.dg/opt66.adb (test for excess errors)
+FAIL: gnat.dg/opt66.adb 3 blank line(s) in output

/vol/gcc/src/hg/trunk/local/gcc/testsuite/gnat.dg/opt66.adb: In function
'Opt66':
/vol/gcc/src/hg/trunk/local/gcc/testsuite/gnat.dg/opt66.adb:13:4: error: BB 12
can not throw but has an EH edge
+===========================GNAT BUG DETECTED==============================+
| 9.0.0 20181210 (experimental) [trunk revision 266959] (i386-pc-solaris2.11)
GCC error:|
| verify_flow_info failed                                                  |
| Error detected around
/vol/gcc/src/hg/trunk/local/gcc/testsuite/gnat.dg/opt66.adb:13:4|
[...]
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:407
gnatmake: "/vol/gcc/src/hg/trunk/local/gcc/testsuite/gnat.dg/opt66.adb"
compilation error

This might be from

2018-12-10  Richard Biener  <rguenther@suse.de>

        PR middle-end/88415
        * gimple.c (gimple_assign_set_rhs_with_ops): Transfer EH
        info to a newly allocated stmt.

        * gcc.dg/gomp/pr88415.c: New testcase.