https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116902
Bug ID: 116902
Summary: ICE Another definition in block 43 follows the use
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: ktkachov at gcc dot gnu.org
Target Milestone: ---
The following C++ testcase ICEs on aarch64 with -O3:
unsigned a;
#include <algorithm>
void i(long b, char c[][4], long d[][4]) {
for (char e; e; e++)
for (char f = 0; f < 021; f = b)
for (signed char g; g < 7; g += ~0)
for (bool h = 0; h < bool(d[f][f]); h = 1)
a = c[2][1] - std::min(c[1][f + 1], c[2][f + 2]);
}
driver.cpp:3:6: error: definition in block 43 follows the use
3 | void i(long b, char c[][4], long d[][4]) {
| ^
for SSA_NAME: vect__3.15_185 in statement:
vect_patt_67.16_186 = .VEC_WIDEN_MINUS_LO (vect_cst__180, vect__3.15_185);
during GIMPLE pass: vect
driver.cpp:3:6: internal compiler error: verify_ssa failed
0x25540fb internal_error(char const*, ...)
$SRC/gcc/diagnostic-global-context.cc:517
0x1570e43 verify_ssa(bool, bool)
$SRC/gcc/tree-ssa.cc:1203
0x119102f execute_function_todo
$SRC/gcc/passes.cc:2108
0x11915ff execute_todo
$SRC/gcc/passes.cc:2155
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.
