blob: 62851f81280f4402c265b70d6f09e19376b5b4a6 [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Douglas Gregor2f639b92008-10-24 15:36:09 +00002
Sebastian Redlf20269b2009-01-26 22:19:12 +00003struct A {};
4
Douglas Gregor2f639b92008-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 Redl2a72f7b2008-10-29 19:45:21 +000026 char ***const &var3 = var2;
Douglas Gregor2f639b92008-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 Carruth595e2902009-12-29 08:05:19 +000031 // Const array to array reference.
Douglas Gregor2f639b92008-10-24 15:36:09 +000032 const int ar[100] = {0};
Chandler Carruth595e2902009-12-29 08:05:19 +000033 int (&rar)[100] = const_cast<iarr>(ar);
Douglas Gregor2f639b92008-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 Redlf20269b2009-01-26 22:19:12 +000039 int const A::* const A::*icapcap = 0;
40 int A::* A::* iapap = const_cast<int A::* A::*>(icapcap);
41
Douglas Gregor2f639b92008-10-24 15:36:09 +000042 return var4;
43}
44
45short *bad_const_cast_test(char const *volatile *const volatile *var)
46{
47 // Different pointer levels.
Chris Lattner58f9e132010-09-05 00:04:01 +000048 char **var2 = const_cast<char**>(var); // expected-error {{const_cast from 'const char *volatile *const volatile *' to 'char **' is not allowed}}
Douglas Gregor2f639b92008-10-24 15:36:09 +000049 // Different final type.
Chris Lattner58f9e132010-09-05 00:04:01 +000050 short ***var3 = const_cast<short***>(var); // expected-error {{const_cast from 'const char *volatile *const volatile *' to 'short ***' is not allowed}}
Douglas Gregor2f639b92008-10-24 15:36:09 +000051 // Rvalue to reference.
52 char ***&var4 = const_cast<cpppr>(&var2); // expected-error {{const_cast from rvalue to reference type 'cpppr'}}
53 // Non-pointer.
54 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}}
55 const int *ar[100] = {0};
56 // Not even lenient g++ accepts this.
Chris Lattner58f9e132010-09-05 00:04:01 +000057 int *(*rar)[100] = const_cast<int *(*)[100]>(&ar); // expected-error {{const_cast from 'const int *(*)[100]' to 'int *(*)[100]' is not allowed}}
Douglas Gregor2f639b92008-10-24 15:36:09 +000058 f fp1 = 0;
59 // Function pointers.
Chris Lattnerd0344a42009-02-19 23:45:49 +000060 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 Redlf20269b2009-01-26 22:19:12 +000061 void (A::*mfn)() = 0;
John McCall7c2342d2010-03-10 11:27:22 +000062 (void)const_cast<void (A::*)()>(mfn); // expected-error {{const_cast to 'void (A::*)()', which is not a reference, pointer-to-object, or pointer-to-data-member}}
Douglas Gregor2f639b92008-10-24 15:36:09 +000063 return **var3;
64}