https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111614
Bug ID: 111614
Summary: [14 Regression] ICE at -O2: verify_gimple failed since
r14-2282-gf703d2fd3f0
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: shaohua.li at inf dot ethz.ch
CC: rguenth at gcc dot gnu.org
Target Milestone: ---
gcc at -O2 crashes.
Bisected to r14-2282-gf703d2fd3f0
Compiler explorer: https://godbolt.org/z/xG5Tosvnc
$ cat a.c
int a, b, c, d, e;
static void f() {
int *g = &b;
b = 1;
for (; b >= 0; b--) {
c = 0;
for (; c <= 1; c++)
e = 0;
for (; e <= 1; e++) {
int h, i = h = 13;
for (; h; h--)
i = i << a;
d &= i + c + 9 + *g;
}
}
}
int main() {
f();
for (;;)
;
}
$
$ gcc -O3 a.c
a.c: In function ‘main’:
a.c:17:5: error: type mismatch in binary expression
17 | int main() {
| ^~~~
vector(2) int
vector(2) int
vector(2) unsigned int
_15 = vect__15.28_19 & _11;
during GIMPLE pass: reassoc
a.c:17:5: internal compiler error: verify_gimple failed
0x7f6a86416082 __libc_start_main
../csu/libc-start.c:308
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.
$
