1  /* { dg-do compile } */
       2  /* { dg-options "-Wrestrict" } */
       3  
       4  void f(int *x, int *__restrict y);
       5  
       6  void foo(int a)
       7  {
       8    f (&a, &a); /* { dg-warning "passing argument 2 to 'restrict'-qualified parameter aliases with argument 1" } */
       9  }