https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63593
Bug ID: 63593
Summary: ICE: verify_gimple failed: incompatible types in PHI
argument 0 with -O3 -fno-tree-vectorize
Product: gcc
Version: 5.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 33757
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33757&action=edit
reduced testcase
Compiler output [5.0]:
$ gcc -O3 -fno-tree-vectorize testcase.c
testcase.c: In function 'foo':
testcase.c:5:1: error: incompatible types in PHI argument 0
foo (void)
^
int
unsigned int
_101 = PHI <ivtmp_136(3)>
testcase.c:5:1: internal compiler error: verify_gimple failed
0xbecd3e verify_gimple_in_cfg(function*, bool)
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:5025
0xabbad6 execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1755
0xabc513 execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1812
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.
Compiler output [4.9/4.8/4.7]:
$ gcc -O3 -fno-tree-vectorize testcase.c
testcase.c: In function 'foo':
testcase.c:5:1: error: no immediate_use list
foo (void)
^
for SSA_NAME: _15 in statement:
_5 = PHI <pretmp_99(8), _15(4)>
PHI argument
_15
for PHI node
_5 = PHI <pretmp_99(8), _15(4)>
testcase.c:5:1: internal compiler error: verify_ssa failed
0xce6d1b verify_ssa(bool)
/mnt/svn/gcc-4_9/gcc/tree-ssa.c:1096
0xc60286 verify_loop_closed_ssa(bool)
/mnt/svn/gcc-4_9/gcc/tree-ssa-loop-manip.c:601
0xc6069f gimple_duplicate_loop_to_header_edge(loop*, edge_def*, unsigned int,
simple_bitmap_def*, edge_def*, vec<edge_def*, va_heap, vl_ptr>*, int)
/mnt/svn/gcc-4_9/gcc/tree-ssa-loop-manip.c:772
0xc610d7 tree_transform_and_unroll_loop(loop*, unsigned int, edge_def*,
tree_niter_desc*, void (*)(loop*, void*), void*)
/mnt/svn/gcc-4_9/gcc/tree-ssa-loop-manip.c:1190
0xbd6a14 tree_predictive_commoning_loop
/mnt/svn/gcc-4_9/gcc/tree-predcom.c:2517
0xbd6a14 tree_predictive_commoning()
/mnt/svn/gcc-4_9/gcc/tree-predcom.c:2552
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.
Compiler output [4.6]:
$ gcc -O3 -fno-tree-vectorize testcase.c -wrapper valgrind,-q
==21897== Invalid read of size 2
==21897== at 0x742BBC: is_gimple_reg_type (gimple.c:2818)
==21897== by 0x742BBC: is_gimple_val (gimple.c:2886)
==21897== by 0x8E76E5: verify_gimple_phi (tree-cfg.c:3938)
==21897== by 0x8F3497: verify_stmts (tree-cfg.c:4330)
==21897== by 0xA0A50C: verify_ssa (tree-ssa.c:920)
==21897== by 0x9B6DC3: verify_loop_closed_ssa (tree-ssa-loop-manip.c:456)
==21897== by 0x9B72DC: gimple_duplicate_loop_to_header_edge
(tree-ssa-loop-manip.c:622)
==21897== by 0x9B7C9D: tree_transform_and_unroll_loop
(tree-ssa-loop-manip.c:1046)
==21897== by 0x945094: tree_predictive_commoning_loop (tree-predcom.c:2543)
==21897== by 0x946390: tree_predictive_commoning (tree-predcom.c:2580)
==21897== by 0x7F5B75: execute_one_pass (passes.c:1556)
==21897== by 0x7F5E74: execute_pass_list (passes.c:1611)
==21897== by 0x7F5E86: execute_pass_list (passes.c:1612)
==21897== Address 0x0 is not stack'd, malloc'd or (recently) free'd
==21897==
testcase.c: In function 'foo':
testcase.c:5:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r216429 - ICE
4_9 r213788 - ICE
4_8 r213789 - ICE
4_7 r211571 - ICE
4_6 r197894 - ICE
