Print this page
11972 resync smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/struct-as.c
+++ new/usr/src/tools/smatch/src/validation/struct-as.c
1 1 /*
2 2 * Structure members should get the address
3 3 * space of their pointer.
4 4 */
|
↓ open down ↓ |
4 lines elided |
↑ open up ↑ |
5 5 #define __user __attribute__((address_space(1)))
6 6
7 7 struct hello {
8 8 int a;
9 9 };
10 10
11 11 extern int test(int __user *ip);
12 12
13 13 static int broken(struct hello __user *sp)
14 14 {
15 - test(&sp->a);
15 + return test(&sp->a);
16 16 }
17 17 /*
18 18 * check-name: Address space of a struct member
19 19 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX