xref: /illumos-gate/usr/src/tools/smatch/src/validation/attr_in_parameter.c (revision ed093b41a93e8563e6e1e5dae0768dda2a7bcc27)
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