new-delete.cpp revision 2fa98001f832836e3f652c211a9d2f80501d659a
1a5728872c7702ddd09537c95bc3cbd20e1f2fb09Daniel Dunbar// RUN: %clang_cc1 -fsyntax-only -verify %s 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}; 114ec339f43c0cae2678334850c90926bea10999c7Douglas Gregorstruct T; // expected-note{{forward declaration of 'struct 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 274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlvoid good_news() 284c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl int *pi = new int; 304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl float *pf = new (pi) float(); 314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl pi = new int(1); 324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl pi = new int('c'); 334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const int *pci = new const int(); 344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl S *ps = new S(1, 2, 3.4); 35cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl ps = new (pf) (S)(1, 2, 3.4); 364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl S *(*paps)[2] = new S*[*pi][2]; 374c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ps = new (S[3])(1, 2, 3.4); 384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef int ia4[4]; 394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ia4 *pai = new (int[3][4]); 40fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl pi = ::new int; 41636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl U *pu = new (ps) U; 425d64e5b6bc03462e8b7d0cd804565829afb1b508Douglas Gregor V *pv = new (ps) V; 43fc27d268cb34cbb8d186c6ad7cc043d41581ce71Anders Carlsson 44fc27d268cb34cbb8d186c6ad7cc043d41581ce71Anders Carlsson pi = new (S(1.0f, 2)) int; 45ac18b2e3af8d0c5304f74e362a1d4207363e4c94Anders Carlsson 46ac18b2e3af8d0c5304f74e362a1d4207363e4c94Anders Carlsson (void)new int[true]; 474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 49e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregorstruct abstract { 50e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregor virtual ~abstract() = 0; 51e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregor}; 52e7450f5dbd5bed63b8ef9db86350a8fc3db011e8Douglas Gregor 53c83ed049af2a2ed7ab94b8206fc0fec4da7e26dbDouglas Gregorvoid bad_news(int *ip) 544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 554c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl int i = 1; 564c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new; // expected-error {{missing type specifier}} 574c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new 4; // expected-error {{missing type specifier}} 584c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new () int; // expected-error {{expected expression}} 59cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl (void)new int[1.1]; // expected-error {{array size expression must have integral or enumerated type, not 'double'}} 604c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new int[1][i]; // expected-error {{only the first dimension}} 614c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new (int[1][i]); // expected-error {{only the first dimension}} 628ce35b095e8fca45e04c1bda14ed0548ce7536adSebastian Redl (void)new (int[i]); // expected-error {{when type is in parentheses}} 6399a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor (void)new int(*(S*)0); // expected-error {{no viable conversion from 'struct S' to 'int'}} 6499a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor (void)new int(1, 2); // expected-error {{excess elements in scalar initializer}} 654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl (void)new S(1); // expected-error {{no matching constructor}} 6699a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor (void)new S(1, 1); // expected-error {{call to constructor of 'struct S' is ambiguous}} 6799a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor (void)new const int; // expected-error {{default initialization of an object of const type 'int const'}} 68a729bbb739ca97a8dc52b6b0495725590a0367dcAnders Carlsson (void)new float*(ip); // expected-error {{cannot initialize a new value of type 'float *' with an lvalue of type 'int *'}} 69cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Undefined, but clang should reject it directly. 70cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl (void)new int[-1]; // expected-error {{array size is negative}} 71cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl (void)new int[*(S*)0]; // expected-error {{array size expression must have integral or enumerated type, not 'struct S'}} 72fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl (void)::S::new int; // expected-error {{expected unqualified-id}} 73b5a57a69e5fdac6dd9a92be717e279486c4a0128Sebastian Redl (void)new (0, 0) int; // expected-error {{no matching function for call to 'operator new'}} 747f6623914e779e41eb3d85f9a2dc3affea5de1e8Sebastian Redl (void)new (0L) int; // expected-error {{call to 'operator new' is ambiguous}} 75636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl // This must fail, because the member version shouldn't be found. 76636a7c42d42800f69caadcdea433312fd642a4b3Sebastian Redl (void)::new ((S*)0) U; // expected-error {{no matching function for call to 'operator new'}} 779afe1308ed19dffc281dca5cfbe521826754980fSebastian Redl // This must fail, because any member version hides all global versions. 789afe1308ed19dffc281dca5cfbe521826754980fSebastian Redl (void)new U; // expected-error {{no matching function for call to 'operator new'}} 7900e68e2cc5ce37cb95beb801cae73c0d1e9dda37Sebastian Redl (void)new (int[]); // expected-error {{array size must be specified in new expressions}} 8000e68e2cc5ce37cb95beb801cae73c0d1e9dda37Sebastian Redl (void)new int&; // expected-error {{cannot allocate reference type 'int &' with new}} 814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Some lacking cases due to lack of sema support. 824c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 834c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 844c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlvoid good_deletes() 854c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 864c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (int*)0; 874c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete [](int*)0; 884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (S*)0; 89fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl ::delete (int*)0; 904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlvoid bad_deletes() 934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl{ 944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete 0; // expected-error {{cannot delete expression of type 'int'}} 954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete [0] (int*)0; // expected-error {{expected ']'}} \ 9628eb7e992b9a266abb300da25b6d3c1557cec361Chris Lattner // expected-note {{to match this '['}} 974c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (void*)0; // expected-error {{cannot delete expression}} 984c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete (T*)0; // expected-warning {{deleting pointer to incomplete type}} 99fb4ccd7152723ac6190eb379250cfe7516cfd1b8Sebastian Redl ::S::delete (int*)0; // expected-error {{expected unqualified-id}} 1004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl} 1019cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1029cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorstruct X0 { }; 1039cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1049cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorstruct X1 { 1059cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor operator int*(); 1069cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor operator float(); 1079cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor}; 1089cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1099cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorstruct X2 { 110f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian operator int*(); // expected-note {{candidate function}} 111f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian operator float*(); // expected-note {{candidate function}} 1129cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor}; 1139cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor 1149cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregorvoid test_delete_conv(X0 x0, X1 x1, X2 x2) { 1159cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor delete x0; // expected-error{{cannot delete}} 1169cd9f3f55d22f34f1d69db8bfc2735c4e1e082c3Douglas Gregor delete x1; 117f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian delete x2; // expected-error{{ambiguous conversion of delete expression of type 'struct X2' to a pointer}} 118f652793d4d32cc71b5ee2167069cbd363baa75deFariborz Jahanian} 1199091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1209091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor// PR4782 1219091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorclass X3 { 1229091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorpublic: 1235e6214b4c7b326a83fbcf55250a95b46bdc0bb8fEli Friedman static void operator delete(void * mem, size_t size); 1249091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor}; 1259091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1269091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorclass X4 { 1279091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorpublic: 1289091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor static void release(X3 *x); 1295e6214b4c7b326a83fbcf55250a95b46bdc0bb8fEli Friedman static void operator delete(void * mem, size_t size); 1309091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor}; 1319091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1329091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor 1339091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregorvoid X4::release(X3 *x) { 1349091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor delete x; 1359091656e423f2354e53b2b3baa95b3eb5510badcDouglas Gregor} 1361070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregor 1375d64e5b6bc03462e8b7d0cd804565829afb1b508Douglas Gregorclass X5 { 1381070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregorpublic: 1391070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregor void Destroy() const { delete this; } 1401070c9f7acc889336be6f80c70dc1b32622cc83dDouglas Gregor}; 141b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 142b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Base { 143b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianpublic: 144156c78e4ef14e5f7ba251554ea8f2dbec573fef3Anders Carlsson static void *operator new(signed char) throw(); // expected-error {{'operator new' takes type size_t}} 145156c78e4ef14e5f7ba251554ea8f2dbec573fef3Anders Carlsson static int operator new[] (size_t) throw(); // expected-error {{operator new[]' must return type 'void *'}} 146b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian}; 147b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 148b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Tier {}; 149b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Comp : public Tier {}; 150b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 151b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianclass Thai : public Base { 152b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianpublic: 153b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian Thai(const Tier *adoptDictionary); 154b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian}; 155b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 156b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanianvoid loadEngineFor() { 157b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian const Comp *dict; 158b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian new Thai(dict); 159b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian} 160b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 161b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahaniantemplate <class T> struct TBase { 1622fa98001f832836e3f652c211a9d2f80501d659aDouglas Gregor void* operator new(T size, int); // expected-error {{'operator new' cannot take a dependent type as first parameter; use size_t}} 163b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian}; 164b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 1652fa98001f832836e3f652c211a9d2f80501d659aDouglas GregorTBase<int> t1; 166b03bfa55d03ca38922ffedac19225d0832e8d911Fariborz Jahanian 1670ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonclass X6 { 1680ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonpublic: 1690ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson static void operator delete(void*, int); // expected-note {{member found by ambiguous name lookup}} 1700ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson}; 1710ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 1720ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonclass X7 { 1730ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonpublic: 1740ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson static void operator delete(void*, int); // expected-note {{member found by ambiguous name lookup}} 1750ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson}; 1760ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 1770ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlssonclass X8 : public X6, public X7 { 1780ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson}; 1790ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 18050724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlssonvoid f(X8 *x8) { 1810ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson delete x8; // expected-error {{member 'operator delete' found in multiple base classes of different types}} 1820ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson} 1830ba63ea5be2c90ef62d1350ea4a0a0c415a785f1Anders Carlsson 18450724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlssonclass X9 { 18550724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson static void operator delete(void*, int); // expected-note {{'operator delete' declared here}} 18650724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson static void operator delete(void*, float); // expected-note {{'operator delete' declared here}} 18750724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson}; 18850724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson 18950724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlssonvoid f(X9 *x9) { 19050724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson delete x9; // expected-error {{no suitable member 'operator delete' in 'X9'}} 19150724302e24d44a27e3bc45e7185a710d6eb3c2dAnders Carlsson} 19237909808416da93703cecc83091e2b9eab0053d6Anders Carlsson 19337909808416da93703cecc83091e2b9eab0053d6Anders Carlssonstruct X10 { 19437909808416da93703cecc83091e2b9eab0053d6Anders Carlsson virtual ~X10(); 19537909808416da93703cecc83091e2b9eab0053d6Anders Carlsson}; 19637909808416da93703cecc83091e2b9eab0053d6Anders Carlsson 19737909808416da93703cecc83091e2b9eab0053d6Anders Carlssonstruct X11 : X10 { // expected-error {{no suitable member 'operator delete' in 'X11'}} 19837909808416da93703cecc83091e2b9eab0053d6Anders Carlsson void operator delete(void*, int); // expected-note {{'operator delete' declared here}} 19937909808416da93703cecc83091e2b9eab0053d6Anders Carlsson}; 20037909808416da93703cecc83091e2b9eab0053d6Anders Carlsson 20137909808416da93703cecc83091e2b9eab0053d6Anders Carlssonvoid f() { 20237909808416da93703cecc83091e2b9eab0053d6Anders Carlsson X11 x11; // expected-note {{implicit default destructor for 'struct X11' first required here}} 20337909808416da93703cecc83091e2b9eab0053d6Anders Carlsson} 204eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson 205eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlssonstruct X12 { 206eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson void* operator new(size_t, void*); 207eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson}; 208eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson 209eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlssonstruct X13 : X12 { 210eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson using X12::operator new; 211eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson}; 212eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson 213eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlssonstatic void* f(void* g) 214eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson{ 215eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson return new (g) X13(); 216eac813909b3ca1142ad186f6c6a1b1ae0dbf9378Anders Carlsson} 2174a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth 218e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruthclass X14 { 219e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth static void operator delete(void*, const size_t); 220e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth}; 221e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth 222e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruthvoid f(X14 *x14a, X14 *x14b) { 223e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth delete x14a; 224e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth} 225e228ba97c9aff14dcf788773b8af455b9d85f210Chandler Carruth 2264a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruthnamespace PR5918 { // Look for template operator new overloads. 2274a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth struct S { template<typename T> static void* operator new(size_t, T); }; 2284a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth void test() { 2294a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth (void)new(0) S; 2304a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth } 2314a73ea9c4e87aa111901f3c27b08f0571b58a4cfChandler Carruth} 232