usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c

13

obj_t __user *p, obj_t __percpu *pc,

usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c

29

(obj_t __user*)(p);

usr/src/tools/smatch/src/validation/Waddress-space-from.c

12

obj_t __user *p, obj_t __percpu *pc,

usr/src/tools/smatch/src/validation/Waddress-space-from.c

3

#define __user __attribute__((address_space(__user)))

usr/src/tools/smatch/src/validation/Waddress-space-from.c

31

(obj_t __user*)(p); // OK

usr/src/tools/smatch/src/validation/Waddress-space-strict.c

12

(obj_t __user*)(v);

usr/src/tools/smatch/src/validation/Waddress-space-strict.c

17

(obj_t __user*)(o);

usr/src/tools/smatch/src/validation/Waddress-space-strict.c

22

(obj_t __user*)(p); // ok

usr/src/tools/smatch/src/validation/Waddress-space-strict.c

6

static void expl(ulong u, void *v, obj_t *o, obj_t __user *p)

usr/src/tools/smatch/src/validation/Waddress-space-strict.c

9

(obj_t __user*)(u);

usr/src/tools/smatch/src/validation/Wcast-to-as.c

10

(obj_t __user*)(u);

usr/src/tools/smatch/src/validation/Wcast-to-as.c

13

(obj_t __user*)(uip);

usr/src/tools/smatch/src/validation/Wcast-to-as.c

16

(obj_t __user*)(v);

usr/src/tools/smatch/src/validation/Wcast-to-as.c

21

(obj_t __user*)(o);

usr/src/tools/smatch/src/validation/Wcast-to-as.c

24

(obj_t __user*)(p);

usr/src/tools/smatch/src/validation/Wcast-to-as.c

7

static void expl(ulong u, uintptr_t uip, void *v, obj_t *o, obj_t __user *p)

usr/src/tools/smatch/src/validation/address_space.c

5

static int sys_do_stuff(void __user *user_addr)

usr/src/tools/smatch/src/validation/as-name.c

1

#define __user __attribute__((address_space(__user)))

usr/src/tools/smatch/src/validation/as-name.c

5

static void foo(void __user *ptr)

usr/src/tools/smatch/src/validation/function-redecl.c

13

void __user *ret_as(void) { return NULL; } /* check-should-fail */

usr/src/tools/smatch/src/validation/function-redecl.c

29

void arg_as(void __user *a) { } /* check-should-fail */

usr/src/tools/smatch/src/validation/ptr-inherit.c

35

int __user o;

usr/src/tools/smatch/src/validation/struct-as.c

11

extern int test(int __user *ip);

usr/src/tools/smatch/src/validation/struct-as.c

13

static int broken(struct hello __user *sp)

usr/src/tools/smatch/src/validation/type-attribute-as.c

5

} __user;

usr/src/tools/smatch/src/validation/type-attribute-as.c

9

extern void use1(void __user *);

usr/src/tools/smatch/src/validation/type-compare.c

57

if ([int *] == [int __user *]) return 1;