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