Print this page
11506 smatch resync
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/sm_implied10.c
+++ new/usr/src/tools/smatch/src/validation/sm_implied10.c
1 1 #include "check_debug.h"
2 2
3 3 void frob(void){}
|
↓ open down ↓ |
3 lines elided |
↑ open up ↑ |
4 4
5 5 int x[10];
6 6 int offset;
7 7 void func(int *y)
8 8 {
9 9 if (({int test2 = !!(!y || !*y); frob(); frob(); frob(); test2;}))
10 10 __smatch_value("y");
11 11 else
12 12 __smatch_value("y");
13 13
14 - if (({int test2 = !!(offset >= 10 || x[offset] == 1); frob(); frob(); frob(); test2;}))
14 + if (({int test2 = !!(offset >= 10u || x[offset] == 1); frob(); frob(); frob(); test2;}))
15 15 __smatch_value("offset");
16 16 else
17 17 __smatch_value("offset");
18 18
19 19 }
20 20 /*
21 21 * check-name: smatch implied #10
22 22 * check-command: smatch -I.. -m64 sm_implied10.c
23 23 *
24 24 * check-output-start
25 -sm_implied10.c:10 func() y = 0,4096-2117777777777777777
26 -sm_implied10.c:12 func() y = 4096-2117777777777777777
27 -sm_implied10.c:15 func() offset = 0-s32max
25 +sm_implied10.c:10 func() y = 0,4096-ptr_max
26 +sm_implied10.c:12 func() y = 4096-ptr_max
27 +sm_implied10.c:15 func() offset = s32min-s32max
28 28 sm_implied10.c:17 func() offset = 0-9
29 29 * check-output-end
30 30 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX