db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / packed-bitfield4.c
blob1a956344f2d3781e5bfaaa2d03542d5a738409b8
1 #define __packed __attribute__((packed))
3 typedef __UINT32_TYPE__ u32;
5 struct s {
6 u32 f:24;
7 } __packed;
8 _Static_assert(sizeof(struct s) == 3);
10 static int ld(struct s *s)
12 return s->f;
16 * check-name: packed-bitfield4
17 * check-description: Is check_access() OK with short packed bitfields?