[Bug tree-optimization/42732] New: ICE: verify_ssa failed

[rguenth at gcc dot gnu dot org]

The fix for PR42521 produces an ICE in 434.zeusmp:

+ /home/seb/gcc/graphite/usr/bin/gfortran -c -g -O2 -DSPEC_CPU_LP64 -o pdv_d.o
pdv_d.f
pdv_d.f: In function pdv_d:
pdv_d.f:89:0: error: definition in block 40 does not dominate use in block 212
for SSA_NAME: prephitmp.28_439 in statement:
D.2771_606 = D.2770_605 <= prephitmp.28_439;
pdv_d.f:89:0: 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.

This is the reduced testcase:

      parameter(in =           128+5
     &        , jn =           128+5
     &        , kn =           128+5)
      real*8   d (in,jn,kn)
       real*8 dcopy(in,jn,kn)
       call pdv (is, dcopy)
       do k=ks,ke
         do j=je+1,je+2
           do i=is-2,ie+2
             dcopy(i,j,k) = d(i,j,k)
           enddo
         enddo
       enddo
       do k=ks,ke
         do j=js,je
           do i=is-2,is-1
             dcopy(i,j,k) = d(i,j,k)
           enddo
         enddo
       enddo
       end


-- 
           Summary: ICE: verify_ssa failed
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
OtherBugsDependingO 42521
             nThis:


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