https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103237
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |needs-bisection Known to work|9.1.0, 9.4.0 | Target Milestone|10.4 |9.5 Known to fail| |7.5.0, 9.4.1 --- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- And the following fails with GCC 9 and 7 as well (using SSE vectorization). int g1; unsigned int g2 = 4294967295U; static void __attribute__((noipa)) func_1() { int *l_1 = &g1; for (int g3a = 0; g3a != 4; g3a++) for (int l_2 = 0; l_2 <= 3; l_2++) { unsigned int *l_3 = &g2; *l_1 = *l_3 ^= 1; } } int main() { func_1(); if (g1 != -1) __builtin_abort (); return 0; }