https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113228
--- Comment #1 from Patrick O'Neill <patrick at rivosinc dot com> --- Testcase: int a; long b; signed c; short d; short i; void f() { int k[3]; int *l = &a; d = 0; for (; c; c--) { i = 0; for (; i <= 9; i++) { b = 1; for (; b <= 4; b++) k[0] = k[0] == 0; *l |= k[d]; } } }