11f5207b7SJohn Levon /*
21f5207b7SJohn Levon  * Structure members should get the address
31f5207b7SJohn Levon  * space of their pointer.
41f5207b7SJohn Levon  */
51f5207b7SJohn Levon #define __user __attribute__((address_space(1)))
61f5207b7SJohn Levon 
71f5207b7SJohn Levon struct hello {
81f5207b7SJohn Levon 	int a;
91f5207b7SJohn Levon };
101f5207b7SJohn Levon 
111f5207b7SJohn Levon extern int test(int __user *ip);
121f5207b7SJohn Levon 
broken(struct hello __user * sp)131f5207b7SJohn Levon static int broken(struct hello __user *sp)
141f5207b7SJohn Levon {
15*c85f09ccSJohn Levon 	return test(&sp->a);
161f5207b7SJohn Levon }
171f5207b7SJohn Levon /*
181f5207b7SJohn Levon  * check-name: Address space of a struct member
191f5207b7SJohn Levon  */
20