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