void fun(void);

void foo(int p, int a)
{
	if (p == p) {
		switch (p) {
		case 0:
			break;
		case 1:
			a = 0;
		}
	}
	if (a)
		fun();
}

/*
 * check-name: multi-phisrc
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-excludes: phi
 */