validation/packed-bitfield5.c

   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
  12 static 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  */