17002f4c03c2d0544f4e8bea8d3a5636519081e35John McCall// RUN: %clang_cc1 -fsyntax-only -verify %s 2b774d73540ba62a5e6a8e9217b320b27a946cfadNAKAMURA Takumi// REQUIRES: LP64 39cc11e70031365972424b43f439021d88096b146Sebastian Redl 49cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct A {}; 59cc11e70031365972424b43f439021d88096b146Sebastian Redl 69cc11e70031365972424b43f439021d88096b146Sebastian Redl// ----------- const_cast -------------- 79cc11e70031365972424b43f439021d88096b146Sebastian Redl 89cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef char c; 99cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef c *cp; 109cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef cp *cpp; 119cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef cpp *cppp; 129cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef cppp &cpppr; 139cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef const cppp &cpppcr; 149cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef const char cc; 159cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef cc *ccp; 169cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef volatile ccp ccvp; 179cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef ccvp *ccvpp; 189cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef const volatile ccvpp ccvpcvp; 199cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef ccvpcvp *ccvpcvpp; 209cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef int iar[100]; 219cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef iar &iarr; 229cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef int (*f)(int); 239cc11e70031365972424b43f439021d88096b146Sebastian Redl 249cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_cc() 259cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 269cc11e70031365972424b43f439021d88096b146Sebastian Redl ccvpcvpp var = 0; 279cc11e70031365972424b43f439021d88096b146Sebastian Redl // Cast away deep consts and volatiles. 289cc11e70031365972424b43f439021d88096b146Sebastian Redl char ***var2 = (cppp)(var); 299cc11e70031365972424b43f439021d88096b146Sebastian Redl char ***const &var3 = var2; 309cc11e70031365972424b43f439021d88096b146Sebastian Redl // Const reference to reference. 319cc11e70031365972424b43f439021d88096b146Sebastian Redl char ***&var4 = (cpppr)(var3); 329cc11e70031365972424b43f439021d88096b146Sebastian Redl // Drop reference. Intentionally without qualifier change. 339cc11e70031365972424b43f439021d88096b146Sebastian Redl char *** var5 = (cppp)(var4); 349cc11e70031365972424b43f439021d88096b146Sebastian Redl const int ar[100] = {0}; 359cc11e70031365972424b43f439021d88096b146Sebastian Redl // Array decay. Intentionally without qualifier change. 369cc11e70031365972424b43f439021d88096b146Sebastian Redl int *pi = (int*)(ar); 379cc11e70031365972424b43f439021d88096b146Sebastian Redl f fp = 0; 389cc11e70031365972424b43f439021d88096b146Sebastian Redl // Don't misidentify fn** as a function pointer. 399cc11e70031365972424b43f439021d88096b146Sebastian Redl f *fpp = (f*)(&fp); 409cc11e70031365972424b43f439021d88096b146Sebastian Redl int const A::* const A::*icapcap = 0; 419cc11e70031365972424b43f439021d88096b146Sebastian Redl int A::* A::* iapap = (int A::* A::*)(icapcap); 429cc11e70031365972424b43f439021d88096b146Sebastian Redl} 439cc11e70031365972424b43f439021d88096b146Sebastian Redl 449cc11e70031365972424b43f439021d88096b146Sebastian Redl// ----------- static_cast ------------- 459cc11e70031365972424b43f439021d88096b146Sebastian Redl 469cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct B : public A {}; // Single public base. 479cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct C1 : public virtual B {}; // Single virtual base. 489cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct C2 : public virtual B {}; 499cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct D : public C1, public C2 {}; // Diamond 509cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct E : private A {}; // Single private base. 519cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct F : public C1 {}; // Single path to B with virtual. 529cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct G1 : public B {}; 539cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct G2 : public B {}; 549cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct H : public G1, public G2 {}; // Ambiguous path to B. 559cc11e70031365972424b43f439021d88096b146Sebastian Redl 569cc11e70031365972424b43f439021d88096b146Sebastian Redlenum Enum { En1, En2 }; 579cc11e70031365972424b43f439021d88096b146Sebastian Redlenum Onom { On1, On2 }; 589cc11e70031365972424b43f439021d88096b146Sebastian Redl 599cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct Co1 { operator int(); }; 609cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct Co2 { Co2(int); }; 619cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct Co3 { }; 629cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct Co4 { Co4(Co3); operator Co3(); }; 639cc11e70031365972424b43f439021d88096b146Sebastian Redl 649cc11e70031365972424b43f439021d88096b146Sebastian Redl// Explicit implicits 659cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_529_2() 669cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 679cc11e70031365972424b43f439021d88096b146Sebastian Redl int i = 1; 689cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(float)(i); 699cc11e70031365972424b43f439021d88096b146Sebastian Redl double d = 1.0; 709cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(float)(d); 719cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int)(d); 729cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(char)(i); 739cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(unsigned long)(i); 749cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int)(En1); 759cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(double)(En1); 769cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int&)(i); 779cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const int&)(i); 789cc11e70031365972424b43f439021d88096b146Sebastian Redl 799cc11e70031365972424b43f439021d88096b146Sebastian Redl int ar[1]; 809cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const int*)(ar); 819cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(void (*)())(t_529_2); 829cc11e70031365972424b43f439021d88096b146Sebastian Redl 839cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(void*)(0); 849cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(void*)((int*)0); 859cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(volatile const void*)((const int*)0); 869cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(A*)((B*)0); 879cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(A&)(*((B*)0)); 889cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const B*)((C1*)0); 899cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(B&)(*((C1*)0)); 909cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(A*)((D*)0); 919cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const A&)(*((D*)0)); 929cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int B::*)((int A::*)0); 939cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(void (B::*)())((void (A::*)())0); 949cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(A*)((E*)0); // C-style cast ignores access control 959cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(void*)((const int*)0); // const_cast appended 969cc11e70031365972424b43f439021d88096b146Sebastian Redl 979cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int)(Co1()); 989cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(Co2)(1); 999cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(Co3)((Co4)(Co3())); 1009cc11e70031365972424b43f439021d88096b146Sebastian Redl 1019cc11e70031365972424b43f439021d88096b146Sebastian Redl // Bad code below 1029cc11e70031365972424b43f439021d88096b146Sebastian Redl //(void)(A*)((H*)0); // {{static_cast from 'struct H *' to 'struct A *' is not allowed}} 1039cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1049cc11e70031365972424b43f439021d88096b146Sebastian Redl 1059cc11e70031365972424b43f439021d88096b146Sebastian Redl// Anything to void 1069cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_529_4() 1079cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1089cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(1); 1099cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(t_529_4); 1109cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1119cc11e70031365972424b43f439021d88096b146Sebastian Redl 1129cc11e70031365972424b43f439021d88096b146Sebastian Redl// Static downcasts 1139cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_529_5_8() 1149cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1159cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(B*)((A*)0); 1169cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(B&)(*((A*)0)); 1179cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const G1*)((A*)0); 1189cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const G1&)(*((A*)0)); 1199cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(B*)((const A*)0); // const_cast appended 1209cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(B&)(*((const A*)0)); // const_cast appended 1219cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(E*)((A*)0); // access control ignored 1229cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(E&)(*((A*)0)); // access control ignored 1239cc11e70031365972424b43f439021d88096b146Sebastian Redl 1249cc11e70031365972424b43f439021d88096b146Sebastian Redl // Bad code below 1259cc11e70031365972424b43f439021d88096b146Sebastian Redl 1267c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(C1*)((A*)0); // expected-error {{cannot cast 'A *' to 'C1 *' via virtual base 'B'}} 1277c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(C1&)(*((A*)0)); // expected-error {{cannot cast 'A' to 'C1 &' via virtual base 'B'}} 1287c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(D*)((A*)0); // expected-error {{cannot cast 'A *' to 'D *' via virtual base 'B'}} 1297c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(D&)(*((A*)0)); // expected-error {{cannot cast 'A' to 'D &' via virtual base 'B'}} 1307c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(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}} 1317c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(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}} 1329cc11e70031365972424b43f439021d88096b146Sebastian Redl 1339cc11e70031365972424b43f439021d88096b146Sebastian Redl // TODO: Test DR427. This requires user-defined conversions, though. 1349cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1359cc11e70031365972424b43f439021d88096b146Sebastian Redl 1369cc11e70031365972424b43f439021d88096b146Sebastian Redl// Enum conversions 1379cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_529_7() 1389cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1399cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(Enum)(1); 1409cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(Enum)(1.0); 1419cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(Onom)(En1); 1429cc11e70031365972424b43f439021d88096b146Sebastian Redl 1439cc11e70031365972424b43f439021d88096b146Sebastian Redl // Bad code below 1449cc11e70031365972424b43f439021d88096b146Sebastian Redl 1457c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(Enum)((int*)0); // expected-error {{C-style cast from 'int *' to 'Enum' is not allowed}} 1469cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1479cc11e70031365972424b43f439021d88096b146Sebastian Redl 1489cc11e70031365972424b43f439021d88096b146Sebastian Redl// Void pointer to object pointer 1499cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_529_10() 1509cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1519cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int*)((void*)0); 1529cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const A*)((void*)0); 1539cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int*)((const void*)0); // const_cast appended 1549cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1559cc11e70031365972424b43f439021d88096b146Sebastian Redl 1569cc11e70031365972424b43f439021d88096b146Sebastian Redl// Member pointer upcast. 1579cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid t_529_9() 1589cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1599cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int A::*)((int B::*)0); 1609cc11e70031365972424b43f439021d88096b146Sebastian Redl 1619cc11e70031365972424b43f439021d88096b146Sebastian Redl // Bad code below 1627c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(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':}} 1637c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(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}} 1649cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1659cc11e70031365972424b43f439021d88096b146Sebastian Redl 1669cc11e70031365972424b43f439021d88096b146Sebastian Redl// -------- reinterpret_cast ----------- 1679cc11e70031365972424b43f439021d88096b146Sebastian Redl 1689cc11e70031365972424b43f439021d88096b146Sebastian Redlenum test { testval = 1 }; 1699cc11e70031365972424b43f439021d88096b146Sebastian Redlstruct structure { int m; }; 1709cc11e70031365972424b43f439021d88096b146Sebastian Redltypedef void (*fnptr)(); 1719cc11e70031365972424b43f439021d88096b146Sebastian Redl 1729cc11e70031365972424b43f439021d88096b146Sebastian Redl// Test conversion between pointer and integral types, as in p3 and p4. 1739cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid integral_conversion() 1749cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1759cc11e70031365972424b43f439021d88096b146Sebastian Redl void *vp = (void*)(testval); 1769cc11e70031365972424b43f439021d88096b146Sebastian Redl long l = (long)(vp); 1779cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(float*)(l); 1789cc11e70031365972424b43f439021d88096b146Sebastian Redl fnptr fnp = (fnptr)(l); 1799cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(char)(fnp); // expected-error {{cast from pointer to smaller type 'char' loses information}} 1809cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(long)(fnp); 1819cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1829cc11e70031365972424b43f439021d88096b146Sebastian Redl 1839cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid pointer_conversion() 1849cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1859cc11e70031365972424b43f439021d88096b146Sebastian Redl int *p1 = 0; 1869cc11e70031365972424b43f439021d88096b146Sebastian Redl float *p2 = (float*)(p1); 1879cc11e70031365972424b43f439021d88096b146Sebastian Redl structure *p3 = (structure*)(p2); 1889cc11e70031365972424b43f439021d88096b146Sebastian Redl typedef int **ppint; 1899cc11e70031365972424b43f439021d88096b146Sebastian Redl ppint *deep = (ppint*)(p3); 1909cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(fnptr*)(deep); 1919cc11e70031365972424b43f439021d88096b146Sebastian Redl} 1929cc11e70031365972424b43f439021d88096b146Sebastian Redl 1939cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid constness() 1949cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 1959cc11e70031365972424b43f439021d88096b146Sebastian Redl int ***const ipppc = 0; 1969cc11e70031365972424b43f439021d88096b146Sebastian Redl int const *icp = (int const*)(ipppc); 1979cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int*)(icp); // const_cast appended 1989cc11e70031365972424b43f439021d88096b146Sebastian Redl int const *const **icpcpp = (int const* const**)(ipppc); // const_cast appended 1999cc11e70031365972424b43f439021d88096b146Sebastian Redl int *ip = (int*)(icpcpp); 2009cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int const*)(ip); 2019cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int const* const* const*)(ipppc); 2029cc11e70031365972424b43f439021d88096b146Sebastian Redl} 2039cc11e70031365972424b43f439021d88096b146Sebastian Redl 2049cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid fnptrs() 2059cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 2069cc11e70031365972424b43f439021d88096b146Sebastian Redl typedef int (*fnptr2)(int); 2079cc11e70031365972424b43f439021d88096b146Sebastian Redl fnptr fp = 0; 2089cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(fnptr2)(fp); 2099cc11e70031365972424b43f439021d88096b146Sebastian Redl void *vp = (void*)(fp); 2109cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(fnptr)(vp); 2119cc11e70031365972424b43f439021d88096b146Sebastian Redl} 2129cc11e70031365972424b43f439021d88096b146Sebastian Redl 2139cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid refs() 2149cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 2159cc11e70031365972424b43f439021d88096b146Sebastian Redl long l = 0; 2169cc11e70031365972424b43f439021d88096b146Sebastian Redl char &c = (char&)(l); 2179cc11e70031365972424b43f439021d88096b146Sebastian Redl // Bad: from rvalue 2189cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int&)(&c); // expected-error {{C-style cast from rvalue to reference type 'int &'}} 2199cc11e70031365972424b43f439021d88096b146Sebastian Redl} 2209cc11e70031365972424b43f439021d88096b146Sebastian Redl 2219cc11e70031365972424b43f439021d88096b146Sebastian Redlvoid memptrs() 2229cc11e70031365972424b43f439021d88096b146Sebastian Redl{ 2239cc11e70031365972424b43f439021d88096b146Sebastian Redl const int structure::*psi = 0; 2249cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(const float structure::*)(psi); 2259cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int structure::*)(psi); // const_cast appended 2269cc11e70031365972424b43f439021d88096b146Sebastian Redl 2279cc11e70031365972424b43f439021d88096b146Sebastian Redl void (structure::*psf)() = 0; 2289cc11e70031365972424b43f439021d88096b146Sebastian Redl (void)(int (structure::*)())(psf); 2299cc11e70031365972424b43f439021d88096b146Sebastian Redl 23058f9e13e87e57236fee4b914eea9be6f92a1c345Chris Lattner (void)(void (structure::*)())(psi); // expected-error {{C-style cast from 'const int structure::*' to 'void (structure::*)()' is not allowed}} 2317c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(int structure::*)(psf); // expected-error {{C-style cast from 'void (structure::*)()' to 'int structure::*' is not allowed}} 2329cc11e70031365972424b43f439021d88096b146Sebastian Redl} 233