db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / and-or-bfx.c
blob57a54cf5ef25dd6c862fcdb845c06b331e4f155f
1 struct s {
2 int f:3;
3 };
5 void foo(struct s *p, int a, int b)
7 p->f = a;
8 p->f = b;
12 * check-name: and-or-bfx
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-ignore
16 * check-output-pattern(2): and\\.
17 * check-output-pattern(1): or\\.