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