blob: 7fb016ea86d8b1abba100a93129ca15ea6a208a1 [file] [log] [blame]
John McCall7002f4c2010-04-09 19:03:51 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Sebastian Redl07779722008-10-31 14:43:28 +00002struct A {};
3struct B : public A {}; // Single public base.
4struct C1 : public virtual B {}; // Single virtual base.
5struct C2 : public virtual B {};
6struct D : public C1, public C2 {}; // Diamond
John McCall6b2accb2010-02-10 09:31:12 +00007struct E : private A {}; // Single private base. expected-note 3 {{declared private here}}
Sebastian Redl07779722008-10-31 14:43:28 +00008struct F : public C1 {}; // Single path to B with virtual.
9struct G1 : public B {};
10struct G2 : public B {};
11struct H : public G1, public G2 {}; // Ambiguous path to B.
12
13enum Enum { En1, En2 };
14enum Onom { On1, On2 };
15
Sebastian Redl9cc11e72009-07-25 15:41:38 +000016struct Co1 { operator int(); };
17struct Co2 { Co2(int); };
18struct Co3 { };
19struct Co4 { Co4(Co3); operator Co3(); };
20
Sebastian Redl07779722008-10-31 14:43:28 +000021// Explicit implicits
22void 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);
Sebastian Redl07779722008-10-31 14:43:28 +000044 (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));
Sebastian Redl21593ac2009-01-28 18:33:18 +000049 (void)static_cast<int B::*>((int A::*)0);
50 (void)static_cast<void (B::*)()>((void (A::*)())0);
Sebastian Redl07779722008-10-31 14:43:28 +000051
Sebastian Redl9cc11e72009-07-25 15:41:38 +000052 (void)static_cast<int>(Co1());
53 (void)static_cast<Co2>(1);
54 (void)static_cast<Co3>(static_cast<Co4>(Co3()));
Sebastian Redl07779722008-10-31 14:43:28 +000055
56 // Bad code below
57
Chris Lattner58f9e132010-09-05 00:04:01 +000058 (void)static_cast<void*>((const int*)0); // expected-error {{static_cast from 'const int *' to 'void *' is not allowed}}
John McCall7c2342d2010-03-10 11:27:22 +000059 (void)static_cast<A*>((E*)0); // expected-error {{cannot cast 'E' to its private base class 'A'}}
Sebastian Redla82e4ae2009-11-14 21:15:49 +000060 (void)static_cast<A*>((H*)0); // expected-error {{ambiguous conversion}}
Sebastian Redl07779722008-10-31 14:43:28 +000061 (void)static_cast<int>((int*)0); // expected-error {{static_cast from 'int *' to 'int' is not allowed}}
John McCall7c2342d2010-03-10 11:27:22 +000062 (void)static_cast<A**>((B**)0); // expected-error {{static_cast from 'B **' to 'A **' is not allowed}}
Douglas Gregorc6e378e2010-03-24 23:38:29 +000063 (void)static_cast<char&>(i); // expected-error {{non-const lvalue reference to type 'char' cannot bind to a value of unrelated type 'int'}}
Sebastian Redl07779722008-10-31 14:43:28 +000064}
65
66// Anything to void
67void t_529_4()
68{
69 static_cast<void>(1);
70 static_cast<void>(t_529_4);
71}
72
73// Static downcasts
74void 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
John McCall7c2342d2010-03-10 11:27:22 +000083 (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'}}
Douglas Gregord4c5f842011-04-15 17:59:54 +000087 (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}}
John McCall7c2342d2010-03-10 11:27:22 +000089 (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}}
Douglas Gregorc6e378e2010-03-24 23:38:29 +000094 (void)static_cast<E&>(*((B*)0)); // expected-error {{non-const lvalue reference to type 'E' cannot bind to a value of unrelated type 'B'}}
Sebastian Redl07779722008-10-31 14:43:28 +000095
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
103void 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
John McCall7c2342d2010-03-10 11:27:22 +0000111 (void)static_cast<Enum>((int*)0); // expected-error {{static_cast from 'int *' to 'Enum' is not allowed}}
Sebastian Redl07779722008-10-31 14:43:28 +0000112}
113
114// Void pointer to object pointer
115void 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
Douglas Gregord4c5f842011-04-15 17:59:54 +0000122 (void)static_cast<int*>((const void*)0); // expected-error {{static_cast from 'const void *' to 'int *' casts away qualifiers}}
Argyrios Kyrtzidis7c94c4b2009-06-03 02:06:50 +0000123 (void)static_cast<void (*)()>((void*)0); // expected-error {{static_cast from 'void *' to 'void (*)()' is not allowed}}
Sebastian Redl07779722008-10-31 14:43:28 +0000124}
125
Sebastian Redl21593ac2009-01-28 18:33:18 +0000126// Member pointer upcast.
127void t_529_9()
128{
129 (void)static_cast<int A::*>((int B::*)0);
130
131 // Bad code below
John McCall7c2342d2010-03-10 11:27:22 +0000132 (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}}
Sebastian Redl21593ac2009-01-28 18:33:18 +0000134}
Sebastian Redl5ed66f72009-10-22 15:07:22 +0000135
136// PR 5261 - static_cast should instantiate template if possible
137namespace pr5261 {
138 struct base {};
139 template<typename E> struct derived : public base {};
140 template<typename E> struct outer {
141 base *pb;
142 ~outer() { (void)static_cast<derived<E>*>(pb); }
143 };
144 outer<int> EntryList;
145}
Douglas Gregor19aeac62009-11-14 03:27:21 +0000146
147
148// Initialization by constructor
149struct X0;
150
151struct X1 {
152 X1();
153 X1(X1&);
154 X1(const X0&);
155
156 operator X0() const;
157};
158
159struct X0 { };
160
161void test_ctor_init() {
162 (void)static_cast<X1>(X1());
163}
Douglas Gregorab15d0e2009-11-15 09:20:52 +0000164
165// Casting away constness
166struct X2 {
167};
168
169struct X3 : X2 {
170};
171
172struct X4 {
173 typedef const X3 X3_typedef;
174
175 void f() const {
176 (void)static_cast<X3_typedef*>(x2);
177 }
178
179 const X2 *x2;
180};
Chandler Carruthc099d9b2010-01-31 11:51:51 +0000181
182// PR5897 - accept static_cast from const void* to const int (*)[1].
Chandler Carruthe1cd3372010-01-31 11:52:52 +0000183void PR5897() { (void)static_cast<const int(*)[1]>((const void*)0); }
Douglas Gregor4ce46c22010-03-07 23:24:59 +0000184
185namespace PR6072 {
186 struct A { };
Douglas Gregor8e960432010-11-08 03:40:48 +0000187 struct B : A { void f(int); void f(); }; // expected-note 2{{candidate function}}
Douglas Gregor4ce46c22010-03-07 23:24:59 +0000188 struct C : B { };
189 struct D { };
190
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);
Douglas Gregor8e960432010-11-08 03:40:48 +0000195 (void)static_cast<void (D::*)()>(&B::f); // expected-error{{address of overloaded function 'f' cannot be static_cast to type 'void (PR6072::D::*)()'}}
Douglas Gregor4ce46c22010-03-07 23:24:59 +0000196 }
197}