sval: update check_snprintf.c
[smatch.git] / validation / attr_in_parameter.c
blob1b104ea43ec5fbdcd642281d141c737b6ce4baf1
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)
7 f(x, x);
8 p = q;
11 * check-name: attribute after ( in direct-declarator