[Bug middle-end/49210] [4.7 regression] verify_gimple fails building ada/einfo.o at -O3

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.05.28 21:12:50
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
            Version|unknown                     |4.7.0
   Target Milestone|---                         |4.7.0
            Summary|verify_gimple fails         |[4.7 regression]
                   |building ada/einfo.o at -O3 |verify_gimple fails
                   |                            |building ada/einfo.o at -O3
     Ever Confirmed|0                           |1

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-05-28 
21:12:50 UTC ---
Yep.  I'm going to reduce it into a testcase for gnat.dg.