#include "check_debug.h"

void frob();

#define min(a, b) ((a) < (b) ? (a) : (b))

void func(void)
{
	int i;
	int val;

	for (i = 0; i < 10; i++) {
		val = min(5, i);
		__smatch_value("val");
	}

	i++;
	__smatch_value("i");
	val = min(100, i);
	__smatch_value("val");

	for (i = 0; i < 10; i++)
		frob();

	val = min(100, i);
	__smatch_value("val");
}
/*
 * check-name: assigning select statements
 * check-command: smatch -I.. sm_select_assign.c
 *
 * check-output-start
sm_select_assign.c:14 func() val = 0-5
sm_select_assign.c:18 func() i = 11-s32max
sm_select_assign.c:20 func() val = 11-100
sm_select_assign.c:26 func() val = 10
 * check-output-end
 */