https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99165
Bug ID: 99165
Summary: [11 Regression] ICE in verify_dominators, at
dominance.c:1184 since r11-7205-g95d94b52ea847833
Product: gcc
Version: 11.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 fails:
$ cat new.C
struct A {
A() : i() {}
int i;
} *ap2 = new A[3];
$ g++ new.C --param=max-stores-to-track=2 -O2 -fnon-call-exceptions
struct A {
A() : i() {}
int i;
} *ap2 = new A[3];
new.C: In function ‘(static initializers for new.C)’:
new.C:4:18: error: dominator of 10 status unknown
4 | } *ap2 = new A[3];
| ^
new.C:4:18: error: dominator of 11 status unknown
new.C:4:18: error: dominator of 12 should be 11, not 5
during GIMPLE pass: store-merging
new.C:4:18: internal compiler error: in verify_dominators, at dominance.c:1184
0x76f16a verify_dominators(cdi_direction)
/home/marxin/Programming/gcc/gcc/dominance.c:1184
0xd3ab17 checking_verify_dominators
/home/marxin/Programming/gcc/gcc/dominance.h:76
0xd3ab17 calculate_dominance_info(cdi_direction)
/home/marxin/Programming/gcc/gcc/dominance.c:746
0x1393f5d verify_ssa(bool, bool)
/home/marxin/Programming/gcc/gcc/tree-ssa.c:1108
0x10851c8 execute_function_todo
/home/marxin/Programming/gcc/gcc/passes.c:2049
0x10857ec do_per_function
/home/marxin/Programming/gcc/gcc/passes.c:1687
0x10857ec execute_todo
/home/marxin/Programming/gcc/gcc/passes.c:2096
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
