Improve lock check output. Add more validation samples.
[smatch.git] / validation / foul-bitwise.c
blobca84be60a869555308cb98a0fab9f9bbbe3f1d15
1 typedef unsigned short __attribute__((bitwise))__le16;
2 static __le16 foo(__le16 a)
4 return a |= ~a;
7 static int baz(__le16 a)
9 return ~a == ~a;
12 static int barf(__le16 a)
14 return a == (a & ~a);
17 static __le16 bar(__le16 a)
19 return -a;