atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / struct-as.c
blob23bca897dbd777a21636ceb99f9c123e77e58dd3
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 return test(&sp->a);
18 * check-name: Address space of a struct member