Add "argument pseudo" for incoming arguments to a function.
[smatch.git] / validation / struct-as.c
blobf5752f0c2e790b12c0da12a9cf013e25ad763ac9
1 /*
2 * Structure members should get the address
3 * space of their pointer.
4 */
5 #define __user __attribute__((address_space(1)))
7 struct hello {
8 int a;
9 };
11 extern int test(int __user *ip);
13 int broken(struct hello __user *sp)
15 test(&sp->a);