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. $