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

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