gcc/testsuite/objc.dg/bitfield-3.m

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