xref: /illumos-gate/usr/src/tools/smatch/src/validation/attr_in_parameter.c (revision 9b40c3052b9b0d91120c568df0c5211c131c8da1)
1 #define A __attribute__((address_space(1)))
2 static int (A *p);
3 static int A *q;
4 static void (*f)(A int *x, A int *y) = (void *)0;
5 static void g(int A *x)
6 {
7 	f(x, x);
8 	p = q;
9 }
10 /*
11  * check-name: attribute after ( in direct-declarator
12  */
13