xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-insert-branch.c (revision 55fea89dcaa64928bed4327112404dcb3e07b79f)
1 void foo(int a)
2 {
3 	int b = 1;
4 	if (a)
5 		b++;
6 	if (b)
7 		;
8 }
9 
10 void bar(int a)
11 {
12 	if (a ? 1 : 2)
13 		;
14 }
15 
16 /*
17  * check-name: kill insert-branch
18  * check-command: test-linearize -Wno-decl $file
19  *
20  * check-output-ignore
21  * check-output-excludes: select\\.
22  */
23