#include "check_debug.h"

int frob();

int a, b, c;
void func(unsigned long x)
{
	if (x >= 4)
		return;

	__smatch_value("x");
	if ((!(a) ? -19 : (((b && c) ? frob() : -515))))
		__smatch_value("x");
	__smatch_value("x");
}
/*
 * check-name: Smatch Ternary #4
 * check-command: smatch -I.. sm_select4.c
 *
 * check-output-start
sm_select4.c:11 func() x = 0-3
sm_select4.c:13 func() x = 0-3
sm_select4.c:14 func() x = 0-3
 * check-output-end
 */