Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 2 | |
Sebastian Redl | f20269b | 2009-01-26 22:19:12 +0000 | [diff] [blame] | 3 | struct A {}; |
| 4 | |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 5 | // See if aliasing can confuse this baby. |
| 6 | typedef char c; |
| 7 | typedef c *cp; |
| 8 | typedef cp *cpp; |
| 9 | typedef cpp *cppp; |
| 10 | typedef cppp &cpppr; |
| 11 | typedef const cppp &cpppcr; |
| 12 | typedef const char cc; |
| 13 | typedef cc *ccp; |
| 14 | typedef volatile ccp ccvp; |
| 15 | typedef ccvp *ccvpp; |
| 16 | typedef const volatile ccvpp ccvpcvp; |
| 17 | typedef ccvpcvp *ccvpcvpp; |
| 18 | typedef int iar[100]; |
| 19 | typedef iar &iarr; |
| 20 | typedef int (*f)(int); |
| 21 | |
| 22 | char ***good_const_cast_test(ccvpcvpp var) |
| 23 | { |
| 24 | // Cast away deep consts and volatiles. |
| 25 | char ***var2 = const_cast<cppp>(var); |
Sebastian Redl | 2a72f7b | 2008-10-29 19:45:21 +0000 | [diff] [blame] | 26 | char ***const &var3 = var2; |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 27 | // 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 Carruth | 595e290 | 2009-12-29 08:05:19 +0000 | [diff] [blame] | 31 | // Const array to array reference. |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 32 | const int ar[100] = {0}; |
Chandler Carruth | 595e290 | 2009-12-29 08:05:19 +0000 | [diff] [blame] | 33 | int (&rar)[100] = const_cast<iarr>(ar); |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 34 | // 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 Redl | f20269b | 2009-01-26 22:19:12 +0000 | [diff] [blame] | 39 | int const A::* const A::*icapcap = 0; |
| 40 | int A::* A::* iapap = const_cast<int A::* A::*>(icapcap); |
| 41 | |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 42 | return var4; |
| 43 | } |
| 44 | |
| 45 | short *bad_const_cast_test(char const *volatile *const volatile *var) |
| 46 | { |
| 47 | // Different pointer levels. |
Chris Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 48 | char **var2 = const_cast<char**>(var); // expected-error {{const_cast from 'const char *volatile *const volatile *' to 'char **' is not allowed}} |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 49 | // Different final type. |
Chris Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 50 | short ***var3 = const_cast<short***>(var); // expected-error {{const_cast from 'const char *volatile *const volatile *' to 'short ***' is not allowed}} |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 51 | // 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 Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 57 | int *(*rar)[100] = const_cast<int *(*)[100]>(&ar); // expected-error {{const_cast from 'const int *(*)[100]' to 'int *(*)[100]' is not allowed}} |
Douglas Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 58 | f fp1 = 0; |
| 59 | // Function pointers. |
Chris Lattner | d0344a4 | 2009-02-19 23:45:49 +0000 | [diff] [blame] | 60 | 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 Redl | f20269b | 2009-01-26 22:19:12 +0000 | [diff] [blame] | 61 | void (A::*mfn)() = 0; |
John McCall | 7c2342d | 2010-03-10 11:27:22 +0000 | [diff] [blame] | 62 | (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 Gregor | 2f639b9 | 2008-10-24 15:36:09 +0000 | [diff] [blame] | 63 | return **var3; |
| 64 | } |