db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / setcc-seteq.c
blobd8765fe1036a09fbc30f033f5a487c296ee92b92
1 static _Bool beq0(int a) { return (a == 0); }
2 static _Bool bnotneq0(int a) { return !(a != 0); }
3 static _Bool bnot(int a) { return !a; }
5 /*
6 * check-name: optim/setcc-seteq
7 * check-command: test-linearize $file
8 * check-output-ignore
10 * check-output-excludes: set..\\.32
11 * check-output-excludes: setne\\.1
12 * check-output-contains: seteq\\.1