db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / trunc-or-shl.c
blob8660d0f0224b38323c45db118efbac2c803bdafd
1 // because of the cast to char, the fist arg should be eliminated
2 // and the whole reduced to TRUNC(%arg2, 8)
4 char foo(int a, int b)
6 return (a << 8) | b;
9 /*
10 * check-name: trunc-or-shl
11 * check-command: test-linearize -Wno-decl $file
12 * check-known-to-fail
14 * check-output-ignore
15 * check-output-excludes: %arg1
16 * check-output-contains: trunc\\..*%arg2