aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/multi-phisrc.c
blob: c6f21f2db15acda2c56ef94732adf02d312c5a15 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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-known-to-fail
 *
 * check-output-ignore
 * check-output-excludes: phi
 */