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: [email protected]
ReportedBy: [email protected]
CC: [email protected]
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 |