1void fun(void);
2
3void foo(int p, int a)
4{
5	if (p == p) {
6		switch (p) {
7		case 0:
8			break;
9		case 1:
10			a = 0;
11		}
12	}
13	if (a)
14		fun();
15}
16
17/*
18 * check-name: multi-phisrc
19 * check-command: test-linearize -Wno-decl $file
20 *
21 * check-output-ignore
22 * check-output-excludes: phi
23 */
24