gcc/testsuite/obj-c++.dg/bitfield-4.mm

   1 /* Check if the @defs() construct preserves the correct
   2    layout of bitfields.  */
   3 /* Contributed by Ziemowit Laski <zlaski@apple.com>.  */
   4 /* { dg-options "-lobjc -Wpadded" } */
   5 /* { dg-do run } */
   6
   7 #include <objc/Object.h>
   8
   9 extern "C" {
  10   extern void abort(void);
  11   extern int strcmp(const char *str1, const char *str2);
  12 }
  13 #define CHECK_IF(expr) if(!(expr)) abort()
  14
  15 enum Enum { one, two, three, four };
  16
  17 @interface Base: Object {
  18   unsigned a: 2;
  19   int b: 3;
  20   enum Enum c: 4;
  21   unsigned d: 5;
  22 } /* { dg-warning "padding struct size to alignment boundary" } */
  23 @end
  24
  25 @interface Derived: Base {
  26   signed e: 5;
  27   int f: 4;
  28   enum Enum g: 3;
  29 }
  30 @end
  31
  32 /* Note that the semicolon after @defs(...) is optional.  */
  33
  34 typedef struct { @defs(Base) } Base_t;  /* { dg-warning "padding struct size to alignment boundary" } */
  35 typedef struct { @defs(Derived); } Derived_t;
  36
  37 int main(void)
  38 {
  39   CHECK_IF(sizeof(Base_t) == sizeof(Base));
  40   CHECK_IF(sizeof(Derived_t) == sizeof(Derived));
  41
  42 #ifdef __NEXT_RUNTIME__
  43   CHECK_IF(!strcmp(@encode(Base), "{Base=#b2b3b4b5}"));
  44   CHECK_IF(!strcmp(@encode(Derived), "{Derived=#b2b3b4b5b5b4b3}"));
  45
  46   CHECK_IF(!strcmp(@encode(Base_t), "{?=#b2b3b4b5}"));
  47   CHECK_IF(!strcmp(@encode(Derived_t), "{?=#b2b3b4b5b5b4b3}"));
  48 #endif /* __NEXT_RUNTIME__ */
  49
  50   return 0;
  51 }