Update the information in README about using the library.
[smatch.git] / validation / foul-bitwise.c
blob576790d07ff085c1eb32889c1ff16308d1ae6d1c
1 typedef unsigned short __attribute__((bitwise))__le16;
2 __le16 foo(__le16 a)
4 return a |= ~a;
7 int baz(__le16 a)
9 return ~a == ~a;
12 int barf(__le16 a)
14 return a == (a & ~a);
17 __le16 bar(__le16 a)
19 return -a;