#include "check_debug.h"

int something();

void func(void)
{
	int x = 3;
	int y = 42;
	int z = 7;

	x--;
	y -= 100;
	__smatch_value("y");
	while (something()) {
		y++;
		__smatch_value("y");
	}
	z += something();
	__smatch_value("z");
	__smatch_value("x");
label_I1:
	x--;
	__smatch_value("x");
	goto label_I1;
}
/*
 * check-name: smatch math test #1
 * check-command: smatch -I.. sm_math1.c
 *
 * check-output-start
sm_math1.c:13 func() y = (-58)
sm_math1.c:16 func() y = (-57)-s32max
sm_math1.c:19 func() z = s32min-s32max
sm_math1.c:20 func() x = 2
sm_math1.c:23 func() x = s32min-1
 * check-output-end
 */