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