db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / volatile-bitfield.c
blob99db44014f8d3214c95b57c18ce570052cfcead8
1 struct s {
2 int f:3;
3 };
5 void foo(volatile struct s *p)
7 p->f;
11 * check-name: volatile-bitfield
12 * check-command: test-linearize -Wno-decl $file
14 * check-output-ignore
15 * check-output-contains: load\\.