Print this page
11506 smatch resync
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/sm_bitwise1.c
+++ new/usr/src/tools/smatch/src/validation/sm_bitwise1.c
1 1 #include "check_debug.h"
2 2
3 3 unsigned int x;
4 4 void test(void)
5 5 {
6 6 __smatch_implied(x & 0x1);
7 7 __smatch_implied(x & 0x2);
8 8 __smatch_implied(x & ~(0xffU));
9 9 __smatch_implied(x & ~(0xff));
↓ open down ↓ |
9 lines elided |
↑ open up ↑ |
10 10 }
11 11
12 12 /*
13 13 * check-name: smatch bitwise #1
14 14 * check-command: smatch -I.. sm_bitwise1.c
15 15 *
16 16 * check-output-start
17 17 sm_bitwise1.c:6 test() implied: x & 1 = '0-1'
18 18 sm_bitwise1.c:7 test() implied: x & 2 = '0,2'
19 19 sm_bitwise1.c:8 test() implied: x & ~(255) = '0,256-4294967040'
20 -sm_bitwise1.c:9 test() implied: x & ~(255) = '0-4294967040'
20 +sm_bitwise1.c:9 test() implied: x & ~(255) = '0,256-4294967040'
21 21 * check-output-end
22 22 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX