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