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

[aoliva at gcc dot gnu.org]

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

           Summary: verify_gimple fails building ada/einfo.o at -O3
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: aol...@gcc.gnu.org
                CC: rgue...@gcc.gnu.org


The patch for bug 48989 regressed BUILD_CONFIG=bootstrap-O3 ada builds on i686-
and x86_64-linux-gnu.  While building stage2 we hit this error:

../../gcc/ada/einfo.adb: In function ‘Einfo.Is_String_Type.Part’:
../../gcc/ada/einfo.adb:6377:4: error: invalid conversion in gimple call
boolean

einfo__b___XDLU_0__1

# .MEM_50 = VDEF <.MEM_49>
iftmp.45_26 = einfo.is_string_type.part (id_1(D));

+===========================GNAT BUG DETECTED==============================+
| 4.7.0 20110528 (experimental) [trunk revision
8219ad7:2a33c3d:4b51a1cd8cb5f4ff6a659aa55ce963497a624bd3] (x86_64-pc-linux-gnu)
GCC error:|
| verify_gimple failed                                                     |
| Error detected around ../../gcc/ada/einfo.adb:6377:4                     |