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