clang/test/Sema/anonymous-struct-union.c

   1 // RUN: %clang_cc1 -fsyntax-only -verify %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 {
  13       float f2;
  14       double d;
  15     };
  16   };
  17
  18   struct {
  19     int a;
  20     float b;
  21   };
  22 };
  23
  24 void test_unqual_references(struct X x, const struct X xc) {
  25   // expected-note@-1 3{{variable 'xc' declared const here}}
  26   x.i = 0;
  27   x.f = 0.0;
  28   x.f2 = x.f;
  29   x.d = x.f;
  30   x.f3 = 0; // expected-error{{no member named 'f3'}}
  31   x.a = 0;
  32
  33   xc.d = 0.0; // expected-error{{cannot assign to variable 'xc' with const-qualified type 'const struct X'}}
  34   xc.f = 0; // expected-error{{cannot assign to variable 'xc' with const-qualified type 'const struct X'}}
  35   xc.a = 0; // expected-error{{cannot assign to variable 'xc' with const-qualified type 'const struct X'}}
  36 }
  37
  38
  39 struct Redecl {
  40   int x; // expected-note{{previous declaration is here}}
  41   struct y { }; // expected-warning{{declaration does not declare anything}}
  42
  43   union {
  44     int x; // expected-error{{member of anonymous union redeclares 'x'}}
  45     float y;
  46     double z; // expected-note{{previous declaration is here}}
  47     double zz; // expected-note{{previous declaration is here}}
  48   };
  49
  50   int z; // expected-error{{duplicate member 'z'}}
  51   void zz(void); // expected-error{{duplicate member 'zz'}}
  52 };
  53
  54 union { // expected-warning{{declaration does not declare anything}}
  55   int int_val;
  56   float float_val;
  57 };
  58
  59 static union { // expected-warning{{declaration does not declare anything}}
  60   int int_val2;
  61   float float_val2;
  62 };
  63
  64 void f(void) {
  65   int_val2 = 0; // expected-error{{use of undeclared identifier}}
  66   float_val2 = 0.0; // expected-error{{use of undeclared identifier}}
  67 }
  68
  69 void g(void) {
  70   union { // expected-warning{{declaration does not declare anything}}
  71     int i;
  72     float f2;
  73   };
  74   i = 0; // expected-error{{use of undeclared identifier}}
  75   f2 = 0.0; // expected-error{{use of undeclared identifier}}
  76 }
  77
  78 // <rdar://problem/6483159>
  79 struct s0 { union { int f0; }; };
  80
  81 // <rdar://problem/6481130>
  82 typedef struct { }; // expected-warning{{typedef requires a name}}
  83
  84 // PR3675
  85 struct s1 {
  86   int f0; // expected-note{{previous declaration is here}}
  87   union {
  88     int f0; // expected-error{{member of anonymous union redeclares 'f0'}}
  89   };
  90 };
  91
  92 // PR3680
  93 struct {}; // expected-warning{{declaration does not declare anything}}
  94
  95 struct s2 {
  96   union {
  97     int a;
  98   } // expected-warning{{expected ';' at end of declaration list}}
  99 }; // expected-error{{expected member name or ';' after declaration specifiers}}
 100
 101 // Make sure we don't a.k.a. anonymous structs.
 102 typedef struct {
 103   int x;
 104 } a_struct;
 105 int tmp = (a_struct) { .x = 0 }; // expected-error {{initializing 'int' with an expression of incompatible type 'a_struct'}}
 106
 107 // This example comes out of the C11 standard; make sure we don't accidentally reject it.
 108 struct s {
 109   struct { int i; };
 110   int a[];
 111 };
 112
 113 // PR20930
 114 struct s3 {
 115   struct { int A __attribute__((deprecated)); }; // expected-note {{'A' has been explicitly marked deprecated here}}
 116 };
 117
 118 void deprecated_anonymous_struct_member(void) {
 119   struct s3 s;
 120   s.A = 1; // expected-warning {{'A' is deprecated}}
 121 }