param_cleared: handle direct assignments
[smatch.git] / validation / struct-as.c
blobf31f7c9664f0a18cacfc2ea51788cf04d5bdc829
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 static int broken(struct hello __user *sp)
15 test(&sp->a);
18 * check-name: Address space of a struct member