new-delete.cpp revision 4a73ea9c4e87aa111901f3c27b08f0571b58a4cf
10a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton// RUN: %clang_cc1 -fsyntax-only -verify %s 20a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton 30a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton#include <stddef.h> 40a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton 50a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonstruct S // expected-note {{candidate}} 60a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton{ 70a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton S(int, int, double); // expected-note {{candidate}} 80a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton S(double, int); // expected-note 2 {{candidate}} 90a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton S(float, int); // expected-note 2 {{candidate}} 100a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton}; 110a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonstruct T; // expected-note{{forward declaration of 'struct T'}} 120a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonstruct U 130a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton{ 140a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton // A special new, to verify that the global version isn't used. 150a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton void* operator new(size_t, S*); // expected-note {{candidate}} 160a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton}; 170a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonstruct V : U 180a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton{ 190a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton}; 200a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton 210a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton// PR5823 220a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonvoid* operator new(const size_t); // expected-note 2 {{candidate}} 230a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonvoid* operator new(size_t, int*); // expected-note 3 {{candidate}} 240a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonvoid* operator new(size_t, float*); // expected-note 3 {{candidate}} 250a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonvoid* operator new(size_t, S); // expected-note 2 {{candidate}} 260a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton 270a7f75f9e375911ca91a884968b0efa36f18588dGreg Claytonvoid good_news() 280a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton{ 290a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton int *pi = new int; 300a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton float *pf = new (pi) float(); 310a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton pi = new int(1); 320a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton pi = new int('c'); 330a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton const int *pci = new const int(); 34b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda S *ps = new S(1, 2, 3.4); 35b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda ps = new (pf) (S)(1, 2, 3.4); 36b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda S *(*paps)[2] = new S*[*pi][2]; 37b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda ps = new (S[3])(1, 2, 3.4); 38b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda typedef int ia4[4]; 39b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda ia4 *pai = new (int[3][4]); 40b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda pi = ::new int; 41b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda U *pu = new (ps) U; 42b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda V *pv = new (ps) V; 43b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 44b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda pi = new (S(1.0f, 2)) int; 45b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 46b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int[true]; 47b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda} 48b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 49b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendastruct abstract { 50b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda virtual ~abstract() = 0; 51b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda}; 52b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 53b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendavoid bad_news(int *ip) 54b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda{ 55b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda int i = 1; 56b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new; // expected-error {{missing type specifier}} 57b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new 4; // expected-error {{missing type specifier}} 58b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new () int; // expected-error {{expected expression}} 59b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int[1.1]; // expected-error {{array size expression must have integral or enumerated type, not 'double'}} 60b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int[1][i]; // expected-error {{only the first dimension}} 61b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new (int[1][i]); // expected-error {{only the first dimension}} 62b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new (int[i]); // expected-error {{when type is in parentheses}} 63b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int(*(S*)0); // expected-error {{no viable conversion from 'struct S' to 'int'}} 64b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int(1, 2); // expected-error {{excess elements in scalar initializer}} 65b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new S(1); // expected-error {{no matching constructor}} 66b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new S(1, 1); // expected-error {{call to constructor of 'struct S' is ambiguous}} 67b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new const int; // expected-error {{default initialization of an object of const type 'int const'}} 68b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new float*(ip); // expected-error {{cannot initialize a new value of type 'float *' with an lvalue of type 'int *'}} 69b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda // Undefined, but clang should reject it directly. 70b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int[-1]; // expected-error {{array size is negative}} 71b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int[*(S*)0]; // expected-error {{array size expression must have integral or enumerated type, not 'struct S'}} 72b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)::S::new int; // expected-error {{expected unqualified-id}} 73b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new (0, 0) int; // expected-error {{no matching function for call to 'operator new'}} 74b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new (0L) int; // expected-error {{call to 'operator new' is ambiguous}} 75b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda // This must fail, because the member version shouldn't be found. 76b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)::new ((S*)0) U; // expected-error {{no matching function for call to 'operator new'}} 77b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda // This must fail, because any member version hides all global versions. 78b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new U; // expected-error {{no matching function for call to 'operator new'}} 79b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new (int[]); // expected-error {{array size must be specified in new expressions}} 80b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda (void)new int&; // expected-error {{cannot allocate reference type 'int &' with new}} 81b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda // Some lacking cases due to lack of sema support. 82b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda} 83b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 84b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendavoid good_deletes() 85b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda{ 86b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete (int*)0; 87b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete [](int*)0; 88b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete (S*)0; 89b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda ::delete (int*)0; 90b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda} 91b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 92b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendavoid bad_deletes() 93b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda{ 94b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete 0; // expected-error {{cannot delete expression of type 'int'}} 95b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete [0] (int*)0; // expected-error {{expected ']'}} \ 96b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda // expected-note {{to match this '['}} 97b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete (void*)0; // expected-error {{cannot delete expression}} 98b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete (T*)0; // expected-warning {{deleting pointer to incomplete type}} 99b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda ::S::delete (int*)0; // expected-error {{expected unqualified-id}} 100b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda} 101b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 102b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendastruct X0 { }; 103b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 104b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendastruct X1 { 105b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda operator int*(); 106b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda operator float(); 107b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda}; 108b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 109b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendastruct X2 { 110b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda operator int*(); // expected-note {{candidate function}} 111b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda operator float*(); // expected-note {{candidate function}} 112b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda}; 113b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 114b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendavoid test_delete_conv(X0 x0, X1 x1, X2 x2) { 115b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete x0; // expected-error{{cannot delete}} 116b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete x1; 117b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete x2; // expected-error{{ambiguous conversion of delete expression of type 'struct X2' to a pointer}} 118b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda} 119b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 120b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda// PR4782 121b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendaclass X3 { 122b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendapublic: 123b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda static void operator delete(void * mem, size_t size); 124b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda}; 125b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 126b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendaclass X4 { 127b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendapublic: 128b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda static void release(X3 *x); 129b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda static void operator delete(void * mem, size_t size); 130b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda}; 131b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 132b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 133b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendavoid X4::release(X3 *x) { 134b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda delete x; 135b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda} 136b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 137b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendaclass X5 { 138b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendapublic: 139b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda void Destroy() const { delete this; } 140b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda}; 141b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda 142b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendaclass Base { 143b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molendapublic: 144b649f7f34951e7495b33dbb4c2e240866941bb37Jason Molenda static void *operator new(signed char) throw(); // expected-error {{'operator new' takes type size_t}} 1450a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton static int operator new[] (size_t) throw(); // expected-error {{operator new[]' must return type 'void *'}} 1460a7f75f9e375911ca91a884968b0efa36f18588dGreg Clayton}; 147 148class Tier {}; 149class Comp : public Tier {}; 150 151class Thai : public Base { 152public: 153 Thai(const Tier *adoptDictionary); 154}; 155 156void loadEngineFor() { 157 const Comp *dict; 158 new Thai(dict); 159} 160 161template <class T> struct TBase { 162 void* operator new(T size, int); // expected-error {{'operator new' cannot take a dependent type as first parameter; use size_t}}\ 163 // expected-error {{'operator new' takes type size_t}} 164}; 165 166// FIXME: We should not try to instantiate operator new, since it is invalid. 167TBase<int> t1; // expected-note {{in instantiation of template class 'struct TBase<int>' requested here}} 168 169class X6 { 170public: 171 static void operator delete(void*, int); // expected-note {{member found by ambiguous name lookup}} 172}; 173 174class X7 { 175public: 176 static void operator delete(void*, int); // expected-note {{member found by ambiguous name lookup}} 177}; 178 179class X8 : public X6, public X7 { 180}; 181 182void f(X8 *x8) { 183 delete x8; // expected-error {{member 'operator delete' found in multiple base classes of different types}} 184} 185 186class X9 { 187 static void operator delete(void*, int); // expected-note {{'operator delete' declared here}} 188 static void operator delete(void*, float); // expected-note {{'operator delete' declared here}} 189}; 190 191void f(X9 *x9) { 192 delete x9; // expected-error {{no suitable member 'operator delete' in 'X9'}} 193} 194 195struct X10 { 196 virtual ~X10(); 197}; 198 199struct X11 : X10 { // expected-error {{no suitable member 'operator delete' in 'X11'}} 200 void operator delete(void*, int); // expected-note {{'operator delete' declared here}} 201}; 202 203void f() { 204 X11 x11; // expected-note {{implicit default destructor for 'struct X11' first required here}} 205} 206 207struct X12 { 208 void* operator new(size_t, void*); 209}; 210 211struct X13 : X12 { 212 using X12::operator new; 213}; 214 215static void* f(void* g) 216{ 217 return new (g) X13(); 218} 219 220namespace PR5918 { // Look for template operator new overloads. 221 struct S { template<typename T> static void* operator new(size_t, T); }; 222 void test() { 223 (void)new(0) S; 224 } 225} 226