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.