Douglas Gregor | d4c5f84 | 2011-04-15 17:59:54 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | |
| 3 | // This test checks for the various conversions and casting operations |
| 4 | // with address-space-qualified pointers. |
| 5 | |
| 6 | struct A { virtual ~A() {} }; |
| 7 | struct B : A { }; |
| 8 | |
| 9 | typedef void *void_ptr; |
| 10 | typedef void __attribute__((address_space(1))) *void_ptr_1; |
| 11 | typedef void __attribute__((address_space(2))) *void_ptr_2; |
| 12 | |
| 13 | typedef int *int_ptr; |
| 14 | typedef int __attribute__((address_space(1))) *int_ptr_1; |
| 15 | typedef int __attribute__((address_space(2))) *int_ptr_2; |
| 16 | |
| 17 | typedef A *A_ptr; |
| 18 | typedef A __attribute__((address_space(1))) *A_ptr_1; |
| 19 | typedef A __attribute__((address_space(2))) *A_ptr_2; |
| 20 | |
| 21 | typedef B *B_ptr; |
| 22 | typedef B __attribute__((address_space(1))) *B_ptr_1; |
| 23 | typedef B __attribute__((address_space(2))) *B_ptr_2; |
| 24 | |
| 25 | void test_const_cast(int_ptr ip, int_ptr_1 ip1, int_ptr_2 ip2, |
| 26 | A_ptr ap, A_ptr_1 ap1, A_ptr_2 ap2, |
| 27 | const int *cip, |
| 28 | const int __attribute__((address_space(1))) *cip1) { |
| 29 | // Cannot use const_cast to cast between address spaces, add an |
| 30 | // address space, or remove an address space. |
| 31 | (void)const_cast<int_ptr>(ip1); // expected-error{{is not allowed}} |
| 32 | (void)const_cast<int_ptr>(ip2); // expected-error{{is not allowed}} |
| 33 | (void)const_cast<int_ptr_1>(ip); // expected-error{{is not allowed}} |
| 34 | (void)const_cast<int_ptr_1>(ip2); // expected-error{{is not allowed}} |
| 35 | (void)const_cast<int_ptr_2>(ip); // expected-error{{is not allowed}} |
| 36 | (void)const_cast<int_ptr_2>(ip1); // expected-error{{is not allowed}} |
| 37 | |
| 38 | (void)const_cast<A_ptr>(ap1); // expected-error{{is not allowed}} |
| 39 | (void)const_cast<A_ptr>(ap2); // expected-error{{is not allowed}} |
| 40 | (void)const_cast<A_ptr_1>(ap); // expected-error{{is not allowed}} |
| 41 | (void)const_cast<A_ptr_1>(ap2); // expected-error{{is not allowed}} |
| 42 | (void)const_cast<A_ptr_2>(ap); // expected-error{{is not allowed}} |
| 43 | (void)const_cast<A_ptr_2>(ap1); // expected-error{{is not allowed}} |
| 44 | |
| 45 | // It's acceptable to cast away constness. |
| 46 | (void)const_cast<int_ptr>(cip); |
| 47 | (void)const_cast<int_ptr_1>(cip1); |
| 48 | } |
| 49 | |
| 50 | void test_static_cast(void_ptr vp, void_ptr_1 vp1, void_ptr_2 vp2, |
| 51 | A_ptr ap, A_ptr_1 ap1, A_ptr_2 ap2, |
| 52 | B_ptr bp, B_ptr_1 bp1, B_ptr_2 bp2) { |
| 53 | // Well-formed upcast |
| 54 | (void)static_cast<A_ptr>(bp); |
| 55 | (void)static_cast<A_ptr_1>(bp1); |
| 56 | (void)static_cast<A_ptr_2>(bp2); |
| 57 | |
| 58 | // Well-formed downcast |
| 59 | (void)static_cast<B_ptr>(ap); |
| 60 | (void)static_cast<B_ptr_1>(ap1); |
| 61 | (void)static_cast<B_ptr_2>(ap2); |
| 62 | |
| 63 | // Well-formed cast to/from void |
| 64 | (void)static_cast<void_ptr>(ap); |
| 65 | (void)static_cast<void_ptr_1>(ap1); |
| 66 | (void)static_cast<void_ptr_2>(ap2); |
| 67 | (void)static_cast<A_ptr>(vp); |
| 68 | (void)static_cast<A_ptr_1>(vp1); |
| 69 | (void)static_cast<A_ptr_2>(vp2); |
| 70 | |
| 71 | // Ill-formed upcasts |
| 72 | (void)static_cast<A_ptr>(bp1); // expected-error{{is not allowed}} |
| 73 | (void)static_cast<A_ptr>(bp2); // expected-error{{is not allowed}} |
| 74 | (void)static_cast<A_ptr_1>(bp); // expected-error{{is not allowed}} |
| 75 | (void)static_cast<A_ptr_1>(bp2); // expected-error{{is not allowed}} |
| 76 | (void)static_cast<A_ptr_2>(bp); // expected-error{{is not allowed}} |
| 77 | (void)static_cast<A_ptr_2>(bp1); // expected-error{{is not allowed}} |
| 78 | |
| 79 | // Ill-formed downcasts |
| 80 | (void)static_cast<B_ptr>(ap1); // expected-error{{casts away qualifiers}} |
| 81 | (void)static_cast<B_ptr>(ap2); // expected-error{{casts away qualifiers}} |
| 82 | (void)static_cast<B_ptr_1>(ap); // expected-error{{casts away qualifiers}} |
| 83 | (void)static_cast<B_ptr_1>(ap2); // expected-error{{casts away qualifiers}} |
| 84 | (void)static_cast<B_ptr_2>(ap); // expected-error{{casts away qualifiers}} |
| 85 | (void)static_cast<B_ptr_2>(ap1); // expected-error{{casts away qualifiers}} |
| 86 | |
| 87 | // Ill-formed cast to/from void |
| 88 | (void)static_cast<void_ptr>(ap1); // expected-error{{is not allowed}} |
| 89 | (void)static_cast<void_ptr>(ap2); // expected-error{{is not allowed}} |
| 90 | (void)static_cast<void_ptr_1>(ap); // expected-error{{is not allowed}} |
| 91 | (void)static_cast<void_ptr_1>(ap2); // expected-error{{is not allowed}} |
| 92 | (void)static_cast<void_ptr_2>(ap); // expected-error{{is not allowed}} |
| 93 | (void)static_cast<void_ptr_2>(ap1); // expected-error{{is not allowed}} |
| 94 | (void)static_cast<A_ptr>(vp1); // expected-error{{casts away qualifiers}} |
| 95 | (void)static_cast<A_ptr>(vp2); // expected-error{{casts away qualifiers}} |
| 96 | (void)static_cast<A_ptr_1>(vp); // expected-error{{casts away qualifiers}} |
| 97 | (void)static_cast<A_ptr_1>(vp2); // expected-error{{casts away qualifiers}} |
| 98 | (void)static_cast<A_ptr_2>(vp); // expected-error{{casts away qualifiers}} |
| 99 | (void)static_cast<A_ptr_2>(vp1); // expected-error{{casts away qualifiers}} |
| 100 | } |
| 101 | |
| 102 | void test_dynamic_cast(A_ptr ap, A_ptr_1 ap1, A_ptr_2 ap2, |
| 103 | B_ptr bp, B_ptr_1 bp1, B_ptr_2 bp2) { |
| 104 | // Well-formed upcast |
| 105 | (void)dynamic_cast<A_ptr>(bp); |
| 106 | (void)dynamic_cast<A_ptr_1>(bp1); |
| 107 | (void)dynamic_cast<A_ptr_2>(bp2); |
| 108 | |
| 109 | // Well-formed downcast |
| 110 | (void)dynamic_cast<B_ptr>(ap); |
| 111 | (void)dynamic_cast<B_ptr_1>(ap1); |
| 112 | (void)dynamic_cast<B_ptr_2>(ap2); |
| 113 | |
| 114 | // Ill-formed upcasts |
| 115 | (void)dynamic_cast<A_ptr>(bp1); // expected-error{{casts away qualifiers}} |
| 116 | (void)dynamic_cast<A_ptr>(bp2); // expected-error{{casts away qualifiers}} |
| 117 | (void)dynamic_cast<A_ptr_1>(bp); // expected-error{{casts away qualifiers}} |
| 118 | (void)dynamic_cast<A_ptr_1>(bp2); // expected-error{{casts away qualifiers}} |
| 119 | (void)dynamic_cast<A_ptr_2>(bp); // expected-error{{casts away qualifiers}} |
| 120 | (void)dynamic_cast<A_ptr_2>(bp1); // expected-error{{casts away qualifiers}} |
| 121 | |
| 122 | // Ill-formed downcasts |
| 123 | (void)dynamic_cast<B_ptr>(ap1); // expected-error{{casts away qualifiers}} |
| 124 | (void)dynamic_cast<B_ptr>(ap2); // expected-error{{casts away qualifiers}} |
| 125 | (void)dynamic_cast<B_ptr_1>(ap); // expected-error{{casts away qualifiers}} |
| 126 | (void)dynamic_cast<B_ptr_1>(ap2); // expected-error{{casts away qualifiers}} |
| 127 | (void)dynamic_cast<B_ptr_2>(ap); // expected-error{{casts away qualifiers}} |
| 128 | (void)dynamic_cast<B_ptr_2>(ap1); // expected-error{{casts away qualifiers}} |
| 129 | } |
| 130 | |
| 131 | void test_reinterpret_cast(void_ptr vp, void_ptr_1 vp1, void_ptr_2 vp2, |
| 132 | A_ptr ap, A_ptr_1 ap1, A_ptr_2 ap2, |
| 133 | B_ptr bp, B_ptr_1 bp1, B_ptr_2 bp2, |
| 134 | const void __attribute__((address_space(1))) *cvp1) { |
| 135 | // reinterpret_cast can be used to cast to a different address space. |
| 136 | (void)reinterpret_cast<A_ptr>(ap1); |
| 137 | (void)reinterpret_cast<A_ptr>(ap2); |
| 138 | (void)reinterpret_cast<A_ptr>(bp); |
| 139 | (void)reinterpret_cast<A_ptr>(bp1); |
| 140 | (void)reinterpret_cast<A_ptr>(bp2); |
| 141 | (void)reinterpret_cast<A_ptr>(vp); |
| 142 | (void)reinterpret_cast<A_ptr>(vp1); |
| 143 | (void)reinterpret_cast<A_ptr>(vp2); |
| 144 | (void)reinterpret_cast<A_ptr_1>(ap); |
| 145 | (void)reinterpret_cast<A_ptr_1>(ap2); |
| 146 | (void)reinterpret_cast<A_ptr_1>(bp); |
| 147 | (void)reinterpret_cast<A_ptr_1>(bp1); |
| 148 | (void)reinterpret_cast<A_ptr_1>(bp2); |
| 149 | (void)reinterpret_cast<A_ptr_1>(vp); |
| 150 | (void)reinterpret_cast<A_ptr_1>(vp1); |
| 151 | (void)reinterpret_cast<A_ptr_1>(vp2); |
| 152 | |
| 153 | // ... but don't try to cast away constness! |
| 154 | (void)reinterpret_cast<A_ptr_2>(cvp1); // expected-error{{casts away qualifiers}} |
| 155 | } |
| 156 | |
| 157 | void test_cstyle_cast(void_ptr vp, void_ptr_1 vp1, void_ptr_2 vp2, |
| 158 | A_ptr ap, A_ptr_1 ap1, A_ptr_2 ap2, |
| 159 | B_ptr bp, B_ptr_1 bp1, B_ptr_2 bp2, |
| 160 | const void __attribute__((address_space(1))) *cvp1) { |
| 161 | // C-style casts are the wild west of casts. |
| 162 | (void)(A_ptr)(ap1); |
| 163 | (void)(A_ptr)(ap2); |
| 164 | (void)(A_ptr)(bp); |
| 165 | (void)(A_ptr)(bp1); |
| 166 | (void)(A_ptr)(bp2); |
| 167 | (void)(A_ptr)(vp); |
| 168 | (void)(A_ptr)(vp1); |
| 169 | (void)(A_ptr)(vp2); |
| 170 | (void)(A_ptr_1)(ap); |
| 171 | (void)(A_ptr_1)(ap2); |
| 172 | (void)(A_ptr_1)(bp); |
| 173 | (void)(A_ptr_1)(bp1); |
| 174 | (void)(A_ptr_1)(bp2); |
| 175 | (void)(A_ptr_1)(vp); |
| 176 | (void)(A_ptr_1)(vp1); |
| 177 | (void)(A_ptr_1)(vp2); |
| 178 | (void)(A_ptr_2)(cvp1); |
| 179 | } |
| 180 | |
| 181 | void test_implicit_conversion(void_ptr vp, void_ptr_1 vp1, void_ptr_2 vp2, |
| 182 | A_ptr ap, A_ptr_1 ap1, A_ptr_2 ap2, |
| 183 | B_ptr bp, B_ptr_1 bp1, B_ptr_2 bp2) { |
| 184 | // Well-formed conversions |
| 185 | void_ptr vpA = ap; |
| 186 | void_ptr_1 vp_1A = ap1; |
| 187 | void_ptr_2 vp_2A = ap2; |
| 188 | A_ptr ap_A = bp; |
| 189 | A_ptr_1 ap_A1 = bp1; |
| 190 | A_ptr_2 ap_A2 = bp2; |
| 191 | |
| 192 | // Ill-formed conversions |
| 193 | void_ptr vpB = ap1; // expected-error{{cannot initialize a variable of type}} |
| 194 | void_ptr_1 vp_1B = ap2; // expected-error{{cannot initialize a variable of type}} |
| 195 | A_ptr ap_B = bp1; // expected-error{{cannot initialize a variable of type}} |
| 196 | A_ptr_1 ap_B1 = bp2; // expected-error{{cannot initialize a variable of type}} |
| 197 | } |