/tmp/gcc41/libexec/gcc/i686-pc-linux-gnu/4.1.0/cc1 -quiet -v test.c -dumpbase
test.c -msse2 -auxbase-strip test.o -O -version -ftree-vectorize -o test.o
GNU C version 4.1.0 20051007 (experimental) (i686-pc-linux-gnu)
compiled by GNU C version 4.1.0 20051007 (experimental).
GGC heuristics: --param ggc-min-expand=99 --param ggc-min-heapsize=129306
Compiler executable checksum: a278381769db4d67bad1ec630ceb45dd
test.c: In function 'test':
test.c:4: error: definition in block 1 does not dominate use in block 0
for SSA_NAME: D.1603_5 in statement:
base_off.27_12 = D.1603_5 * 16;
test.c:4: internal compiler error: verify_ssa failed
Configured with: ../gcc/configure --prefix=/tmp/gcc41 --enable-languages=c
--disable-nls --enable-checking=assert,rtlflag,misc
========================================================
void dSetZero (double *a);
void test()
{
double A[12];
int i;
dSetZero (A);
for (i=0; i<6; i++) A[i+2*(i/2)] = 4;
dSetZero (A);
}
========================================================
--
Summary: ICE: verify_ssa failed with -O -msse2 -ftree-vectorize
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ferdinandw+gcc at gmail dot com
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24262
