db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / bool-same-args.c
blob0ae4684ea3883bc3fd085c6c99b6a72e49760600
1 static int ior(int a) { return a || a; }
2 static int and(int a) { return a && a; }
4 /*
5 * check-name: bool-same-args
6 * check-command: test-linearize $file
7 * check-output-ignore
9 * check-output-excludes: or-bool\\.
10 * check-output-excludes: and-bool\\.
11 * check-output-contains: setne\\.