xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/phi-ret.c (revision 58e78d166bd2b5a9dda31250b8e8bad7c7548c0e)
1 int foo(int p, int q, int v)
2 {
3 	if (q) {
4 		if (p) {
5 			v = p;
6 			p = 0;
7 		}
8 	} else
9 		p = 0;
10 	if (p)
11 		return v + 1;
12 	return q;
13 }
14 
15 /*
16  * check-name: phi-ret
17  * check-command: test-linearize -Wno-decl $file
18  *
19  * check-output-ignore
20  * check-output-excludes: phi\\.
21  */
22