220 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s2struct 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 83extern "C++" {84union { int extern_cxx; }; // expected-error{{anonymous unions at namespace or global scope must be declared 'static'}}85}86 87static union {88 int int_val2; // expected-note{{previous definition is here}}89 float float_val2;90};91 92void PR21858() {93 void int_val2(); // expected-error{{redefinition of 'int_val2' as different kind of symbol}}94}95 96void f() {97 int_val2 = 0;98 float_val2 = 0.0;99}100 101void g() {102 union {103 int i;104 float f2;105 };106 i = 0;107 f2 = 0.0;108}109 110struct BadMembers {111 union {112 struct X { }; // expected-error {{types cannot be declared in an anonymous union}}113 struct { int x; int y; } y; // expected-warning{{anonymous types declared in an anonymous union are an extension}}114 115 void f(); // expected-error{{functions cannot be declared in an anonymous union}}116 private: int x1; // expected-error{{anonymous union cannot contain a private data member}}117 protected: float x2; // expected-error{{anonymous union cannot contain a protected data member}}118 };119};120 121typedef union { }; // expected-warning{{typedef requires a name}}122 123typedef struct objc_module *Foo ;124 125typedef struct _s {126 union {127 int a;128 int Foo;129 };130} s, *ps;131 132namespace test4 {133 class A {134 struct { // expected-warning{{anonymous structs are a GNU extension}}135 int s0; // expected-note {{declared private here}}136 double s1; // expected-note {{declared private here}}137 union { // expected-warning{{anonymous types declared in an anonymous struct are an extension}}138 int su0; // expected-note {{declared private here}}139 double su1; // expected-note {{declared private here}}140 };141 };142 union {143 int u0; // expected-note {{declared private here}}144 double u1; // expected-note {{declared private here}}145 struct { // expected-warning{{anonymous structs are a GNU extension}} expected-warning{{anonymous types declared in an anonymous union are an extension}}146 int us0; // expected-note {{declared private here}}147 double us1; // expected-note {{declared private here}}148 };149 };150 };151 152 void test() {153 A a;154 (void) a.s0; // expected-error {{private member}}155 (void) a.s1; // expected-error {{private member}}156 (void) a.su0; // expected-error {{private member}}157 (void) a.su1; // expected-error {{private member}}158 (void) a.u0; // expected-error {{private member}}159 (void) a.u1; // expected-error {{private member}}160 (void) a.us0; // expected-error {{private member}}161 (void) a.us1; // expected-error {{private member}}162 }163}164 165typedef void *voidPtr;166 167void f2() {168 union { int **ctxPtr; void **voidPtr; };169}170 171void foo_PR6741() {172 union {173 char *m_a;174 int *m_b;175 };176 177 if(1) {178 union {179 char *m_a;180 int *m_b;181 };182 }183}184 185namespace PR8326 {186 template <class T>187 class Foo {188 public:189 Foo()190 : x(0)191 , y(1){192 }193 194 private:195 const union { // expected-warning{{anonymous union cannot be 'const'}}196 struct { // expected-warning{{anonymous structs are a GNU extension}} expected-warning{{declared in an anonymous union}}197 T x;198 T y;199 };200 T v[2];201 };202 };203 204 Foo<int> baz;205}206 207namespace PR16630 {208 struct A { union { int x; float y; }; }; // expected-note {{member is declared here}}209 struct B : private A { using A::x; } b; // expected-note {{private}}210 void foo () {211 b.x = 10;212 b.y = 0; // expected-error {{'y' is a private member of 'PR16630::A'}}213 }214}215 216namespace GH48512 {217 // This would previously cause an assertion in C++ mode.218 static __attribute__((a)) union { int a; }; // expected-warning {{unknown attribute 'a' ignored}}219}220