| // RUN: %clang_cc1 -fsyntax-only -verify %s |
| // expected-no-diagnostics |
| struct {unsigned x : 2;} x; |
| __typeof__((x.x+=1)+1) y; |
| __typeof__(x.x<<1) y; |
| int y; |
| |
| |
| struct { int x : 8; } x1; |
| long long y1; |
| __typeof__(((long long)x1.x + 1)) y1; |
| |
| |
| // Check for extensions: variously sized unsigned bit-fields fitting |
| // into a signed int promote to signed int. |
| enum E { ec1, ec2, ec3 }; |
| struct S { |
| enum E e : 2; |
| unsigned short us : 4; |
| unsigned long long ul1 : 8; |
| unsigned long long ul2 : 50; |
| } s; |
| |
| __typeof(s.e + s.e) x_e; |
| int x_e; |
| |
| __typeof(s.us + s.us) x_us; |
| int x_us; |
| |
| __typeof(s.ul1 + s.ul1) x_ul1; |
| int x_ul1; |
| |
| __typeof(s.ul2 + s.ul2) x_ul2; |
| unsigned long long x_ul2; |
| |