xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/bool-same-args.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508)
1 static int ior(int a) { return a || a; }
2 static int and(int a) { return a && a; }
3 
4 /*
5  * check-name: bool-same-args
6  * check-command: test-linearize $file
7  * check-output-ignore
8  *
9  * check-output-excludes: or-bool\\.
10  * check-output-excludes: and-bool\\.
11  * check-output-contains: setne\\.
12  */
13