db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / and-or-bf1.c
blob23477ff349b4312ecc27e0324e091eafa33a8c3c
1 struct s {
2 int :2;
3 int f:3;
4 };
6 void foo(struct s *d, const struct s *s, int a)
8 d->f = s->f | a;
12 * check-name: and-or-bf1
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-ignore
16 * check-output-pattern(2): and\\.
17 * check-output-pattern(2): or\\.