#include "check_debug.h"

int a, b, c;

static int frob(void)
{
	if (a > 5) {
		__smatch_value("a");
		return;
	}
	if (b++ > 5) {
		__smatch_value("b");
		return;
	}
	if (++c > 5) {
		__smatch_value("c");
		return;
	}
	__smatch_value("a");
	__smatch_value("b");
	__smatch_value("c");
}


/*
 * check-name: Smatch Range #4
 * check-command: smatch -I.. sm_range4.c
 *
 * check-output-start
sm_range4.c:8 frob() a = 6-s32max
sm_range4.c:12 frob() b = 7-s32max
sm_range4.c:16 frob() c = 6-s32max
sm_range4.c:19 frob() a = s32min-5
sm_range4.c:20 frob() b = s32min-6
sm_range4.c:21 frob() c = s32min-5
 * check-output-end
 */