8 int a;
9 void test(void)
10 {
11 int ret;
12
13 ret = load_sig(a);
14 if (ret) {
15 __smatch_implied(ret);
16 __smatch_implied(a);
17 } else {
18 __smatch_implied(a);
19 }
20 }
21
22 /*
23 * check-name: smatch select #5
24 * check-command: smatch -I.. sm_select5.c
25 *
26 * check-output-start
27 sm_select5.c:15 test() implied: ret = '(-12)'
28 sm_select5.c:16 test() implied: a = 's32min-s32max'
29 sm_select5.c:18 test() implied: a = '0-3'
30 * check-output-end
31 */
|
8 int a;
9 void test(void)
10 {
11 int ret;
12
13 ret = load_sig(a);
14 if (ret) {
15 __smatch_implied(ret);
16 __smatch_implied(a);
17 } else {
18 __smatch_implied(a);
19 }
20 }
21
22 /*
23 * check-name: smatch select #5
24 * check-command: smatch -I.. sm_select5.c
25 *
26 * check-output-start
27 sm_select5.c:15 test() implied: ret = '(-12)'
28 sm_select5.c:16 test() implied: a = 's32min-(-1),4-s32max'
29 sm_select5.c:18 test() implied: a = '0-3'
30 * check-output-end
31 */
|