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

static void main(void)
{
	int i = 1;
	return;
	i++;
}