https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110456
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Correction, the testcase should look like
void __attribute__((noipa))
test (double * __restrict a, double *b, int n, int m)
{
for (int j = 0; j < m; ++j)
for (int i = 0; i < n; ++i)
a[i + j*n] = a[i + j*n /* + 512 */] + b[i + j*n];
}
double a[1024];
double b[1024];
int main(int argc, char **argv)
{
int m = atoi (argv[1]);
for (long i = 0; i < m; ++i)
test (a + 4, b + 4, 4, 1024/4);
return 0;
}