Print this page
11972 resync smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/address_space.c
+++ new/usr/src/tools/smatch/src/validation/address_space.c
1 1 #define __user __attribute__((address_space(1)))
2 2
3 3 extern int poke_memory(void *addr);
4 4
|
↓ open down ↓ |
4 lines elided |
↑ open up ↑ |
5 5 static int sys_do_stuff(void __user *user_addr)
6 6 {
7 7 return poke_memory(user_addr);
8 8 }
9 9 /*
10 10 * check-name: address_space attribute
11 11 *
12 12 * check-error-start
13 13 address_space.c:7:28: warning: incorrect type in argument 1 (different address spaces)
14 14 address_space.c:7:28: expected void *addr
15 -address_space.c:7:28: got void <asn:1>*user_addr
15 +address_space.c:7:28: got void <asn:1> *user_addr
16 16 * check-error-end
17 17 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX