Print this page
11506 smatch resync
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/sm_select5.c
+++ new/usr/src/tools/smatch/src/validation/sm_select5.c
1 1 #include "check_debug.h"
2 2
3 3 int load_sig(unsigned long sig)
4 4 {
5 5 return sig < 4 ? 0 : -12;
6 6 }
7 7
8 8 int a;
9 9 void test(void)
10 10 {
11 11 int ret;
12 12
13 13 ret = load_sig(a);
14 14 if (ret) {
15 15 __smatch_implied(ret);
16 16 __smatch_implied(a);
17 17 } else {
|
↓ open down ↓ |
17 lines elided |
↑ open up ↑ |
18 18 __smatch_implied(a);
19 19 }
20 20 }
21 21
22 22 /*
23 23 * check-name: smatch select #5
24 24 * check-command: smatch -I.. sm_select5.c
25 25 *
26 26 * check-output-start
27 27 sm_select5.c:15 test() implied: ret = '(-12)'
28 -sm_select5.c:16 test() implied: a = 's32min-s32max'
28 +sm_select5.c:16 test() implied: a = 's32min-(-1),4-s32max'
29 29 sm_select5.c:18 test() implied: a = '0-3'
30 30 * check-output-end
31 31 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX