https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108685
Bug ID: 108685
Summary: [13 Regression] ICE in verify_loop_structure, at
cfgloop.cc:1748
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: gs...@t-online.de
Target Milestone: ---
Started between 20220828 and 20220904, at -O1+ :
$ cat z1.c
void f (int a)
{
for (;;)
#pragma omp for collapse(2) ordered(4)
for (int i = 0; i < 2; i++)
for (int j = 0; j < a; j++)
for (int k = 0; k < 2; k++)
for (int l = 0; l < a; l++)
{
#pragma omp ordered doacross (source:)
__builtin_abort ();
}
}
$ gcc-13-20230205 -c z1.c -fopenmp -O2
z1.c: In function 'f':
z1.c:4:13: error: size of loop 3 should be 9, not 10
4 | #pragma omp for collapse(2) ordered(4)
| ^~~
z1.c:4:13: error: bb 8 does not belong to loop 3
z1.c:4:13: error: bb 18 does not belong to loop 3
z1.c:4:13: error: bb 15 does not belong to loop 3
z1.c:4:13: error: bb 14 does not belong to loop 3
z1.c:4:13: error: bb 13 does not belong to loop 3
z1.c:4:13: error: bb 9 does not belong to loop 3
z1.c:4:13: error: bb 17 does not belong to loop 3
z1.c:4:13: error: bb 16 does not belong to loop 3
z1.c:4:13: error: bb 10 does not belong to loop 3
z1.c:4:13: error: loop 3's header does not belong directly to it
during GIMPLE pass: ompexp
z1.c:4:13: internal compiler error: in verify_loop_structure, at
cfgloop.cc:1748
0x9ae013 verify_loop_structure()
../../gcc/cfgloop.cc:1748
0xd21499 checking_verify_loop_structure
../../gcc/cfgloop.h:646
0xd21499 fix_loop_structure(bitmap_head*)
../../gcc/loop-init.cc:327
0xf8dd37 repair_loop_structures
../../gcc/tree-cfgcleanup.cc:1190
0xf8dd37 cleanup_tree_cfg(unsigned int)
../../gcc/tree-cfgcleanup.cc:1218
0xe1dc14 execute_function_todo
../../gcc/passes.cc:2057
0xe1e5a2 execute_todo
../../gcc/passes.cc:2145
