public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/63593] New: ICE: verify_gimple failed: incompatible types in PHI argument 0 with -O3 -fno-tree-vectorize
@ 2014-10-19  8:22 zsojka at seznam dot cz
  2014-11-24 19:04 ` [Bug tree-optimization/63593] " mpolacek at gcc dot gnu.org
                   ` (11 more replies)
  0 siblings, 12 replies; 13+ messages in thread
From: zsojka at seznam dot cz @ 2014-10-19  8:22 UTC (permalink / raw)
  To: gcc-bugs

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


^ permalink raw reply	[flat|nested] 13+ messages in thread
end of thread, other threads:[~2015-02-25 10:35 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-10-19  8:22 [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
2014-11-24 19:04 ` [Bug tree-optimization/63593] " mpolacek at gcc dot gnu.org
2014-11-24 19:25 ` mpolacek at gcc dot gnu.org
2014-11-25 19:02 ` mpolacek at gcc dot gnu.org
2014-12-19 13:41 ` jakub at gcc dot gnu.org
2015-02-16 10:59 ` rguenth at gcc dot gnu.org
2015-02-16 12:08 ` rguenth at gcc dot gnu.org
2015-02-16 14:52 ` rguenth at gcc dot gnu.org
2015-02-16 14:52 ` rguenth at gcc dot gnu.org
2015-02-20  7:32 ` rguenth at gcc dot gnu.org
2015-02-23 10:18 ` rguenth at gcc dot gnu.org
2015-02-25 10:41 ` rguenth at gcc dot gnu.org
2015-02-25 11:17 ` rguenth at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).