blob: 87df61cbc7b2c654426ba1f1897708eb43fdc22e [file] [log] [blame]
Daniel Dunbar8fbe78f2009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Charles Li542f04c2015-11-11 19:34:47 +00002// RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s
3// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
Douglas Gregor08d918a2008-10-24 15:36:09 +00004
Sebastian Redlb44ab5f2009-01-26 22:19:12 +00005struct A {};
6
Douglas Gregor08d918a2008-10-24 15:36:09 +00007// See if aliasing can confuse this baby.
8typedef char c;
9typedef c *cp;
10typedef cp *cpp;
11typedef cpp *cppp;
12typedef cppp &cpppr;
13typedef const cppp &cpppcr;
14typedef const char cc;
15typedef cc *ccp;
16typedef volatile ccp ccvp;
17typedef ccvp *ccvpp;
18typedef const volatile ccvpp ccvpcvp;
19typedef ccvpcvp *ccvpcvpp;
20typedef int iar[100];
21typedef iar &iarr;
22typedef int (*f)(int);
23
24char ***good_const_cast_test(ccvpcvpp var)
25{
26 // Cast away deep consts and volatiles.
27 char ***var2 = const_cast<cppp>(var);
Sebastian Redl5c009822008-10-29 19:45:21 +000028 char ***const &var3 = var2;
Douglas Gregor08d918a2008-10-24 15:36:09 +000029 // Const reference to reference.
30 char ***&var4 = const_cast<cpppr>(var3);
31 // Drop reference. Intentionally without qualifier change.
32 char *** var5 = const_cast<cppp>(var4);
Chandler Carruth585fb1e2009-12-29 08:05:19 +000033 // Const array to array reference.
Douglas Gregor08d918a2008-10-24 15:36:09 +000034 const int ar[100] = {0};
Chandler Carruth585fb1e2009-12-29 08:05:19 +000035 int (&rar)[100] = const_cast<iarr>(ar);
Douglas Gregor08d918a2008-10-24 15:36:09 +000036 // Array decay. Intentionally without qualifier change.
37 int *pi = const_cast<int*>(ar);
38 f fp = 0;
39 // Don't misidentify fn** as a function pointer.
40 f *fpp = const_cast<f*>(&fp);
Sebastian Redlb44ab5f2009-01-26 22:19:12 +000041 int const A::* const A::*icapcap = 0;
42 int A::* A::* iapap = const_cast<int A::* A::*>(icapcap);
Charles Li542f04c2015-11-11 19:34:47 +000043 (void)const_cast<A&&>(A());
44#if __cplusplus <= 199711L // C++03 or earlier modes
45 // expected-warning@-2 {{rvalue references are a C++11 extension}}
46#endif
Douglas Gregor08d918a2008-10-24 15:36:09 +000047 return var4;
48}
49
50short *bad_const_cast_test(char const *volatile *const volatile *var)
51{
52 // Different pointer levels.
Chris Lattner53fa0492010-09-05 00:04:01 +000053 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 +000054 // Different final type.
Chris Lattner53fa0492010-09-05 00:04:01 +000055 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 +000056 // Rvalue to reference.
57 char ***&var4 = const_cast<cpppr>(&var2); // expected-error {{const_cast from rvalue to reference type 'cpppr'}}
58 // Non-pointer.
59 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}}
60 const int *ar[100] = {0};
61 // Not even lenient g++ accepts this.
Chris Lattner53fa0492010-09-05 00:04:01 +000062 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 +000063 f fp1 = 0;
64 // Function pointers.
Chris Lattner810d3302009-02-19 23:45:49 +000065 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 +000066 void (A::*mfn)() = 0;
Alp Toker6ed72512013-12-14 01:07:05 +000067 (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}}
Charles Li542f04c2015-11-11 19:34:47 +000068 (void)const_cast<int&&>(0); // expected-error {{const_cast from rvalue to reference type 'int &&'}}
69#if __cplusplus <= 199711L // C++03 or earlier modes
70 // expected-warning@-2 {{rvalue references are a C++11 extension}}
71#endif
Douglas Gregor08d918a2008-10-24 15:36:09 +000072 return **var3;
73}
David Majnemere64941f2014-12-16 00:46:30 +000074
75template <typename T>
76char *PR21845() { return const_cast<char *>((void)T::x); } // expected-error {{const_cast from 'void' to 'char *' is not allowed}}