https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106182
Bug ID: 106182
Summary: [13 Regression] ICE in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:717 since
r13-1450-gd2a898666609452e
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: marxin at gcc dot gnu.org
CC: rguenth at gcc dot gnu.org
Target Milestone: ---
The following ICEs:
$ cat func.ii
short var_32;
int test_var_0;
unsigned char test_var_6;
char test_var_13;
void test(int var_2) {
for (;;)
for (short i_7; i_7 < test_var_13; i_7 += 1)
for (; test_var_0;) {
for (; var_2;)
var_32 = 0;
for (char i_19; i_19 < test_var_6 + 135; i_19 += 200)
;
}
}
$ g++ func.ii -c -O3
during GIMPLE pass: unswitch
func.ii: In function ‘void test(int)’:
func.ii:5:6: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:717
5 | void test(int var_2) {
| ^~~~
0x8c2643 check_loop_closed_ssa_def
/home/marxin/Programming/gcc/gcc/tree-ssa-loop-manip.cc:717
0x13edebc check_loop_closed_ssa_bb
/home/marxin/Programming/gcc/gcc/tree-ssa-loop-manip.cc:731
0x13ef12e verify_loop_closed_ssa(bool, loop*)
/home/marxin/Programming/gcc/gcc/tree-ssa-loop-manip.cc:767
0x13ef12e verify_loop_closed_ssa(bool, loop*)
/home/marxin/Programming/gcc/gcc/tree-ssa-loop-manip.cc:751
0x1184127 execute_function_todo
/home/marxin/Programming/gcc/gcc/passes.cc:2109
0x118452a execute_todo
/home/marxin/Programming/gcc/gcc/passes.cc:2145
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
