This happened very recently, at least on x86 and x86_64
/home/guerby/work/gcc/build/build-20050210T230912/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20050210T230912/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20050210T230912/gcc/testsuite/ada/acats/support
c85006e.adb
c85006e.adb: In function 'C85006E':
c85006e.adb:38: error: Definition in block 212 does not dominate use in block
1130
for SSA_NAME: D.2824_6496in statement:
ivtmp.1438_81335 = &(*D.2840_6502)[5 ...]{lb: D.2824_6496 sz: 1}[0]{lb: 5 sz:
1};
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20050210 (experimental) (i686-pc-linux-gnu) verify_ssa failed. |
| Error detected at c85006e.adb:702:5 |
--
Summary: ACATS c85006e ICE block does not dominate
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: laurent at guerby dot net
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19901
