db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / and-or-bf2.c
blob2296da122082f1dbe6fa51b4d255da2ab197a543
1 struct s {
2 char a:3;
3 char b:3;
4 char c:2;
5 };
7 void foo(struct s *p)
9 p->a = 1;
10 p->b = 2;
11 p->c = 3;
15 * check-name: and-or-bf2
16 * check-command: test-linearize -Wno-decl $file
18 * check-output-start
19 foo:
20 .L0:
21 <entry-point>
22 store.8 $209 -> 0[%arg1]
23 ret
26 * check-output-end