xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-select.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 void 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