| Summary: | [4.0 Regression] ACATS c85006e ICE block does not dominate | ||
|---|---|---|---|
| Product: | gcc | Reporter: | Laurent GUERBY <laurent> |
| Component: | tree-optimization | Assignee: | Not yet assigned to anyone <unassigned> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | ebotcazou, gcc-bugs |
| Priority: | P2 | Keywords: | ice-on-valid-code |
| Version: | 4.0.0 | ||
| Target Milestone: | 4.0.0 | ||
| Host: | Target: | ||
| Build: | Known to work: | ||
| Known to fail: | Last reconfirmed: | 2005-02-11 13:43:38 | |
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. http://gcc.gnu.org/ml/gcc/2004-11/msg01200.html http://gcc.gnu.org/ml/gcc/2004-12/msg00144.html And more Not sure why, but fixed as of today. |
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 |