xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/double-unop.c (revision 1b58875ad7966cf2c85ee8e92f3da04f0a3b2f7a)
1 typedef unsigned int u32;
2 
3 u32 unotnot(u32 a) { return ~(~a); }
4 int snotnot(int a) { return ~(~a); }
5 u32 unegneg(int a) { return -(-a); }
6 int snegneg(int a) { return -(-a); }
7 
8 /*
9  * check-name: double-unop
10  * check-command: test-linearize -Wno-decl $file
11  * check-output-ignore
12  *
13  * check-output-excludes: not\\.
14  * check-output-excludes: neg\\.
15  */
16