xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-select.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508)
1 void foo(int x);
foo(int x)2 void foo(int x)
3 {
4 	unsigned int ui;
5 
6 	ui = x + 1;
7 	ui = ui ? 0 : 1;
8 }
9 
10 /*
11  * check-name: kill-select
12  * check-command: test-linearize $file
13  *
14  * check-output-ignore
15  * check-output-excludes: add\\.
16  */
17