#include "check_debug.h"

int main(int x)
{
	int a = 1;

	if (x & 12)
		a = 2;
	__smatch_implied(a);
	if (!(x & 12))
		return 0;
	__smatch_implied(a);
	return 0;
}

/*
 * check-name: smatch implied #13
 * check-command: smatch -I.. sm_implied13.c
 *
 * check-output-start
sm_implied13.c:9 main() implied: a = '1-2'
sm_implied13.c:12 main() implied: a = '2'
 * check-output-end
 */