https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110929
Bug ID: 110929
Summary: ICE: verify_ssa failed since r14-2946-g46c8c225455
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: shaohua.li at inf dot ethz.ch
Target Milestone: ---
A recent regression since r14-2946-g46c8c225455
$ cat a.c
int a, b, c, d, f, g, h, i;
static int e = 1;
int l();
int j() {
l();
for (; b;)
if (e)
break;
g = d;
f = d && c;
if (f)
;
else {
k:
h ^= 0;
for (;;)
if (b)
goto k;
}
}
int l() {
int *m = &a;
d && (*m = i);
}
int main() {}
$
$ gcc-r14-2946-g46c8c225455 -O2 a.c
<source>: In function 'j':
<source>:4:5: error: stmt with wrong VUSE
4 | int j() {
| ^
# VUSE <.MEM_7(D)>
pretmp_6 = b;
expected .MEM_26
during GIMPLE pass: sink
<source>:4:5: internal compiler error: verify_ssa failed
0x21705ce internal_error(char const*, ...)
???:0
0x132320e verify_ssa(bool, bool)
???:0
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.
$
