destructor.cpp revision d37b360bf9f954af119c9805fdc79ab9d30e06c6
1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -std=c++11 -fsyntax-only -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -verify %s 242a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorclass A { 342a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorpublic: 442a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor ~A(); 542a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor}; 642a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 742a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorclass B { 842a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorpublic: 942a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor ~B() { } 1042a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor}; 1142a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 1242a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorclass C { 1342a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorpublic: 1442a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor (~C)() { } 1542a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor}; 1642a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 1742a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorstruct D { 1842a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor static void ~D(int, ...) const { } // \ 19d37b360bf9f954af119c9805fdc79ab9d30e06c6Richard Smith // expected-error{{static member function cannot have 'const' qualifier}} \ 2042a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor // expected-error{{destructor cannot be declared 'static'}} \ 2142a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor // expected-error{{destructor cannot have any parameters}} \ 22d92ec474faeb6133e0d41f0de4526b22778476f2Douglas Gregor // expected-error{{destructor cannot be variadic}} \ 23d92ec474faeb6133e0d41f0de4526b22778476f2Douglas Gregor // expected-error{{destructor cannot have a return type}} \ 24d92ec474faeb6133e0d41f0de4526b22778476f2Douglas Gregor // expected-error{{'const' qualifier is not allowed on a destructor}} 2542a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor}; 2642a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 276540180c2fd7a5b4963b22dc81461b73927499a8Chris Lattnerstruct D2 { 286540180c2fd7a5b4963b22dc81461b73927499a8Chris Lattner void ~D2() { } // \ 296540180c2fd7a5b4963b22dc81461b73927499a8Chris Lattner // expected-error{{destructor cannot have a return type}} 306540180c2fd7a5b4963b22dc81461b73927499a8Chris Lattner}; 316540180c2fd7a5b4963b22dc81461b73927499a8Chris Lattner 32eaaebc7cf10dc1a2016183a262ad3256bc468759Chris Lattner 3342a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorstruct E; 3442a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 3542a552f8200ba5948661aee0106fce0c04e39818Douglas Gregortypedef E E_typedef; 3642a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorstruct E { 377c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall ~E_typedef(); // expected-error{{destructor cannot be declared using a typedef 'E_typedef' (aka 'E') of the class name}} 3842a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor}; 3942a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 4042a552f8200ba5948661aee0106fce0c04e39818Douglas Gregorstruct F { 415f4a6829dc58cab2f76e2b98492859aa3b91e3f2Chris Lattner (~F)(); // expected-note {{previous declaration is here}} 425f4a6829dc58cab2f76e2b98492859aa3b91e3f2Chris Lattner ~F(); // expected-error {{destructor cannot be redeclared}} 4342a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor}; 4442a552f8200ba5948661aee0106fce0c04e39818Douglas Gregor 45124b878dba5007df0a268ea128a6ad8dc5dd2c5eDouglas Gregor~; // expected-error {{expected a class name after '~' to name a destructor}} 4676ed9cb1d7398bb721cb9df67b3004c14dae8aa8Fariborz Jahanian~undef(); // expected-error {{expected the class name after '~' to name a destructor}} 47124b878dba5007df0a268ea128a6ad8dc5dd2c5eDouglas Gregor~operator+(int, int); // expected-error {{expected a class name after '~' to name a destructor}} 48c7ed9c60b8ee04b119e23441cae2cfec74536ba9Argyrios Kyrtzidis~F(){} // expected-error {{destructor must be a non-static member function}} 499d35097bc0fefb2f77638be513cac72d1c09d840Douglas Gregor 509d35097bc0fefb2f77638be513cac72d1c09d840Douglas Gregorstruct G { 519d35097bc0fefb2f77638be513cac72d1c09d840Douglas Gregor ~G(); 529d35097bc0fefb2f77638be513cac72d1c09d840Douglas Gregor}; 539d35097bc0fefb2f77638be513cac72d1c09d840Douglas Gregor 549d35097bc0fefb2f77638be513cac72d1c09d840Douglas GregorG::~G() { } 559d35097bc0fefb2f77638be513cac72d1c09d840Douglas Gregor 567786d1c5d752b90ff74093bd1ffda37daf0dbe6eAnders Carlsson// <rdar://problem/6841210> 577786d1c5d752b90ff74093bd1ffda37daf0dbe6eAnders Carlssonstruct H { 587786d1c5d752b90ff74093bd1ffda37daf0dbe6eAnders Carlsson ~H(void) { } 597786d1c5d752b90ff74093bd1ffda37daf0dbe6eAnders Carlsson}; 60c19f959d7fa5303f2fff5fa7a4968361cb7ef068Fariborz Jahanian 61c19f959d7fa5303f2fff5fa7a4968361cb7ef068Fariborz Jahanianstruct X {}; 62c19f959d7fa5303f2fff5fa7a4968361cb7ef068Fariborz Jahanian 63c19f959d7fa5303f2fff5fa7a4968361cb7ef068Fariborz Jahanianstruct Y { 64c19f959d7fa5303f2fff5fa7a4968361cb7ef068Fariborz Jahanian ~X(); // expected-error {{expected the class name after '~' to name the enclosing class}} 65c19f959d7fa5303f2fff5fa7a4968361cb7ef068Fariborz Jahanian}; 66333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor 67333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregornamespace PR6421 { 68333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor class T; // expected-note{{forward declaration}} 69333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor 70200b2921390bd75a659be3c77011e9a5548b7273Douglas Gregor class QGenericArgument // expected-note{{declared here}} 71333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor { 72333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor template<typename U> 73333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor void foo(T t) // expected-error{{variable has incomplete type}} 74333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor { } 75333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor 76333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor void disconnect() 77333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor { 78333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor T* t; 79200b2921390bd75a659be3c77011e9a5548b7273Douglas Gregor bob<QGenericArgument>(t); // expected-error{{undeclared identifier 'bob'}} \ 80200b2921390bd75a659be3c77011e9a5548b7273Douglas Gregor // expected-error{{does not refer to a value}} 81333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor } 82333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor }; 83333de066a0c018170142150d563f3acdb2ad80f2Douglas Gregor} 849c127392efe91dadacbe28ca16b8a9a5fa7990b3Douglas Gregor 859c127392efe91dadacbe28ca16b8a9a5fa7990b3Douglas Gregornamespace PR6709 { 869c127392efe91dadacbe28ca16b8a9a5fa7990b3Douglas Gregor template<class T> class X { T v; ~X() { ++*v; } }; 879c127392efe91dadacbe28ca16b8a9a5fa7990b3Douglas Gregor void a(X<int> x) {} 889c127392efe91dadacbe28ca16b8a9a5fa7990b3Douglas Gregor} 89d92ec474faeb6133e0d41f0de4526b22778476f2Douglas Gregor 90d92ec474faeb6133e0d41f0de4526b22778476f2Douglas Gregorstruct X0 { virtual ~X0() throw(); }; 91d92ec474faeb6133e0d41f0de4526b22778476f2Douglas Gregorstruct X1 : public X0 { }; 925efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall 935efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall// Make sure we instantiate operator deletes when building a virtual 945efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall// destructor. 955efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCallnamespace test6 { 965efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall template <class T> class A { 975efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall public: 986b855121f3c23e9cf2b548cbf2dd3d16fdcf610cBenjamin Kramer void *operator new(__SIZE_TYPE__); 995efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall void operator delete(void *p) { 1005efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall T::deleteIt(p); // expected-error {{type 'int' cannot be used prior to '::'}} 1015efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall } 1025efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall 1032a5f99eb4e2af771faacfceb9f78e230129c5e5aNick Lewycky virtual ~A() {} 1045efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall }; 1055efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall 1062a5f99eb4e2af771faacfceb9f78e230129c5e5aNick Lewycky class B : A<int> { B(); }; // expected-note {{in instantiation of member function 'test6::A<int>::operator delete' requested here}} 1072a5f99eb4e2af771faacfceb9f78e230129c5e5aNick Lewycky B::B() {} 1085efd91a3b58e59006f8a3e8c9256ec00c38dba95John McCall} 109fcadea2556be268121a6216e367bbe3598c4008eJohn McCall 110fcadea2556be268121a6216e367bbe3598c4008eJohn McCall// Make sure classes are marked invalid when they have invalid 111fcadea2556be268121a6216e367bbe3598c4008eJohn McCall// members. This avoids a crash-on-invalid. 112fcadea2556be268121a6216e367bbe3598c4008eJohn McCallnamespace test7 { 113fcadea2556be268121a6216e367bbe3598c4008eJohn McCall struct A { 114fcadea2556be268121a6216e367bbe3598c4008eJohn McCall ~A() const; // expected-error {{'const' qualifier is not allowed on a destructor}} 115fcadea2556be268121a6216e367bbe3598c4008eJohn McCall }; 116fcadea2556be268121a6216e367bbe3598c4008eJohn McCall struct B : A {}; 117fcadea2556be268121a6216e367bbe3598c4008eJohn McCall 118fcadea2556be268121a6216e367bbe3598c4008eJohn McCall void test() { 119fcadea2556be268121a6216e367bbe3598c4008eJohn McCall B *b; 120fcadea2556be268121a6216e367bbe3598c4008eJohn McCall b->~B(); 121fcadea2556be268121a6216e367bbe3598c4008eJohn McCall } 122fcadea2556be268121a6216e367bbe3598c4008eJohn McCall} 123def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis 124def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisnamespace nonvirtualdtor { 125def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisstruct S1 { // expected-warning {{has virtual functions but non-virtual destructor}} 126def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual void m(); 127def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis}; 128def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis 129def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisstruct S2 { 130def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis ~S2(); // expected-warning {{has virtual functions but non-virtual destructor}} 131def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual void m(); 132def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis}; 133def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis 134def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisstruct S3 : public S1 { // expected-warning {{has virtual functions but non-virtual destructor}} 135def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual void m(); 136def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis}; 137def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis 138def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisstruct S4 : public S2 { // expected-warning {{has virtual functions but non-virtual destructor}} 139def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual void m(); 140def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis}; 141def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis 142def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisstruct B { 143def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual ~B(); 144def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual void m(); 145def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis}; 146def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis 147def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidisstruct S5 : public B { 148def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis virtual void m(); 149def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis}; 1509641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis 1519641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidisstruct S6 { 1529641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis virtual void m(); 1539641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidisprivate: 1549641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis ~S6(); 1559641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis}; 1569641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis 1579641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidisstruct S7 { 1589641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis virtual void m(); 1599641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidisprotected: 1609641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis ~S7(); 1619641fc8e43f53b1ae8ed7742017e0a320d75fa8aArgyrios Kyrtzidis}; 162668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis 163668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidistemplate<class T> class TS : public B { 164668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis virtual void m(); 165668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis}; 166668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis 167668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios KyrtzidisTS<int> baz; 168668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis 169668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidistemplate<class T> class TS2 { // expected-warning {{'nonvirtualdtor::TS2<int>' has virtual functions but non-virtual destructor}} 170668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis virtual void m(); 171668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis}; 172668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios Kyrtzidis 173668fdd8578c85aa2692ffdeb7614acabf1aaab25Argyrios KyrtzidisTS2<int> foo; // expected-note {{instantiation}} 174def4e2a405a15eb8381ca305725285d27a4bab65Argyrios Kyrtzidis} 175f4b793ceb60418b64d3593ba3c8240e3594bff8fDouglas Gregor 1766f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisnamespace dnvd { // delete-non-virtual-dtor warning 1776f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct NP {}; 1786f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1796f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct B { // expected-warning {{has virtual functions but non-virtual destructor}} 1806f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis virtual void foo(); 1816f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis}; 1826f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1836f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct D: B {}; // expected-warning {{has virtual functions but non-virtual destructor}} 1846f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1856f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct F final: B {}; // expected-warning {{has virtual functions but non-virtual destructor}} 1866f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1876f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct VB { 1886f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis virtual void foo(); 1896f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis virtual ~VB(); 1906f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis}; 1916f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1926f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct VD: VB {}; 1936f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1946f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisstruct VF final: VB {}; 1956f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 1966f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidistemplate <typename T> 1976f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisclass simple_ptr { 1986f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidispublic: 1996f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr(T* t): _ptr(t) {} 2006f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis ~simple_ptr() { delete _ptr; } // \ 2016f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}} \ 2026f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis // expected-warning {{delete called on 'dnvd::D' that has virtual functions but non-virtual destructor}} 2036f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis T& operator*() const { return *_ptr; } 2046f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisprivate: 2056f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis T* _ptr; 2066f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis}; 2076f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2086f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidistemplate <typename T> 2096f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisclass simple_ptr2 { 2106f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidispublic: 2116f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr2(T* t): _ptr(t) {} 2126f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis ~simple_ptr2() { delete _ptr; } // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}} 2136f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis T& operator*() const { return *_ptr; } 2146f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisprivate: 2156f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis T* _ptr; 2166f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis}; 2176f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2186f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid use(B&); 2196f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid use(VB&); 2206f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2216f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid nowarnstack() { 2226f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis B b; use(b); 2236f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis D d; use(d); 2246f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis F f; use(f); 2256f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VB vb; use(vb); 2266f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VD vd; use(vd); 2276f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VF vf; use(vf); 2286f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 2296f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2306f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid nowarnnonpoly() { 2316f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2326f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis NP* np = new NP(); 2336f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete np; 2346f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2356f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2366f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis NP* np = new NP[4]; 2376f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete[] np; 2386f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2396f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 2406f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2416f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid nowarnarray() { 2426f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2436f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis B* b = new B[4]; 2446f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete[] b; 2456f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2466f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2476f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis D* d = new D[4]; 2486f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete[] d; 2496f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2506f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2516f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VB* vb = new VB[4]; 2526f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete[] vb; 2536f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2546f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2556f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VD* vd = new VD[4]; 2566f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete[] vd; 2576f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2586f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 2596f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2606f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidistemplate <typename T> 2616f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid nowarntemplate() { 2626f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2636f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis T* t = new T(); 2646f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete t; 2656f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2666f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2676f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis T* t = new T[4]; 2686f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete[] t; 2696f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2706f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 2716f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2726f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid nowarn0() { 2736f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2746f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis F* f = new F(); 2756f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete f; 2766f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2776f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2786f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VB* vb = new VB(); 2796f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete vb; 2806f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2816f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2826f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VB* vb = new VD(); 2836f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete vb; 2846f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2856f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2866f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VD* vd = new VD(); 2876f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete vd; 2886f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2896f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2906f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis VF* vf = new VF(); 2916f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete vf; 2926f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 2936f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 2946f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 2956f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid warn0() { 2966f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 2976f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis B* b = new B(); 2986f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete b; // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}} 2996f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3006f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3016f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis B* b = new D(); 3026f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete b; // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}} 3036f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3046f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3056f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis D* d = new D(); 3066f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis delete d; // expected-warning {{delete called on 'dnvd::D' that has virtual functions but non-virtual destructor}} 3076f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3086f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 3096f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 3106f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid nowarn1() { 3116f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3126f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<F> f(new F()); 3136f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*f); 3146f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3156f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3166f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<VB> vb(new VB()); 3176f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*vb); 3186f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3196f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3206f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<VB> vb(new VD()); 3216f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*vb); 3226f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3236f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3246f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<VD> vd(new VD()); 3256f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*vd); 3266f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3276f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3286f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<VF> vf(new VF()); 3296f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*vf); 3306f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3316f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 3326f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 3336f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidisvoid warn1() { 3346f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3356f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<B> b(new B()); // expected-note {{in instantiation of member function 'dnvd::simple_ptr<dnvd::B>::~simple_ptr' requested here}} 3366f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*b); 3376f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3386f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3396f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr2<B> b(new D()); // expected-note {{in instantiation of member function 'dnvd::simple_ptr2<dnvd::B>::~simple_ptr2' requested here}} 3406f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*b); 3416f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3426f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis { 3436f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis simple_ptr<D> d(new D()); // expected-note {{in instantiation of member function 'dnvd::simple_ptr<dnvd::D>::~simple_ptr' requested here}} 3446f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis use(*d); 3456f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis } 3466f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 3476f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis} 3486f0074ae2f466bae9f415da268d61a2dc1fabe26Argyrios Kyrtzidis 349f4b793ceb60418b64d3593ba3c8240e3594bff8fDouglas Gregornamespace PR9238 { 350f4b793ceb60418b64d3593ba3c8240e3594bff8fDouglas Gregor class B { public: ~B(); }; 351f4b793ceb60418b64d3593ba3c8240e3594bff8fDouglas Gregor class C : virtual B { public: ~C() { } }; 352f4b793ceb60418b64d3593ba3c8240e3594bff8fDouglas Gregor} 3537ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor 3547ec1873d694cf870264694d2b61219a03492bc30Douglas Gregornamespace PR7900 { 3557ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor struct A { // expected-note 2{{type 'PR7900::A' is declared here}} 3567ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor }; 3577ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor struct B : public A { 3587ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor }; 3597ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor void foo() { 3607ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor B b; 3617ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor b.~B(); 3627ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor b.~A(); // expected-error{{destructor type 'PR7900::A' in object destruction expression does not match the type 'PR7900::B' of the object being destroyed}} 3637ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor (&b)->~A(); // expected-error{{destructor type 'PR7900::A' in object destruction expression does not match the type 'PR7900::B' of the object being destroyed}} 3647ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor } 3657ec1873d694cf870264694d2b61219a03492bc30Douglas Gregor} 366