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