blob: 330e18661b197496a5b4cefbe90d6df16b9d98fa [file] [log] [blame]
Daniel Dunbar8fbe78f2009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Douglas Gregor08d918a2008-10-24 15:36:09 +00002
Sebastian Redlb44ab5f2009-01-26 22:19:12 +00003struct A {};
4
Douglas Gregor08d918a2008-10-24 15:36:09 +00005// See if aliasing can confuse this baby.
6typedef char c;
7typedef c *cp;
8typedef cp *cpp;
9typedef cpp *cppp;
10typedef cppp &cpppr;
11typedef const cppp &cpppcr;
12typedef const char cc;
13typedef cc *ccp;
14typedef volatile ccp ccvp;
15typedef ccvp *ccvpp;
16typedef const volatile ccvpp ccvpcvp;
17typedef ccvpcvp *ccvpcvpp;
18typedef int iar[100];
19typedef iar &iarr;
20typedef int (*f)(int);
21
22char ***good_const_cast_test(ccvpcvpp var)
23{
24 // Cast away deep consts and volatiles.
25 char ***var2 = const_cast<cppp>(var);
Sebastian Redl5c009822008-10-29 19:45:21 +000026 char ***const &var3 = var2;
Douglas Gregor08d918a2008-10-24 15:36:09 +000027 // Const reference to reference.
28 char ***&var4 = const_cast<cpppr>(var3);
29 // Drop reference. Intentionally without qualifier change.
30 char *** var5 = const_cast<cppp>(var4);
Chandler Carruth585fb1e2009-12-29 08:05:19 +000031 // Const array to array reference.
Douglas Gregor08d918a2008-10-24 15:36:09 +000032 const int ar[100] = {0};
Chandler Carruth585fb1e2009-12-29 08:05:19 +000033 int (&rar)[100] = const_cast<iarr>(ar);
Douglas Gregor08d918a2008-10-24 15:36:09 +000034 // Array decay. Intentionally without qualifier change.
35 int *pi = const_cast<int*>(ar);
36 f fp = 0;
37 // Don't misidentify fn** as a function pointer.
38 f *fpp = const_cast<f*>(&fp);
Sebastian Redlb44ab5f2009-01-26 22:19:12 +000039 int const A::* const A::*icapcap = 0;
40 int A::* A::* iapap = const_cast<int A::* A::*>(icapcap);
Richard Smith82c9b512013-06-14 22:27:52 +000041 (void)const_cast<A&&>(A()); // expected-warning {{C++11}}
Sebastian Redlb44ab5f2009-01-26 22:19:12 +000042
Douglas Gregor08d918a2008-10-24 15:36:09 +000043 return var4;
44}
45
46short *bad_const_cast_test(char const *volatile *const volatile *var)
47{
48 // Different pointer levels.
Chris Lattner53fa0492010-09-05 00:04:01 +000049 char **var2 = const_cast<char**>(var); // expected-error {{const_cast from 'const char *volatile *const volatile *' to 'char **' is not allowed}}
Douglas Gregor08d918a2008-10-24 15:36:09 +000050 // Different final type.
Chris Lattner53fa0492010-09-05 00:04:01 +000051 short ***var3 = const_cast<short***>(var); // expected-error {{const_cast from 'const char *volatile *const volatile *' to 'short ***' is not allowed}}
Douglas Gregor08d918a2008-10-24 15:36:09 +000052 // Rvalue to reference.
53 char ***&var4 = const_cast<cpppr>(&var2); // expected-error {{const_cast from rvalue to reference type 'cpppr'}}
54 // Non-pointer.
55 char v = const_cast<char>(**var2); // expected-error {{const_cast to 'char', which is not a reference, pointer-to-object, or pointer-to-data-member}}
56 const int *ar[100] = {0};
57 // Not even lenient g++ accepts this.
Chris Lattner53fa0492010-09-05 00:04:01 +000058 int *(*rar)[100] = const_cast<int *(*)[100]>(&ar); // expected-error {{const_cast from 'const int *(*)[100]' to 'int *(*)[100]' is not allowed}}
Douglas Gregor08d918a2008-10-24 15:36:09 +000059 f fp1 = 0;
60 // Function pointers.
Chris Lattner810d3302009-02-19 23:45:49 +000061 f fp2 = const_cast<f>(fp1); // expected-error {{const_cast to 'f' (aka 'int (*)(int)'), which is not a reference, pointer-to-object, or pointer-to-data-member}}
Sebastian Redlb44ab5f2009-01-26 22:19:12 +000062 void (A::*mfn)() = 0;
Alp Toker6ed72512013-12-14 01:07:05 +000063 (void)const_cast<void (A::*)()>(mfn); // expected-error-re {{const_cast to 'void (A::*)(){{( __attribute__\(\(thiscall\)\))?}}', which is not a reference, pointer-to-object, or pointer-to-data-member}}
Richard Smith82c9b512013-06-14 22:27:52 +000064 (void)const_cast<int&&>(0); // expected-error {{const_cast from rvalue to reference type 'int &&'}} expected-warning {{C++11}}
Douglas Gregor08d918a2008-10-24 15:36:09 +000065 return **var3;
66}
David Majnemere64941f2014-12-16 00:46:30 +000067
68template <typename T>
69char *PR21845() { return const_cast<char *>((void)T::x); } // expected-error {{const_cast from 'void' to 'char *' is not allowed}}