http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57411
Bug ID: 57411
Summary: [4.9 Regression] ICE: verify_ssa failed: definition in
block 4 does not dominate use in block 11 with
-fno-tree-dce -ftree-vectorize
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Created attachment 30189
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30189&action=edit
reduced testcase
Compiler output:
$ gcc -O -fno-tree-dce -ftree-vectorize testcase.C
testcase.C: In function 'void test01(int)':
testcase.C:15:1: error: definition in block 4 does not dominate use in block 11
test01 (int equal)
^
for SSA_NAME: .MEM_44 in statement:
.MEM_1 = PHI <.MEM_44(11), .MEM_5(12)>
PHI argument
.MEM_44
for PHI node
.MEM_1 = PHI <.MEM_44(11), .MEM_5(12)>
testcase.C:15:1: internal compiler error: verify_ssa failed
0xd63bc9 verify_ssa(bool)
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:1046
0xaf4b91 execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1970
0xaf54e7 execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:2002
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
$ gcc -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-199312-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-199312-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 4.9.0 20130524 (experimental) (GCC)
Tested revisions:
r199312 - fail
4.8 r198018 - OK
