rosenberg: handle bit fields better
[smatch.git] / validation / as-name.c
blob4dd65798d691eb28e0f1dbcae14a545e9cae9bc8
1 #define __user __attribute__((address_space(__user)))
3 extern void fun(void *addr);
5 static void foo(void __user *ptr)
7 return fun(ptr);
9 /*
10 * check-name: as-name attribute
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