https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108825
Bug ID: 108825
Summary: error during GIMPLE pass: unrolljam
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
For this C code:
safe_mul_func_uint8_t_u_u_ui2, g_231, g_277_1, g_568, func_35___trans_tmp_10;
g_81[7];
g_96[];
char func_35___trans_tmp_11;
safe_add_func_int32_t_s_s(si1, si2) { return si1 > 647 - si2 ?: si1; }
func_35() {
for (; g_277_1; g_277_1 += 1) {
g_231 = 0;
for (; g_231 <= 6; g_231 += 1) {
func_35___trans_tmp_10 =
safe_add_func_int32_t_s_s(g_81[g_231], g_568 || g_96[1]);
func_35___trans_tmp_11 =
func_35___trans_tmp_10 * safe_mul_func_uint8_t_u_u_ui2;
g_81[g_231] = func_35___trans_tmp_11;
}
}
}
compiled by recent gcc, does this:
$ ~/gcc/results/bin/gcc -c -O3 -w bug885.c
bug885.c: In function ‘func_35’:
bug885.c:6:1: error: definition in block 43 does not dominate use in block 44
6 | func_35() {
| ^~~~~~~
for SSA_NAME: _96 in statement:
_99 = (char) _96;
during GIMPLE pass: unrolljam
bug885.c:6:1: internal compiler error: verify_ssa failed
0x1027185 verify_ssa(bool, bool)
../../trunk.d1/gcc/tree-ssa.cc:1211
The bug first seems to occur sometime between g:4acc4c2be84d6607,
dated 20221101 and g:d0a3d55ae4a2656f, dated 20221130.
