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