test/SemaCXX/anonymous-union.cpp

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