db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / canonical-cmps-minmax.c
blob48927f49db6eff2a3e2c143134ff13792d140a5a
1 #define SMAX __INT_MAX__
2 #define SMIN (-__INT_MAX__-1)
4 int lt_smax(int a) { return (a < SMAX) == (a != SMAX); }
5 int ge_smax(int a) { return (a >= SMAX) == (a == SMAX); }
7 int le_smin(int a) { return (a <= SMIN) == (a == SMIN); }
8 int gt_smin(int a) { return (a > SMIN) == (a != SMIN); }
11 * check-name: canonical-cmps-minmax
12 * check-command: test-linearize -Wno-decl $file
14 * check-output-ignore
15 * check-output-returns: 1