#include "check_debug.h"

static int test(int x)
{
	if (x == 12)
		return 10;
	return 0;
}

int a, b;
static void func(void)
{
	if (a == 12)
		b = 1;
	else
		b = 4;
	if (test(a) == 10) {
		__smatch_implied(a);
		__smatch_implied(b);
	} else {
		__smatch_implied(a);
		__smatch_implied(b);
	}

	if (a == 12)
		b = 10;
	else
		b = 40;

	if (test(a))
		__smatch_implied(b);
	else
		__smatch_implied(b);
}
/*
 * check-name: smatch implied #14
 * check-command: smatch -I.. sm_implied14.c
 *
 * check-output-start
sm_implied14.c:18 func() implied: a = '12'
sm_implied14.c:19 func() implied: b = '1'
sm_implied14.c:21 func() implied: a = 's32min-11,13-s32max'
sm_implied14.c:22 func() implied: b = '4'
sm_implied14.c:31 func() implied: b = '10'
sm_implied14.c:33 func() implied: b = '40'
 * check-output-end
 */