https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106737
Bug ID: 106737
Summary: [13 Regression] ICE: verify_ssa failed (error: stmt
with wrong VUSE)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 13.0.0 20220821 snapshot (g:d6a39c25c05c6ed5df8ce49eda719d17e40e29bb) ICEs
when compiling gcc/testsuite/gcc.dg/graphite/pr84872.c w/ -O1
-floop-parallelize-all -ftree-parallelize-loops=2 -fno-tree-dce:
% gcc-13.0.0 -O1 -floop-parallelize-all -ftree-parallelize-loops=2
-fno-tree-dce -c gcc/testsuite/gcc.dg/graphite/pr84872.c
gcc/testsuite/gcc.dg/graphite/pr84872.c: In function 'foo':
gcc/testsuite/gcc.dg/graphite/pr84872.c:6:1: error: stmt with wrong VUSE
6 | foo (int x)
| ^~~
# .MEM_39 = VDEF <.MEM_30>
.paral_data_store.9.x = x_2;
expected .MEM_37
during GIMPLE pass: parloops
gcc/testsuite/gcc.dg/graphite/pr84872.c:6:1: internal compiler error:
verify_ssa failed
0x1148085 verify_ssa(bool, bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-ssa.cc:1211
0xfb9a13 try_transform_to_exit_first_loop_alt
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:2607
0xfb9a13 gen_parallel_loop
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:3117
0xfbaba6 parallelize_loops
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:4129
0xfbc1c9 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:4214
0xfbc1c9 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220821/work/gcc-13-20220821/gcc/tree-parloops.cc:4193
