#include "check_debug.h"

int a, b;

int frob(void);

int test(int size)
{
	a = 0;

	if (({switch (frob()) {
		case 1:
			a = 2;
			break;
		default:
			a = 3;
	     }
	     b;}))
		;
	__smatch_implied(a);

	a = 4;

	if (({switch (2) {
		case 1:
			a = 5;
			break;
		case 2:
			a = 6;
			break;
		default:
			a = 7;
	     }
	     b;}))
		;
	__smatch_implied(a);

	return 0;
}

/*
 * check-name: smatch: switch #3
 * check-command: smatch -I.. sm_switch3.c
 *
 * check-output-start
sm_switch3.c:20 test() implied: a = '2-3'
sm_switch3.c:36 test() implied: a = '6'
 * check-output-end
 */