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 
36