1 #define __user __attribute__((address_space(__user)))
2 
3 extern void fun(void *addr);
4 
foo(void __user * ptr)5 static void foo(void __user *ptr)
6 {
7 	return fun(ptr);
8 }
9 /*
10  * check-name: as-name attribute
11  *
12  * check-error-start
13 as-name.c:7:20: warning: incorrect type in argument 1 (different address spaces)
14 as-name.c:7:20:    expected void *addr
15 as-name.c:7:20:    got void __user *ptr
16  * check-error-end
17  */
18