1 #define __user __attribute__((address_space(__user)))
   2 
   3 extern void fun(void *addr);
   4 
   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  */