xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/setcc-setne.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
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; }
4 
5 /*
6  * check-name: optim/setcc-setne
7  * check-command: test-linearize $file
8  * check-output-ignore
9  *
10  * check-output-excludes: set..\\.32
11  * check-output-excludes: seteq\\.1
12  * check-output-contains: setne\\.1
13  */
14