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
