1#include "check_debug.h"
2
3int load_sig(unsigned long sig)
4{
5	return sig < 4 ? 0 : -12;
6}
7
8int a;
9void 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
27sm_select5.c:15 test() implied: ret = '(-12)'
28sm_select5.c:16 test() implied: a = 's32min-(-1),4-s32max'
29sm_select5.c:18 test() implied: a = '0-3'
30 * check-output-end
31 */
32