db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / select-self-zero.c
blob73b3a3dc7e2917afc33cdbc94659b01f08b0d479
1 int sel_self0x(int x) { return (x ? 0 : x) == 0; }
2 int sel_selfx0(int x) { return (x ? x : 0) == x; }
4 /*
5 * check-name: select-self-zero
6 * check-command: test-linearize -Wno-decl $file
8 * check-output-ignore
9 * check-output-returns: 1