xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/cond-expr5.c (revision b531f6d16eb39863e7bbc34773fb7ef7a282a0a2)
1 int foo(int p, int q, int a)
2 {
3 	if (p)
4 		a = 0;
5 	if (q)
6 		a = 1;
7 
8 	return a;
9 }
10 
11 /*
12  * check-name: cond-expr5
13  * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file
14  *
15  * check-output-ignore
16  * check-output-excludes: load\\.
17  * check-output-excludes: store\\.
18  * check-output-excludes: phi\\..*, .*, .*
19  * check-output-pattern(3): phi\\.
20  * check-output-pattern(5): phisrc\\.
21  */
22