db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / cmpe-or0.c
blob2e89d611117ddfd192fa09de70e4c18da90f6991
1 int cmp_eq(int a) { return ((a | 1) != 0) + 0; }
2 int cmp_ne(int a) { return ((a | 1) == 0) + 1; }
4 /*
5 * check-name: cmpe-or0
6 * check-command: test-linearize -Wno-decl $file
8 * check-output-ignore
9 * check-output-returns: 1