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];
}
}
