#include "check_debug.h"
int some_func();
int a, b, c, d, e;
int frob(void) {
	if (a)
		__smatch_value("a");
	else
		__smatch_value("a");
	__smatch_value("a");
	if (a) {
		b = 0;
		__smatch_value("b");
	}
	__smatch_value("b");
	c = 0;
	c = some_func();
	__smatch_value("c");
	if (d < -3 || d > 99)
		return;
	__smatch_value("d");
	if (d) {
		if (!e)
			return;
	}
	__smatch_value("d");
	__smatch_value("e");
}
/*
 * check-name: Smatch range test #2
 * check-command: smatch -I.. sm_range2.c
 *
 * check-output-start
sm_range2.c:6 frob() a = s32min-(-1),1-s32max
sm_range2.c:8 frob() a = 0
sm_range2.c:9 frob() a = s32min-s32max
sm_range2.c:12 frob() b = 0
sm_range2.c:14 frob() b = s32min-s32max
sm_range2.c:17 frob() c = s32min-s32max
sm_range2.c:20 frob() d = (-3)-99
sm_range2.c:25 frob() d = (-3)-99
sm_range2.c:26 frob() e = s32min-s32max
 * check-output-end
 */