db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / trunc-setne0.c
blob878c05fa62ea63bd31c5b10eec00f1ff9d07aadd
1 struct s {
2 unsigned int u:1;
3 };
5 unsigned int foo(struct s x)
7 if (x.u)
8 return 1;
9 else
10 return 0;
14 * check-name: trunc-setne0
15 * check-command: test-linearize -Wno-decl $file
17 * check-output-ignore
18 * check-output-contains: and\\.
19 * check-output-excludes: trunc\\.