clang/test/Sema/bitfield-promote.c

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 // expected-no-diagnostics
   3 struct {unsigned x : 2;} x;
   4 __typeof__((x.x+=1)+1) y;
   5 __typeof__(x.x<<1) y;
   6 int y;
   7
   8
   9 struct { int x : 8; } x1;
  10 long long y1;
  11 __typeof__(((long long)x1.x + 1)) y1;
  12
  13
  14 // Check for extensions: variously sized unsigned bit-fields fitting
  15 // into a signed int promote to signed int.
  16 enum E { ec1, ec2, ec3 };
  17 struct S {
  18   enum E          e : 2;
  19   unsigned short us : 4;
  20   unsigned long long ul1 : 8;
  21   unsigned long long ul2 : 50;
  22 } s;
  23
  24 __typeof(s.e + s.e) x_e;
  25 int x_e;
  26
  27 __typeof(s.us + s.us) x_us;
  28 int x_us;
  29
  30 __typeof(s.ul1 + s.ul1) x_ul1;
  31 int x_ul1;
  32
  33 __typeof(s.ul2 + s.ul2) x_ul2;
  34 unsigned long long x_ul2;
  35