1 #define __packed __attribute__((packed)) 2 3 typedef __UINT32_TYPE__ u32; 4 5 struct s { 6 u32 a:5; 7 u32 f:30; 8 u32 z:5; 9 } __packed; 10 _Static_assert(sizeof(struct s) == 5); 11 ld(struct s * s)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