https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123316
Bug ID: 123316
Summary: ICE during GIMPLE pass verify_gimple failed, at
tree-cfg.cc:5599
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rvismith1115 at gmail dot com
Target Milestone: ---
The test case is reduced by C-Reduce.
Code link: https://godbolt.org/z/Y7hs11vsq
Reproducer:
int a;
extern bool b[];
void e() {
for (int c; c; c++)
for (int d = 2; d < 21; d++)
b[c] |= a;
}
$ riscv64-unknown-elf-g++ -O3 -march=rv64gcv_zvfh func.cpp
func.cpp: In function 'void e()':
func.cpp:3:6: error: incompatible types in 'PHI' argument 1
3 | void e() {
| ^
vector([4,4]) <signed-boolean:1>
vector([4,4]) unsigned char
mask_b_I_lsm.12_58 = PHI <mask__5.15_61(9), _55(6)>
during GIMPLE pass: vect
func.cpp:3:6: internal compiler error: verify_gimple failed
0x3362f4b internal_error(char const*, ...)
/home/riscv-files/gcc-16-20251123/gcc/diagnostic-global-context.cc:787
0x18d8c52 verify_gimple_in_cfg(function*, bool, bool)
/home/riscv-files/gcc-16-20251123/gcc/tree-cfg.cc:5599
0x1750eda execute_function_todo
/home/riscv-files/gcc-16-20251123/gcc/passes.cc:2097
0x17513be execute_todo
/home/riscv-files/gcc-16-20251123/gcc/passes.cc:2149
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.
