db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / canonical-cmp.c
blob9b930b1cbeaaace685529d99b77190589b7cab03
1 typedef signed int sint;
2 typedef unsigned int uint;
4 sint seq(sint p, sint a) { return (123 == p) == (p == 123); }
5 sint sne(sint p, sint a) { return (123 != p) == (p != 123); }
7 sint slt(sint p, sint a) { return (123 > p) == (p < 123); }
8 sint sle(sint p, sint a) { return (123 >= p) == (p <= 123); }
9 sint sge(sint p, sint a) { return (123 <= p) == (p >= 123); }
10 sint sgt(sint p, sint a) { return (123 < p) == (p > 123); }
12 uint ueq(uint p, uint a) { return (123 == p) == (p == 123); }
13 uint une(uint p, uint a) { return (123 != p) == (p != 123); }
15 uint ubt(uint p, uint a) { return (123 > p) == (p < 123); }
16 uint ube(uint p, uint a) { return (123 >= p) == (p <= 123); }
17 uint uae(uint p, uint a) { return (123 <= p) == (p >= 123); }
18 uint uat(uint p, uint a) { return (123 < p) == (p > 123); }
21 * check-name: canonical-cmp
22 * check-description: check that constants move rightside
23 * check-command: test-linearize -Wno-decl $file
25 * check-output-ignore
26 * check-output-excludes: \\$123,