db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / select-zero.c
blobed737bffc2452eade8298bab35746a8b05a287d7
1 static int sel0(int a)
3 if (a)
4 return 0;
5 else
6 return a;
9 /*
10 * check-name: select-zero
11 * check-command: test-linearize $file
13 * check-output-ignore
14 * check-output-contains: ret.32 *\\$0
15 * check-output-excludes: select\\.