db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / eqne-select.c
blob9dfd88b5eb4dac4b66af1fd72ef913e7f026f56e
1 int sel_eq01(int a, int b) { return ((a == b) ? a : b) == b; }
2 int sel_eq10(int a, int b) { return ((a == b) ? b : a) == a; }
3 int sel_ne01(int a, int b) { return ((a != b) ? a : b) == a; }
4 int sel_ne10(int a, int b) { return ((a != b) ? b : a) == b; }
6 /*
7 * check-name: eqne-select
8 * check-command: test-linearize -Wno-decl $file
10 * check-output-ignore
11 * check-output-returns: 1