• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // RUN: %clang_cc1 -fsyntax-only -verify %s
2  struct A {};
3  struct B : public A {};             // Single public base.
4  struct C1 : public virtual B {};    // Single virtual base.
5  struct C2 : public virtual B {};
6  struct D : public C1, public C2 {}; // Diamond
7  struct E : private A {};            // Single private base. expected-note 3 {{declared private here}}
8  struct F : public C1 {};            // Single path to B with virtual.
9  struct G1 : public B {};
10  struct G2 : public B {};
11  struct H : public G1, public G2 {}; // Ambiguous path to B.
12  
13  enum Enum { En1, En2 };
14  enum Onom { On1, On2 };
15  
16  struct Co1 { operator int(); };
17  struct Co2 { Co2(int); };
18  struct Co3 { };
19  struct Co4 { Co4(Co3); operator Co3(); };
20  
21  // Explicit implicits
t_529_2()22  void t_529_2()
23  {
24    int i = 1;
25    (void)static_cast<float>(i);
26    double d = 1.0;
27    (void)static_cast<float>(d);
28    (void)static_cast<int>(d);
29    (void)static_cast<char>(i);
30    (void)static_cast<unsigned long>(i);
31    (void)static_cast<int>(En1);
32    (void)static_cast<double>(En1);
33    (void)static_cast<int&>(i);
34    (void)static_cast<const int&>(i);
35  
36    int ar[1];
37    (void)static_cast<const int*>(ar);
38    (void)static_cast<void (*)()>(t_529_2);
39  
40    (void)static_cast<void*>(0);
41    (void)static_cast<void*>((int*)0);
42    (void)static_cast<volatile const void*>((const int*)0);
43    (void)static_cast<A*>((B*)0);
44    (void)static_cast<A&>(*((B*)0));
45    (void)static_cast<const B*>((C1*)0);
46    (void)static_cast<B&>(*((C1*)0));
47    (void)static_cast<A*>((D*)0);
48    (void)static_cast<const A&>(*((D*)0));
49    (void)static_cast<int B::*>((int A::*)0);
50    (void)static_cast<void (B::*)()>((void (A::*)())0);
51  
52    (void)static_cast<int>(Co1());
53    (void)static_cast<Co2>(1);
54    (void)static_cast<Co3>(static_cast<Co4>(Co3()));
55  
56    // Bad code below
57  
58    (void)static_cast<void*>((const int*)0); // expected-error {{static_cast from 'const int *' to 'void *' is not allowed}}
59    (void)static_cast<A*>((E*)0); // expected-error {{cannot cast 'E' to its private base class 'A'}}
60    (void)static_cast<A*>((H*)0); // expected-error {{ambiguous conversion}}
61    (void)static_cast<int>((int*)0); // expected-error {{static_cast from 'int *' to 'int' is not allowed}}
62    (void)static_cast<A**>((B**)0); // expected-error {{static_cast from 'B **' to 'A **' is not allowed}}
63    (void)static_cast<char&>(i); // expected-error {{non-const lvalue reference to type 'char' cannot bind to a value of unrelated type 'int'}}
64  }
65  
66  // Anything to void
t_529_4()67  void t_529_4()
68  {
69    static_cast<void>(1);
70    static_cast<void>(t_529_4);
71  }
72  
73  // Static downcasts
t_529_5_8()74  void t_529_5_8()
75  {
76    (void)static_cast<B*>((A*)0);
77    (void)static_cast<B&>(*((A*)0));
78    (void)static_cast<const G1*>((A*)0);
79    (void)static_cast<const G1&>(*((A*)0));
80  
81    // Bad code below
82  
83    (void)static_cast<C1*>((A*)0); // expected-error {{cannot cast 'A *' to 'C1 *' via virtual base 'B'}}
84    (void)static_cast<C1&>(*((A*)0)); // expected-error {{cannot cast 'A' to 'C1 &' via virtual base 'B'}}
85    (void)static_cast<D*>((A*)0); // expected-error {{cannot cast 'A *' to 'D *' via virtual base 'B'}}
86    (void)static_cast<D&>(*((A*)0)); // expected-error {{cannot cast 'A' to 'D &' via virtual base 'B'}}
87    (void)static_cast<B*>((const A*)0); // expected-error {{static_cast from 'const A *' to 'B *' casts away qualifiers}}
88    (void)static_cast<B&>(*((const A*)0)); // expected-error {{static_cast from 'const A' to 'B &' casts away qualifiers}}
89    (void)static_cast<E*>((A*)0); // expected-error {{cannot cast private base class 'A' to 'E'}}
90    (void)static_cast<E&>(*((A*)0)); // expected-error {{cannot cast private base class 'A' to 'E'}}
91    (void)static_cast<H*>((A*)0); // expected-error {{ambiguous cast from base 'A' to derived 'H':\n    struct A -> struct B -> struct G1 -> struct H\n    struct A -> struct B -> struct G2 -> struct H}}
92    (void)static_cast<H&>(*((A*)0)); // expected-error {{ambiguous cast from base 'A' to derived 'H':\n    struct A -> struct B -> struct G1 -> struct H\n    struct A -> struct B -> struct G2 -> struct H}}
93    (void)static_cast<E*>((B*)0); // expected-error {{static_cast from 'B *' to 'E *' is not allowed}}
94    (void)static_cast<E&>(*((B*)0)); // expected-error {{non-const lvalue reference to type 'E' cannot bind to a value of unrelated type 'B'}}
95  
96    // TODO: Test inaccessible base in context where it's accessible, i.e.
97    // member function and friend.
98  
99    // TODO: Test DR427. This requires user-defined conversions, though.
100  }
101  
102  // Enum conversions
t_529_7()103  void t_529_7()
104  {
105    (void)static_cast<Enum>(1);
106    (void)static_cast<Enum>(1.0);
107    (void)static_cast<Onom>(En1);
108  
109    // Bad code below
110  
111    (void)static_cast<Enum>((int*)0); // expected-error {{static_cast from 'int *' to 'Enum' is not allowed}}
112  }
113  
114  // Void pointer to object pointer
t_529_10()115  void t_529_10()
116  {
117    (void)static_cast<int*>((void*)0);
118    (void)static_cast<const A*>((void*)0);
119  
120    // Bad code below
121  
122    (void)static_cast<int*>((const void*)0); // expected-error {{static_cast from 'const void *' to 'int *' casts away qualifiers}}
123    (void)static_cast<void (*)()>((void*)0); // expected-error {{static_cast from 'void *' to 'void (*)()' is not allowed}}
124  }
125  
126  // Member pointer upcast.
t_529_9()127  void t_529_9()
128  {
129    (void)static_cast<int A::*>((int B::*)0);
130  
131    // Bad code below
132    (void)static_cast<int A::*>((int H::*)0); // expected-error {{ambiguous conversion from pointer to member of derived class 'H' to pointer to member of base class 'A':}}
133    (void)static_cast<int A::*>((int F::*)0); // expected-error {{conversion from pointer to member of class 'F' to pointer to member of class 'A' via virtual base 'B' is not allowed}}
134  }
135  
136  // PR 5261 - static_cast should instantiate template if possible
137  namespace pr5261 {
138    struct base {};
139    template<typename E> struct derived : public base {};
140    template<typename E> struct outer {
141      base *pb;
~outerpr5261::outer142      ~outer() { (void)static_cast<derived<E>*>(pb); }
143    };
144    outer<int> EntryList;
145  }
146  
147  
148  // Initialization by constructor
149  struct X0;
150  
151  struct X1 {
152    X1();
153    X1(X1&);
154    X1(const X0&);
155  
156    operator X0() const;
157  };
158  
159  struct X0 { };
160  
test_ctor_init()161  void test_ctor_init() {
162    (void)static_cast<X1>(X1());
163  }
164  
165  // Casting away constness
166  struct X2 {
167  };
168  
169  struct X3 : X2 {
170  };
171  
172  struct X4 {
173    typedef const X3 X3_typedef;
174  
fX4175    void f() const {
176      (void)static_cast<X3_typedef*>(x2);
177    }
178  
179    const X2 *x2;
180  };
181  
182  // PR5897 - accept static_cast from const void* to const int (*)[1].
PR5897()183  void PR5897() { (void)static_cast<const int(*)[1]>((const void*)0); }
184  
185  namespace PR6072 {
186    struct A { };
187    struct B : A { void f(int); void f(); };  // expected-note 2{{candidate function}}
188    struct C : B { };
189    struct D { };
190  
f()191    void f() {
192      (void)static_cast<void (A::*)()>(&B::f);
193      (void)static_cast<void (B::*)()>(&B::f);
194      (void)static_cast<void (C::*)()>(&B::f);
195      (void)static_cast<void (D::*)()>(&B::f); // expected-error{{address of overloaded function 'f' cannot be static_cast to type 'void (PR6072::D::*)()'}}
196    }
197  }
198