aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/phi-ret.c
blob: bc3e04749f8d7997fbe4fa6828cdd52b4c4de669 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
int foo(int p, int q, int v)
{
	if (q) {
		if (p) {
			v = p;
			p = 0;
		}
	} else
		p = 0;
	if (p)
		return v + 1;
	return q;
}

/*
 * check-name: phi-ret
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-excludes: phi\\.
 */