[Bug fortran/21859] New: ICE with -ftree-vectorize and -O2 or higher

[fischer at td dot mw dot tum dot de]

Compiling this piece of code: 
 
c===================================================================      
SUBROUTINE SETGRDREC (NMREC,ZREC,KK,Z,IREC) 
      DIMENSION Z(KK) 
      DIMENSION ZREC(NMREC,KK) 
 
      i = 0 
      DO K=1,KK 
        ZREC(IREC,I) = Z(I) 
      ENDDO 
      END 
c=================================================================== 
 
with the following command: 
 
gfortran -O2 -Wall -Wextra -ftree-vectorize -c bug.F -o bug.o 
 
results in: 
 
=================================================================== 
problem.F: In function 'setgrdrec': 
problem.F:1: error: Definition in block 2 does not dominate use in block 5 
for SSA_NAME: TMT.7_31 in statement: 
#   TMT.7_25 = V_MAY_DEF <TMT.7_31>; 
(*zrec_28)[D.821_23] = lsm_tmp.9_15; 
problem.F:1: internal compiler error: verify_ssa failed. 
=================================================================== 
 
It compiles without problems without -ftree-vectorize or -O1 or lower. 
 
output of gfortran -v: 
=================================================================== 
Using built-in specs. 
Target: x86_64-unknown-linux-gnu 
Configured with: ./configure --prefix=/home/vici --enable-languages=f95 : 
(reconfigured) ./configure --prefix=/home/vici --enable-languages=f95 
Thread model: posix 
gcc version 4.1.0 20050601 (experimental) 
=================================================================== 
 
Output of uname -a: 
 
Linux galadriel 2.6.11.4-20a-default #1 Wed Mar 23 21:52:37 UTC 2005 x86_64 
x86_64 x86_64 GNU/Linux

-- 
           Summary: ICE with -ftree-vectorize and -O2 or higher
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fischer at td dot mw dot tum dot de
                CC: gcc-bugs at gcc dot gnu dot org


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