db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / bitfield-store-loads.c
blobf946715bffa3bbfb26ca019e67a8aac4bf52cd2e
1 struct s {
2 unsigned char :2;
3 unsigned char f:3;
4 };
6 int foo(struct s s, int a)
8 s.f = a;
9 return s.f;
13 * check-name: bitfield-store-load signed
14 * check-command: test-linearize -Wno-decl $file
16 * check-output-ignore
17 * check-output-excludes: shl\\.
18 * check-output-excludes: lsr\\.
19 * check-output-excludes: or\\.
20 * check-output-excludes: [sz]ext\\.
21 * check-output-excludes: trunc\\.
22 * check-output-pattern(1): and\\.