db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / packed-bitfield2.c
blob244204c2dd3578bccffc3e4871fa6d33812a0ada
1 struct bf2 {
2 unsigned p1:2;
3 unsigned i1:32;
4 unsigned p2:2;
5 unsigned s9:9;
6 unsigned s9:9;
7 unsigned s9:9;
8 unsigned b1:1;
9 } __attribute__((packed));
11 _Static_assert(sizeof(struct bf2) == 8);
14 * check-name: packed-bitfield2