xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/double-unop.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508) 
1 typedef unsigned int u32;
2 
unotnot(u32 a)3 u32 unotnot(u32 a) { return ~(~a); }
snotnot(int a)4 int snotnot(int a) { return ~(~a); }
unegneg(int a)5 u32 unegneg(int a) { return -(-a); }
snegneg(int 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