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