1 #include "check_debug.h"
2 
load_sig(unsigned long sig)3 int load_sig(unsigned long sig)
4 {
5 	return sig < 4 ? 0 : -12;
6 }
7 
8 int a;
test(void)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  */
32