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