[Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844

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

------- Comment #8 from spop at gcc dot gnu dot org  2010-01-13 17:00 -------
The fix for this PR 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


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |


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