[Bug tree-optimization/34976] New: verify_ssa ICE with -ftree-loop-linear

[pthaugen at gcc dot gnu dot org]

Discovered the following trying to build the cpu2006 benchmark 454.calculix.

work/temp> cat umat_aniso_creep.f 
      subroutine umat_aniso_creep()
!
      real*8 gr(6,6)
!
!
         do i=1,6
            do j=1,6
               gr(i,j)=0.d0
            enddo
            if(i.le.3) then
               gr(i,i)=1.d0
            else
               gr(i,i)=0.5d0
            endif
         enddo
         call dgesv(gr)
      return
      end
work/temp> ~/install/gcc/trunk/bin/gfortran -c -m32 -O2 -ftree-loop-linear
umat_aniso_creep.f
umat_aniso_creep.f: In function 'umat_aniso_creep':
umat_aniso_creep.f:1: error: definition in block 14 does not dominate use in
block 3
for SSA_NAME: i_15 in statement:
i_27 = PHI <i_15(3), i_24(9)>
PHI argument
i_15
for PHI node
i_27 = PHI <i_15(3), i_24(9)>
umat_aniso_creep.f:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: verify_ssa ICE with -ftree-loop-linear
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pthaugen at gcc dot gnu dot org
 GCC build triplet: powerpc64-linux
  GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34976