https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107153
Bug ID: 107153
Summary: [13 Regression] ICE in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:645
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 20220925 snapshot (g:77bbf69d2981dafc2ef3e59bfbefb645d88bab9d) ICEs
when compiling the following testcase w/ -O1 -floop-parallelize-all
-ftree-parallelize-loops=2 -fno-tree-dominator-opts:
void
foo (int x, int y)
{
int i;
for (i = 0; i < 2; i++)
{
}
while (x)
if (!y)
while (y)
++y;
}
% gcc-13.0.0 -O1 -floop-parallelize-all -ftree-parallelize-loops=2
-fno-tree-dominator-opts -c rssq9kpi.c
during GIMPLE pass: ompexpssa
rssq9kpi.c: In function 'foo':
rssq9kpi.c:2:1: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:645
2 | foo (int x, int y)
| ^~~
0x77e395 check_loop_closed_ssa_def
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/tree-ssa-loop-manip.cc:645
0x106f1a4 check_loop_closed_ssa_bb
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/tree-ssa-loop-manip.cc:659
0x1070566 verify_loop_closed_ssa(bool, loop*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/tree-ssa-loop-manip.cc:695
0x1070566 verify_loop_closed_ssa(bool, loop*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/tree-ssa-loop-manip.cc:679
0xdfcf64 execute_function_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/passes.cc:2109
0xdfd33e execute_todo
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220925/work/gcc-13-20220925/gcc/passes.cc:2145
