xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/compare-with-null.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 int  tstv(void *p) { return !p; }
2 int  cmpv(void *p) { return p == ((void*)0); }
3 
4 int  tsti(int  *p) { return !p; }
5 int  cmpi(int  *p) { return p == ((int *)0); }
6 int  cmpx(int  *p) { return p == ((void*)0); }
7 
8 /*
9  * check-name: compare-with-null
10  * check-command: sparsec -Wno-decl -c $file -o tmp.o
11  * check-output-ignore
12  */
13