[Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear

["janis at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

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