The SPEC CPU2000 benchmark 171.swim fails to build on powerpc64-linux using "-m32 -O2 -ftree-loop-linear" with current GCC mainline due to an ICE in verify_ssa. I'll attach a minimized test case that gets the same error: elm3b145% /opt/gcc-nightly/mline-20050322/bin/gfortran -O2 -ftree-loop-linear -c bug.f bug.f: In function ‘MAIN__’: bug.f:7: error: Definition in block 9 does not dominate use in block 3 for SSA_NAME: lnivtmp.4_34in statement: if (lletmp.6_32 <= lnivtmp.4_34) goto <L20>; else goto <L21>; bug.f:7: internal compiler error: verify_ssa failed. Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://gcc.gnu.org/bugs.html> for instructions. The failure starts sometime between 2005-03-01 09:57 UTC and 2005-03-02 02 03:03 UTC; my regression hunt ran into a build failure in that range but I'll try to continue it to identify the patch that introduced the bug or exposed a latent bug.
-- Summary: ICE in verify_ssa for -ftree-loop-linear Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: janis at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: powerpc-linux GCC host triplet: powerpc-linux GCC target triplet: powerpc-linux http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612