https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83323
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Testcase: int x[1024], y[1024]; void __attribute__((noipa)) foo () { for (int i = 0; i < 1024; ++i) { x[i] = 0; for (int j = 0; j < 1024; ++j) if (y[j]) x[i] = y[j]; } }