https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- int c; void foo (int *a, int b) { int e; if (b == 1) return; for (e = 0; e < (b & ~7); e += 8) ; for (++e; e < b;) c = a[e]; } actually.