new-delete.cpp revision f39aec17b89f8f0dd78e78c50ad2fa08f12272e3
10b458fd8b6321c11e8b22727e0e9b9960e93ff4dRichard Smith// RUN: %clang_cc1 -fsyntax-only -verify %s -triple=i686-pc-linux-gnu 2c83ed049af2a2ed7ab94b8206fc0fec4da7e26dbDouglas Gregor 3b5a57a69e5fdac6dd9a92be717e279486c4a0128Sebastian Redl#include <stddef.h> 4b5a57a69e5fdac6dd9a92be717e279486c4a0128Sebastian Redl 54c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlstruct S // expected-note {{candidate}} 64c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 74c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl S(int, int, double); // expected-note {{candidate}} 83cb069213c8502dbb7a67860d40122d869ed8fd6Sebastian Redl S(double, int); // expected-note 2 {{candidate}} 93cb069213c8502dbb7a67860d40122d869ed8fd6Sebastian Redl S(float, int); // expected-note 2 {{candidate}} 104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 117c2342dd4c9947806842e5aca3d2bb2e542853c9John McCallstruct T; // expected-note{{forward declaration of 'T'}} 12636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redlstruct U 13636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl{ 14636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl // A special new, to verify that the global version isn't used. 159afe1308ed19dffc281dca5cfbe521826754980fSebastian Redl void* operator new(size_t, S*); // expected-note {{candidate}} 16636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl}; 177f6623914e779e41eb3d85f9a2dc3affea5de1e8Sebastian Redlstruct V : U 187f6623914e779e41eb3d85f9a2dc3affea5de1e8Sebastian Redl{ 197f6623914e779e41eb3d85f9a2dc3affea5de1e8Sebastian Redl}; 204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 216e790ab61bf4835944971955e84279112833ef0cDouglas Gregor// PR5823 226e790ab61bf4835944971955e84279112833ef0cDouglas Gregorvoid* operator new(const size_t); // expected-note 2 {{candidate}} 233cb069213c8502dbb7a67860d40122d869ed8fd6Sebastian Redlvoid* operator new(size_t, int*); // expected-note 3 {{candidate}} 243cb069213c8502dbb7a67860d40122d869ed8fd6Sebastian Redlvoid* operator new(size_t, float*); // expected-note 3 {{candidate}} 25fc27d268cb34cbb8d186c6ad7cc043d41581ce71Anders Carlssonvoid* operator new(size_t, S); // expected-note 2 {{candidate}} 26b5a57a69e5fdac6dd9a92be717e279486c4a0128Sebastian Redl 273caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregorstruct foo { }; 283caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor 294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlvoid good_news() 304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl int *pi = new int; 324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl float *pf = new (pi) float(); 334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl pi = new int(1); 344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl pi = new int('c'); 354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const int *pci = new const int(); 364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl S *ps = new S(1, 2, 3.4); 37cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl ps = new (pf) (S)(1, 2, 3.4); 384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl S *(*paps)[2] = new S*[*pi][2]; 394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef int ia4[4]; 404c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ia4 *pai = new (int[3][4]); 41fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl pi = ::new int; 42636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl U *pu = new (ps) U; 435d64e5b6bc03462e8b7d0cd804565829afb1b508Douglas Gregor V *pv = new (ps) V; 44fc27d268cb34cbb8d186c6ad7cc043d41581ce71Anders Carlsson 45fc27d268cb34cbb8d186c6ad7cc043d41581ce71Anders Carlsson pi = new (S(1.0f, 2)) int; 46ac18b2e3af8d0c5304f74e362a1d4207363e4c94Anders Carlsson 47ac18b2e3af8d0c5304f74e362a1d4207363e4c94Anders Carlsson (void)new int[true]; 483caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor 493caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor // PR7147 503caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor typedef int a[2]; 513caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor foo* f1 = new foo; 523caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor foo* f2 = new foo[2]; 533caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor typedef foo x[2]; 543caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor typedef foo y[2][2]; 553caf04ea0c01ff6822209c4621c3fa64a48029a4Douglas Gregor x* f3 = new y; 564c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 574c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 58e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregorstruct abstract { 59e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregor virtual ~abstract() = 0; 60e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregor}; 61e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregor 62c83ed049af2a2ed7ab94b8206fc0fec4da7e26dbDouglas Gregorvoid bad_news(int *ip) 634c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl int i = 1; 659fa8e569407e02148888136609431a3fe083096dNick Lewycky (void)new; // expected-error {{expected a type}} 669fa8e569407e02148888136609431a3fe083096dNick Lewycky (void)new 4; // expected-error {{expected a type}} 674c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new () int; // expected-error {{expected expression}} 68f39aec17b89f8f0dd78e78c50ad2fa08f12272e3Richard Smith (void)new int[1.1]; // expected-error {{array size expression must have integral or enumeration type, not 'double'}} 694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new int[1][i]; // expected-error {{only the first dimension}} 704c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new (int[1][i]); // expected-error {{only the first dimension}} 714bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor (void)new (int[i]); // expected-warning {{when type is in parentheses}} 727c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)new int(*(S*)0); // expected-error {{no viable conversion from 'S' to 'int'}} 7399a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor (void)new int(1, 2); // expected-error {{excess elements in scalar initializer}} 744c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new S(1); // expected-error {{no matching constructor}} 757c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)new S(1, 1); // expected-error {{call to constructor of 'S' is ambiguous}} 7658f9e13e87e57236fee4b914eea9be6f92a1c345Chris Lattner (void)new const int; // expected-error {{default initialization of an object of const type 'const int'}} 77a729bbb739ca97a8dc52b6b0495725590a0367dcAnders Carlsson (void)new float*(ip); // expected-error {{cannot initialize a new value of type 'float *' with an lvalue of type 'int *'}} 78cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Undefined, but clang should reject it directly. 79cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl (void)new int[-1]; // expected-error {{array size is negative}} 800b458fd8b6321c11e8b22727e0e9b9960e93ff4dRichard Smith (void)new int[2000000000]; // expected-error {{array is too large}} 81f39aec17b89f8f0dd78e78c50ad2fa08f12272e3Richard Smith (void)new int[*(S*)0]; // expected-error {{array size expression must have integral or enumeration type, not 'S'}} 82fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl (void)::S::new int; // expected-error {{expected unqualified-id}} 83b5a57a69e5fdac6dd9a92be717e279486c4a0128Sebastian Redl (void)new (0, 0) int; // expected-error {{no matching function for call to 'operator new'}} 847f6623914e779e41eb3d85f9a2dc3affea5de1e8Sebastian Redl (void)new (0L) int; // expected-error {{call to 'operator new' is ambiguous}} 85636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl // This must fail, because the member version shouldn't be found. 86636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl (void)::new ((S*)0) U; // expected-error {{no matching function for call to 'operator new'}} 879afe1308ed19dffc281dca5cfbe521826754980fSebastian Redl // This must fail, because any member version hides all global versions. 889afe1308ed19dffc281dca5cfbe521826754980fSebastian Redl (void)new U; // expected-error {{no matching function for call to 'operator new'}} 8900e68e2cc5ce37cb95beb801cae73c0d1e9dda37Sebastian Redl (void)new (int[]); // expected-error {{array size must be specified in new expressions}} 9000e68e2cc5ce37cb95beb801cae73c0d1e9dda37Sebastian Redl (void)new int&; // expected-error {{cannot allocate reference type 'int &' with new}} 914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Some lacking cases due to lack of sema support. 924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlvoid good_deletes() 954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 964c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (int*)0; 974c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete [](int*)0; 984c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (S*)0; 99fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl ::delete (int*)0; 1004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 1014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 1024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlvoid bad_deletes() 1034c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 1044c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete 0; // expected-error {{cannot delete expression of type 'int'}} 1054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete [0] (int*)0; // expected-error {{expected ']'}} \ 10628eb7e992b9a266abb300da25b6d3c1557cec361Chris Lattner // expected-note {{to match this '['}} 10794a615718d06704816c6e31a811f823c05e39f52Douglas Gregor delete (void*)0; // expected-warning {{cannot delete expression with pointer-to-'void' type 'void *'}} 1084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (T*)0; // expected-warning {{deleting pointer to incomplete type}} 109fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl ::S::delete (int*)0; // expected-error {{expected unqualified-id}} 1104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 1119cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1129cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorstruct X0 { }; 1139cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1149cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorstruct X1 { 1159cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor operator int*(); 1169cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor operator float(); 1179cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor}; 1189cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1199cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorstruct X2 { 120f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian operator int*(); // expected-note {{candidate function}} 121f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian operator float*(); // expected-note {{candidate function}} 1229cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor}; 1239cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1249cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorvoid test_delete_conv(X0 x0, X1 x1, X2 x2) { 1259cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor delete x0; // expected-error{{cannot delete}} 1269cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor delete x1; 1277c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall delete x2; // expected-error{{ambiguous conversion of delete expression of type 'X2' to a pointer}} 128f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian} 1299091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1309091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor// PR4782 1319091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorclass X3 { 1329091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorpublic: 1335e6214b4c7b326a83fbcf55250a95b46bdc0bb8fEli Friedman static void operator delete(void * mem, size_t size); 1349091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor}; 1359091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1369091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorclass X4 { 1379091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorpublic: 1389091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor static void release(X3 *x); 1395e6214b4c7b326a83fbcf55250a95b46bdc0bb8fEli Friedman static void operator delete(void * mem, size_t size); 1409091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor}; 1419091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1429091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1439091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorvoid X4::release(X3 *x) { 1449091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor delete x; 1459091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor} 1461070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregor 1475d64e5b6bc03462e8b7d0cd804565829afb1b508Douglas Gregorclass X5 { 1481070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregorpublic: 1491070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregor void Destroy() const { delete this; } 1501070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregor}; 151b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 152b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Base { 153b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianpublic: 154156c78e4ef14e5f7ba251554ea8f2dbec573fef3Anders Carlsson static void *operator new(signed char) throw(); // expected-error {{'operator new' takes type size_t}} 155156c78e4ef14e5f7ba251554ea8f2dbec573fef3Anders Carlsson static int operator new[] (size_t) throw(); // expected-error {{operator new[]' must return type 'void *'}} 156b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian}; 157b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 158b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Tier {}; 159b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Comp : public Tier {}; 160b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 161b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Thai : public Base { 162b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianpublic: 163b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian Thai(const Tier *adoptDictionary); 164b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian}; 165b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 166b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianvoid loadEngineFor() { 167b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian const Comp *dict; 168b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian new Thai(dict); 169b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian} 170b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 171b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahaniantemplate <class T> struct TBase { 1722fa98001f832836e3f652c211a9d2f80501d659aDouglas Gregor void* operator new(T size, int); // expected-error {{'operator new' cannot take a dependent type as first parameter; use size_t}} 173b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian}; 174b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 1752fa98001f832836e3f652c211a9d2f80501d659aDouglas GregorTBase<int> t1; 176b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 1770ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonclass X6 { 1780ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonpublic: 1790ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson static void operator delete(void*, int); // expected-note {{member found by ambiguous name lookup}} 1800ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson}; 1810ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 1820ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonclass X7 { 1830ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonpublic: 1840ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson static void operator delete(void*, int); // expected-note {{member found by ambiguous name lookup}} 1850ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson}; 1860ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 1870ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonclass X8 : public X6, public X7 { 1880ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson}; 1890ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 19050724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlssonvoid f(X8 *x8) { 1910ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson delete x8; // expected-error {{member 'operator delete' found in multiple base classes of different types}} 1920ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson} 1930ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 19450724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlssonclass X9 { 1957002f4c03c2d0544f4e8bea8d3a5636519081e35John McCallpublic: 19650724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson static void operator delete(void*, int); // expected-note {{'operator delete' declared here}} 19750724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson static void operator delete(void*, float); // expected-note {{'operator delete' declared here}} 19850724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson}; 19950724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson 20050724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlssonvoid f(X9 *x9) { 20150724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson delete x9; // expected-error {{no suitable member 'operator delete' in 'X9'}} 20250724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson} 20337909808416da93703cecc83091e2b9eab0053d6Anders Carlsson 20437909808416da93703cecc83091e2b9eab0053d6Anders Carlssonstruct X10 { 20537909808416da93703cecc83091e2b9eab0053d6Anders Carlsson virtual ~X10(); 20637909808416da93703cecc83091e2b9eab0053d6Anders Carlsson}; 20737909808416da93703cecc83091e2b9eab0053d6Anders Carlsson 20837909808416da93703cecc83091e2b9eab0053d6Anders Carlssonstruct X11 : X10 { // expected-error {{no suitable member 'operator delete' in 'X11'}} 20937909808416da93703cecc83091e2b9eab0053d6Anders Carlsson void operator delete(void*, int); // expected-note {{'operator delete' declared here}} 21037909808416da93703cecc83091e2b9eab0053d6Anders Carlsson}; 21137909808416da93703cecc83091e2b9eab0053d6Anders Carlsson 21237909808416da93703cecc83091e2b9eab0053d6Anders Carlssonvoid f() { 2137c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall X11 x11; // expected-note {{implicit default destructor for 'X11' first required here}} 21437909808416da93703cecc83091e2b9eab0053d6Anders Carlsson} 215eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson 216eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlssonstruct X12 { 217eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson void* operator new(size_t, void*); 218eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson}; 219eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson 220eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlssonstruct X13 : X12 { 221eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson using X12::operator new; 222eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson}; 223eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson 224eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlssonstatic void* f(void* g) 225eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson{ 226eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson return new (g) X13(); 227eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson} 2284a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth 229e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruthclass X14 { 2307002f4c03c2d0544f4e8bea8d3a5636519081e35John McCallpublic: 231e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth static void operator delete(void*, const size_t); 232e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth}; 233e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth 234e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruthvoid f(X14 *x14a, X14 *x14b) { 235e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth delete x14a; 236e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth} 237e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth 238d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregorclass X15 { 239d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregorprivate: 240d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor X15(); // expected-note {{declared private here}} 241d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor ~X15(); // expected-note {{declared private here}} 242d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor}; 243d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor 244d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregorvoid f(X15* x) { 245d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor new X15(); // expected-error {{calling a private constructor}} 246d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor delete x; // expected-error {{calling a private destructor}} 247d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor} 248d880f52be3e4a8ccad92ac31932eeae5e0870a93Douglas Gregor 2494a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruthnamespace PR5918 { // Look for template operator new overloads. 2504a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth struct S { template<typename T> static void* operator new(size_t, T); }; 2514a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth void test() { 2524a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth (void)new(0) S; 2534a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth } 2544a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth} 25548c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson 25648c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssonnamespace Test1 { 25748c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson 25848c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssonvoid f() { 25948c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson (void)new int[10](1, 2); // expected-error {{array 'new' cannot have initialization arguments}} 26055cbd6e51fdca832c31bf8c179c40978a5d1f892Anders Carlsson 26155cbd6e51fdca832c31bf8c179c40978a5d1f892Anders Carlsson typedef int T[10]; 26255cbd6e51fdca832c31bf8c179c40978a5d1f892Anders Carlsson (void)new T(1, 2); // expected-error {{array 'new' cannot have initialization arguments}} 26348c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson} 26448c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson 26548c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssontemplate<typename T> 26648c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssonvoid g(unsigned i) { 26748c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson (void)new T[1](i); // expected-error {{array 'new' cannot have initialization arguments}} 26848c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson} 26948c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson 27048c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssontemplate<typename T> 27148c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssonvoid h(unsigned i) { 27248c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson (void)new T(i); // expected-error {{array 'new' cannot have initialization arguments}} 27348c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson} 27448c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssontemplate void h<unsigned>(unsigned); 27548c950137e4318abb1080f438208fda8c14ca8b9Anders Carlssontemplate void h<unsigned[10]>(unsigned); // expected-note {{in instantiation of function template specialization 'Test1::h<unsigned int [10]>' requested here}} 27648c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson 27748c950137e4318abb1080f438208fda8c14ca8b9Anders Carlsson} 2782389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth 2792389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth// Don't diagnose access for overload candidates that aren't selected. 2802389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruthnamespace PR7436 { 2812389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruthstruct S1 { 2822389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth void* operator new(size_t); 2832389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth void operator delete(void* p); 2842389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth 2852389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruthprivate: 2862389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth void* operator new(size_t, void*); // expected-note {{declared private here}} 2872389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth void operator delete(void*, void*); 2882389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth}; 2892389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruthclass S2 { 2902389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth void* operator new(size_t); // expected-note {{declared private here}} 2912389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth void operator delete(void* p); // expected-note {{declared private here}} 2922389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth}; 2932389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth 2942389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruthvoid test(S1* s1, S2* s2) { 2952389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth delete s1; 2962389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth delete s2; // expected-error {{is a private member}} 2972389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth (void)new S1(); 2982389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth (void)new (0L) S1(); // expected-error {{is a private member}} 2992389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth (void)new S2(); // expected-error {{is a private member}} 3002389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth} 3012389324eb73a1c99d5dfc1dc9eed047ddc96a7b4Chandler Carruth} 3026bc574daab3d3571d888cc4a21df67f2e2a14792Douglas Gregor 3034bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregornamespace rdar8018245 { 3044bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor struct X0 { 3054bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor static const int value = 17; 3064bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor }; 3074bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 3084bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor const int X0::value; 3094bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 3104bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor struct X1 { 3114bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor static int value; 3124bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor }; 3134bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 3144bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor int X1::value; 3154bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 3164bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor template<typename T> 3174bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor int *f() { 3184bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor return new (int[T::value]); // expected-warning{{when type is in parentheses, array cannot have dynamic size}} 3194bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor } 3204bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 3214bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor template int *f<X0>(); 3224bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor template int *f<X1>(); // expected-note{{in instantiation of}} 3234bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 3244bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor} 325254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor 326254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor// <rdar://problem/8248780> 327254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregornamespace Instantiate { 328254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor template<typename T> struct X { 329254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor operator T*(); 330254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor }; 331254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor 332254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor void f(X<int> &xi) { 333254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor delete xi; 334254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor } 335254a9427ff84d694724fdecd0642dad8ceaa0645Douglas Gregor} 33658e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl 33758e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redlnamespace PR7810 { 33858e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl struct X { 33958e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl // cv is ignored in arguments 34058e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl static void operator delete(void *const); 34158e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl }; 34258e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl struct Y { 34358e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl // cv is ignored in arguments 34458e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl static void operator delete(void *volatile); 34558e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl }; 34658e5539df7d9d1f003912fccb8d524d4f2c6846aSebastian Redl} 34709556fd1fb576144e2beda023bf3386f2292243bChandler Carruth 34809556fd1fb576144e2beda023bf3386f2292243bChandler Carruth// Don't crash on template delete operators 34909556fd1fb576144e2beda023bf3386f2292243bChandler Carruthnamespace TemplateDestructors { 35009556fd1fb576144e2beda023bf3386f2292243bChandler Carruth struct S { 35109556fd1fb576144e2beda023bf3386f2292243bChandler Carruth virtual ~S() {} 35209556fd1fb576144e2beda023bf3386f2292243bChandler Carruth 35309556fd1fb576144e2beda023bf3386f2292243bChandler Carruth void* operator new(const size_t size); 35409556fd1fb576144e2beda023bf3386f2292243bChandler Carruth template<class T> void* operator new(const size_t, const int, T*); 35509556fd1fb576144e2beda023bf3386f2292243bChandler Carruth void operator delete(void*, const size_t); 35609556fd1fb576144e2beda023bf3386f2292243bChandler Carruth template<class T> void operator delete(void*, const size_t, const int, T*); 35709556fd1fb576144e2beda023bf3386f2292243bChandler Carruth }; 35809556fd1fb576144e2beda023bf3386f2292243bChandler Carruth} 359520441eb82202702688750860fd98148421ea0edDouglas Gregor 360520441eb82202702688750860fd98148421ea0edDouglas Gregornamespace DeleteParam { 361520441eb82202702688750860fd98148421ea0edDouglas Gregor struct X { 362520441eb82202702688750860fd98148421ea0edDouglas Gregor void operator delete(X*); // expected-error{{first parameter of 'operator delete' must have type 'void *'}} 363520441eb82202702688750860fd98148421ea0edDouglas Gregor }; 364520441eb82202702688750860fd98148421ea0edDouglas Gregor 365520441eb82202702688750860fd98148421ea0edDouglas Gregor struct Y { 366520441eb82202702688750860fd98148421ea0edDouglas Gregor void operator delete(void* const); 367520441eb82202702688750860fd98148421ea0edDouglas Gregor }; 368520441eb82202702688750860fd98148421ea0edDouglas Gregor} 369edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall 370edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall// <rdar://problem/8427878> 371edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall// Test that the correct 'operator delete' is selected to pair with 372edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall// the unexpected placement 'operator new'. 373edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCallnamespace PairedDelete { 374edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall template <class T> struct A { 375edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall A(); 376edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall void *operator new(size_t s, double d = 0); 377edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall void operator delete(void *p, double d); 378edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall void operator delete(void *p) { 379edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall T::dealloc(p); 380edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall } 381edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall }; 382edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall 383edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall A<int> *test() { 384edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall return new A<int>(); 385edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall } 386edeb6c9b47e802da1a9a149ea1ea4f1ddd7f6182John McCall} 3879fa8e569407e02148888136609431a3fe083096dNick Lewycky 3889fa8e569407e02148888136609431a3fe083096dNick Lewyckynamespace PR7702 { 3899fa8e569407e02148888136609431a3fe083096dNick Lewycky void test1() { 3909fa8e569407e02148888136609431a3fe083096dNick Lewycky new DoesNotExist; // expected-error {{expected a type}} 3919fa8e569407e02148888136609431a3fe083096dNick Lewycky } 3929fa8e569407e02148888136609431a3fe083096dNick Lewycky} 39384ff0fccb180098b70504c03c3072a19e6d573afJohn McCall 39484ff0fccb180098b70504c03c3072a19e6d573afJohn McCallnamespace ArrayNewNeedsDtor { 39584ff0fccb180098b70504c03c3072a19e6d573afJohn McCall struct A { A(); private: ~A(); }; // expected-note {{declared private here}} 39684ff0fccb180098b70504c03c3072a19e6d573afJohn McCall struct B { B(); A a; }; // expected-error {{field of type 'ArrayNewNeedsDtor::A' has private destructor}} 39784ff0fccb180098b70504c03c3072a19e6d573afJohn McCall B *test9() { 39884ff0fccb180098b70504c03c3072a19e6d573afJohn McCall return new B[5]; // expected-note {{implicit default destructor for 'ArrayNewNeedsDtor::B' first required here}} 39984ff0fccb180098b70504c03c3072a19e6d573afJohn McCall } 40084ff0fccb180098b70504c03c3072a19e6d573afJohn McCall} 401e52c91478a144f913019591ee1839e1846345f71Eli Friedman 402e52c91478a144f913019591ee1839e1846345f71Eli Friedmannamespace DeleteIncompleteClass { 403e52c91478a144f913019591ee1839e1846345f71Eli Friedman struct A; // expected-note {{forward declaration}} 404e52c91478a144f913019591ee1839e1846345f71Eli Friedman extern A x; 405e52c91478a144f913019591ee1839e1846345f71Eli Friedman void f() { delete x; } // expected-error {{deleting incomplete class type}} 406e52c91478a144f913019591ee1839e1846345f71Eli Friedman} 407e52c91478a144f913019591ee1839e1846345f71Eli Friedman 408e52c91478a144f913019591ee1839e1846345f71Eli Friedmannamespace DeleteIncompleteClassPointerError { 409e52c91478a144f913019591ee1839e1846345f71Eli Friedman struct A; // expected-note {{forward declaration}} 410e52c91478a144f913019591ee1839e1846345f71Eli Friedman void f(A *x) { 1+delete x; } // expected-warning {{deleting pointer to incomplete type}} \ 411e52c91478a144f913019591ee1839e1846345f71Eli Friedman // expected-error {{invalid operands to binary expression}} 412e52c91478a144f913019591ee1839e1846345f71Eli Friedman} 413e33f643230738400f0bf5503a87d886e9bc635deEli Friedman 414e33f643230738400f0bf5503a87d886e9bc635deEli Friedmannamespace PR10504 { 415e33f643230738400f0bf5503a87d886e9bc635deEli Friedman struct A { 416e33f643230738400f0bf5503a87d886e9bc635deEli Friedman virtual void foo() = 0; 417e33f643230738400f0bf5503a87d886e9bc635deEli Friedman }; 418ef8c79c52200e4f7c32f8ef2744c1557b7f3f3eaEli Friedman void f(A *x) { delete x; } // expected-warning {{delete called on 'PR10504::A' that is abstract but has non-virtual destructor}} 419e33f643230738400f0bf5503a87d886e9bc635deEli Friedman} 420