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