https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92275
Bug ID: 92275
Summary: [10 Regression] ICE: error: definition in block 11
does not dominate use in block 15 since r277566
Product: gcc
Version: 10.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
Target Milestone: ---
Following code snippet is reduced from 527.cam4_r SPEC 2017 benchmark:
$ cat ice.i
unsigned long a, c;
int *b, *b2;
long d;
void fn1() {
for (; b < b2; b++)
d += *b * c;
d *= a;
}
$ gcc -O3 -march=znver2 ice.i -c
ice.i: In function ‘fn1’:
ice.i:5:6: error: definition in block 11 does not dominate use in block 15
5 | void fn1() {
| ^~~
for SSA_NAME: _92 in statement:
prephitmp_51 = PHI <_92(15), _52(8)>
PHI argument
_92
for PHI node
prephitmp_51 = PHI <_92(15), _52(8)>
during GIMPLE pass: vect
ice.i:5:6: internal compiler error: verify_ssa failed
0xfe7b6e verify_ssa(bool, bool)
/home/marxin/Programming/gcc/gcc/tree-ssa.c:1208
0xcedfa5 execute_function_todo
/home/marxin/Programming/gcc/gcc/passes.c:1990
0xceec4e execute_todo
/home/marxin/Programming/gcc/gcc/passes.c:2037
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.
