db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / and-or-bf0.c
blobcfaff4f20d9a10e67fe7931f0e404ff48c070b8e
1 struct s {
2 int f:3;
3 };
5 void foo(struct s *p, int a)
7 p->f = 1;
8 p->f = a;
11 void bar(struct s *p, int a)
13 p->f = a;
14 p->f = 1;
18 * check-name: and-or-bf0
19 * check-command: test-linearize -Wno-decl $file
21 * check-output-ignore
22 * check-output-pattern(3): and\\.
23 * check-output-pattern(2): or\\.