xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/bool-eq0.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713) 

beq0(int a)1 int beq0(int a) { return a == 0; }
bnotne0(int a)2 int bnotne0(int a) { return !(a != 0); }
bnot(int a)3 int bnot(int a) { return !a; }
4 
5 /*
6  * check-name: bool-eq0
7  * check-command: test-linearize -Wno-decl $file
8  * check-output-ignore
9  *
10  * check-output-excludes: setne\\.
11  * check-output-contains: seteq\\.
12  */
13