1// RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s
2struct X {
3  union {
4    float f3;
5    double d2;
6  } named;
7
8  union {
9    int i;
10    float f;
11
12    union { // expected-warning{{anonymous types declared in an anonymous union are an extension}}
13      float f2;
14      mutable double d;
15    };
16  };
17
18  void test_unqual_references();
19
20  struct { // expected-warning{{anonymous structs are a GNU extension}}
21    int a;
22    float b;
23  };
24
25  void test_unqual_references_const() const;
26
27  mutable union { // expected-error{{anonymous union at class scope must not have a storage specifier}}
28    float c1;
29    double c2;
30  };
31};
32
33void X::test_unqual_references() {
34  i = 0;
35  f = 0.0;
36  f2 = f;
37  d = f;
38  f3 = 0; // expected-error{{use of undeclared identifier 'f3'}}
39  a = 0;
40}
41
42void X::test_unqual_references_const() const { // expected-note 2{{member function 'X::test_unqual_references_const' is declared const here}}
43  d = 0.0;
44  f2 = 0; // expected-error{{cannot assign to non-static data member within const member function 'test_unqual_references_const'}}
45  a = 0; // expected-error{{cannot assign to non-static data member within const member function 'test_unqual_references_const'}}
46}
47
48void test_unqual_references(X x, const X xc) {
49  // expected-note@-1 2{{variable 'xc' declared const here}}
50  x.i = 0;
51  x.f = 0.0;
52  x.f2 = x.f;
53  x.d = x.f;
54  x.f3 = 0; // expected-error{{no member named 'f3'}}
55  x.a = 0;
56
57  xc.d = 0.0;
58  xc.f = 0; // expected-error{{cannot assign to variable 'xc' with const-qualified type 'const X'}}
59  xc.a = 0; // expected-error{{cannot assign to variable 'xc' with const-qualified type 'const X'}}
60}
61
62
63struct Redecl {
64  int x; // expected-note{{previous declaration is here}}
65  class y { }; // expected-note{{previous declaration is here}}
66
67  union {
68    int x; // expected-error{{member of anonymous union redeclares 'x'}}
69    float y; // expected-error{{member of anonymous union redeclares 'y'}}
70    double z; // expected-note{{previous declaration is here}}
71    double zz; // expected-note{{previous definition is here}}
72  };
73
74  int z; // expected-error{{duplicate member 'z'}}
75  void zz(); // expected-error{{redefinition of 'zz' as different kind of symbol}}
76};
77
78union { // expected-error{{anonymous unions at namespace or global scope must be declared 'static'}}
79  int int_val;
80  float float_val;
81};
82
83static union {
84  int int_val2; // expected-note{{previous definition is here}}
85  float float_val2;
86};
87
88void PR21858() {
89  void int_val2(); // expected-error{{redefinition of 'int_val2' as different kind of symbol}}
90}
91
92void f() {
93  int_val2 = 0;
94  float_val2 = 0.0;
95}
96
97void g() {
98  union {
99    int i;
100    float f2;
101  };
102  i = 0;
103  f2 = 0.0;
104}
105
106struct BadMembers {
107  union {
108    struct X { }; // expected-error {{types cannot be declared in an anonymous union}}
109    struct { int x; int y; } y; // expected-warning{{anonymous types declared in an anonymous union are an extension}}
110
111    void f(); // expected-error{{functions cannot be declared in an anonymous union}}
112  private: int x1; // expected-error{{anonymous union cannot contain a private data member}}
113  protected: float x2; // expected-error{{anonymous union cannot contain a protected data member}}
114  };
115};
116
117// <rdar://problem/6481130>
118typedef union { }; // expected-warning{{typedef requires a name}}
119
120// <rdar://problem/7562438>
121typedef struct objc_module *Foo ;
122
123typedef struct _s {
124    union {
125        int a;
126        int Foo;
127    };
128} s, *ps;
129
130// <rdar://problem/7987650>
131namespace test4 {
132  class A {
133    struct { // expected-warning{{anonymous structs are a GNU extension}}
134      int s0; // expected-note {{declared private here}}
135      double s1; // expected-note {{declared private here}}
136      union { // expected-warning{{anonymous types declared in an anonymous struct are an extension}}
137        int su0; // expected-note {{declared private here}}
138        double su1; // expected-note {{declared private here}}
139      };
140    };
141    union {
142      int u0; // expected-note {{declared private here}}
143      double u1; // expected-note {{declared private here}}
144      struct { // expected-warning{{anonymous structs are a GNU extension}} expected-warning{{anonymous types declared in an anonymous union are an extension}}
145        int us0; // expected-note {{declared private here}}
146        double us1; // expected-note {{declared private here}}
147      };
148    };
149  };
150
151  void test() {
152    A a;
153    (void) a.s0;  // expected-error {{private member}}
154    (void) a.s1;  // expected-error {{private member}}
155    (void) a.su0; // expected-error {{private member}}
156    (void) a.su1; // expected-error {{private member}}
157    (void) a.u0;  // expected-error {{private member}}
158    (void) a.u1;  // expected-error {{private member}}
159    (void) a.us0; // expected-error {{private member}}
160    (void) a.us1; // expected-error {{private member}}
161  }
162}
163
164typedef void *voidPtr;
165
166void f2() {
167    union { int **ctxPtr; void **voidPtr; };
168}
169
170void foo_PR6741() {
171    union {
172        char *m_a;
173        int *m_b;
174    };
175
176    if(1) {
177        union {
178            char *m_a;
179            int *m_b;
180        };
181    }
182}
183
184namespace PR8326 {
185  template <class T>
186  class Foo {
187  public:
188    Foo()
189      : x(0)
190      , y(1){
191    }
192
193  private:
194    const union { // expected-warning{{anonymous union cannot be 'const'}}
195      struct { // expected-warning{{anonymous structs are a GNU extension}} expected-warning{{declared in an anonymous union}}
196        T x;
197        T y;
198      };
199      T v[2];
200    };
201  };
202
203  Foo<int> baz;
204}
205
206namespace PR16630 {
207  struct A { union { int x; float y; }; }; // expected-note {{member is declared here}}
208  struct B : private A { using A::x; } b; // expected-note 2 {{private}}
209  void foo () {
210    b.x = 10;
211    b.y = 0; // expected-error {{cannot cast 'struct B' to its private base class 'PR16630::A'}} expected-error {{'y' is a private member of 'PR16630::A'}}
212  }
213}
214