xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c (revision ea78de644e058ee2f6b1c6bb50fcc07da6e4d7ac)
1 int def(void);
2 void use(int);
3 
4 static void foo(int a, int b)
5 {
6 	int c;
7 
8 	if (a)
9 		c = 1;
10 	else
11 		c = def();
12 
13 	if (c)
14 		use(1);
15 	else
16 		use(0);
17 }
18 
19 /*
20  * check-name: kill-phi-ttsbb
21  * check-description:
22  *	Verify if OP_PHI usage is adjusted after successful try_to_simplify_bb()
23  * check-command: test-linearize $file
24  * check-output-ignore
25  *
26  * check-output-excludes: phi\\.
27  * check-output-excludes: phisrc\\.
28  */
29