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