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