helper: add get_last_statement_from_expression_stmt() [build fix]
[smatch.git] / validation / optim / double-unop.c
blobf0e6d94f4c3e22660c2f33e7f5f0c370a094ee35
1 typedef unsigned int u32;
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); }
8 /*
9 * check-name: double-unop
10 * check-command: test-linearize -Wno-decl $file
11 * check-output-ignore
13 * check-output-excludes: not\\.
14 * check-output-excludes: neg\\.