db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / and-or-mask4.c
blob1c4bc01a89f12782111a985df7c827e9c8b7bacb
1 #define W 3
2 #define S 8
3 #define M (W << S)
5 static inline int fun(unsigned int x, unsigned int y)
7 return ((x & W) | (y >> S)) << S;
10 int foo(unsigned int x, unsigned int y)
12 return fun(x, y) & M;
16 * check-name: and-or-mask4
17 * check-command: test-linearize -Wno-decl $file
18 * check-known-to-fail
20 * check-output-ignore
21 * check-output-pattern(1): shl\\.
22 * check-output-pattern(1): or\\.
23 * check-output-pattern(1): and\\.
24 * check-output-excludes: lsr\\.