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 } 198
