Fix the annotated inline call position
[smatch.git] / validation / struct-as.c
blob86b90d32d6302f8be6f0333d45805e5f1da286aa
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);