1  /* { dg-do run } */
       2  
       3  void g(int*__restrict x, int*y)
       4  {
       5    *x = *y;
       6  }
       7  
       8  void __attribute__((noipa)) f(int* a,int* b)
       9  {
      10    for(int i=0;i<1024;++i)
      11      g(a+i,b+i);
      12  }
      13  
      14  int main()
      15  {
      16    int x[1025];
      17    for (int i = 0; i < 1025; ++i)
      18      x[i] = i+1;
      19    f(x+1, x);
      20    for (int i = 0; i < 1025; ++i)
      21      if (x[i] != 1)
      22        __builtin_abort ();
      23    return 0;
      24  }