Bug 19901 - [4.0 Regression] ACATS c85006e ICE block does not dominate
Summary: [4.0 Regression] ACATS c85006e ICE block does not dominate
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: tree-optimization (show other bugs)
Version: 4.0.0
: P2 normal
Target Milestone: 4.0.0
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-valid-code
Depends on:
Blocks:
 
Reported: 2005-02-11 11:38 UTC by Laurent GUERBY
Modified: 2005-02-23 09:30 UTC (History)
2 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2005-02-11 13:43:38

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Laurent GUERBY 2005-02-11 11:38:04 UTC 
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                                      |
Comment 1 Andrew Pinski 2005-02-11 13:43:38 UTC 
Most likely different IV selection make this show up so this is a latent bug in ivopts.
See <http://gcc.gnu.org/ml/gcc/2005-01/msg01093.html> and others, Kenner was trying to fix this 
for a while now.
Comment 3 Eric Botcazou 2005-02-23 09:30:13 UTC 
Not sure why, but fixed as of today.