[Bug tree-optimization/63593] New: ICE: verify_gimple failed: incompatible types in PHI argument 0 with -O3 -fno-tree-vectorize

[zsojka at seznam dot cz]

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