db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / set-uimm3.c
blob5160f741d85b2eafa518aeec5b2932804c7ee257
1 int le(int x) { return (x <= 0x7fffffffU) == (x >= 0); }
2 int gt(int x) { return (x > 0x7fffffffU) == (x < 0); }
4 /*
5 * check-name: set-uimm3
6 * check-command: test-linearize -Wno-decl $file
8 * check-output-ignore
9 * check-output-returns: 1