coreboot-kgpe-d16/util/romcc/tests/fail_test4.c

static void main(void)
{
	static const int foo = 2;
	switch(foo) {
	case 1:
		break;
	case 2:
		break;
	case 1:
		break;
	default:
		break;
	}
}