1#define __packed __attribute__((packed))
2
3typedef __UINT32_TYPE__ u32;
4
5struct s {
6	u32	f:24;
7} __packed;
8_Static_assert(sizeof(struct s) == 3);
9
10static int ld(struct s *s)
11{
12	return s->f;
13}
14
15/*
16 * check-name: packed-bitfield4
17 * check-description: Is check_access() OK with short packed bitfields?
18 */
19