This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/19901] New: ACATS c85006e ICE block does not dominate
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 11 Feb 2005 11:38:06 -0000
- Subject: [Bug ada/19901] New: ACATS c85006e ICE block does not dominate
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
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