1/*
2 * Structure members should get the address
3 * space of their pointer.
4 */
5#define __user __attribute__((address_space(1)))
6
7struct hello {
8	int a;
9};
10
11extern int test(int __user *ip);
12
13static int broken(struct hello __user *sp)
14{
15	return test(&sp->a);
16}
17/*
18 * check-name: Address space of a struct member
19 */
20