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