#include "check_debug.h"

int load_sig(unsigned long sig)
{
	return sig < 4 ? 0 : -12;
}

int a;
void test(void)
{
	int ret;

	ret = load_sig(a);
	if (ret) {
		__smatch_implied(ret);
		__smatch_implied(a);
	} else {
		__smatch_implied(a);
	}
}

/*
 * check-name: smatch select #5
 * check-command: smatch -I.. sm_select5.c
 *
 * check-output-start
sm_select5.c:15 test() implied: ret = '(-12)'
sm_select5.c:16 test() implied: a = 's32min-(-1),4-s32max'
sm_select5.c:18 test() implied: a = '0-3'
 * check-output-end
 */