1 /* { dg-do compile } */
2 /* { dg-options "-fdiagnostics-show-caret -Wrestrict" } */
4 void f(int *__restrict x
, int *y
, int *__restrict z
, int *w
);
6 void foo(int alpha
, int beta
)
8 f (&alpha
, &beta
, &alpha
, &alpha
); /* { dg-warning "passing argument 1 to restrict-qualified parameter aliases with arguments 3, 4" } */
10 /* { dg-begin-multiline-output "" }
11 f (&alpha, &beta, &alpha, &alpha);
13 { dg-end-multiline-output "" } */