blob: ec0539b81901101eabf6ffacd4210214b11fce12 [file] [log] [blame]
// RUN: %clang_cc1 -std=c++0x -fsyntax-only -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -verify %s
class A {
public:
~A();
};
class B {
public:
~B() { }
};
class C {
public:
(~C)() { }
};
struct D {
static void ~D(int, ...) const { } // \
// expected-error{{type qualifier is not allowed on this function}} \
// expected-error{{destructor cannot be declared 'static'}} \
// expected-error{{destructor cannot have any parameters}} \
// expected-error{{destructor cannot be variadic}} \
// expected-error{{destructor cannot have a return type}} \
// expected-error{{'const' qualifier is not allowed on a destructor}}
};
struct D2 {
void ~D2() { } // \
// expected-error{{destructor cannot have a return type}}
};
struct E;
typedef E E_typedef;
struct E {
~E_typedef(); // expected-error{{destructor cannot be declared using a typedef 'E_typedef' (aka 'E') of the class name}}
};
struct F {
(~F)(); // expected-note {{previous declaration is here}}
~F(); // expected-error {{destructor cannot be redeclared}}
};
~; // expected-error {{expected a class name after '~' to name a destructor}}
~undef(); // expected-error {{expected the class name after '~' to name a destructor}}
~operator+(int, int); // expected-error {{expected a class name after '~' to name a destructor}}
~F(){} // expected-error {{destructor must be a non-static member function}}
struct G {
~G();
};
G::~G() { }
// <rdar://problem/6841210>
struct H {
~H(void) { }
};
struct X {};
struct Y {
~X(); // expected-error {{expected the class name after '~' to name the enclosing class}}
};
namespace PR6421 {
class T; // expected-note{{forward declaration}}
class QGenericArgument // expected-note{{declared here}}
{
template<typename U>
void foo(T t) // expected-error{{variable has incomplete type}}
{ }
void disconnect()
{
T* t;
bob<QGenericArgument>(t); // expected-error{{undeclared identifier 'bob'}} \
// expected-error{{does not refer to a value}}
}
};
}
namespace PR6709 {
template<class T> class X { T v; ~X() { ++*v; } };
void a(X<int> x) {}
}
struct X0 { virtual ~X0() throw(); };
struct X1 : public X0 { };
// Make sure we instantiate operator deletes when building a virtual
// destructor.
namespace test6 {
template <class T> class A {
public:
void *operator new(__SIZE_TYPE__);
void operator delete(void *p) {
T::deleteIt(p); // expected-error {{type 'int' cannot be used prior to '::'}}
}
virtual ~A() {}
};
class B : A<int> { B(); }; // expected-note {{in instantiation of member function 'test6::A<int>::operator delete' requested here}}
B::B() {}
}
// Make sure classes are marked invalid when they have invalid
// members. This avoids a crash-on-invalid.
namespace test7 {
struct A {
~A() const; // expected-error {{'const' qualifier is not allowed on a destructor}}
};
struct B : A {};
void test() {
B *b;
b->~B();
}
}
namespace nonvirtualdtor {
struct S1 { // expected-warning {{has virtual functions but non-virtual destructor}}
virtual void m();
};
struct S2 {
~S2(); // expected-warning {{has virtual functions but non-virtual destructor}}
virtual void m();
};
struct S3 : public S1 { // expected-warning {{has virtual functions but non-virtual destructor}}
virtual void m();
};
struct S4 : public S2 { // expected-warning {{has virtual functions but non-virtual destructor}}
virtual void m();
};
struct B {
virtual ~B();
virtual void m();
};
struct S5 : public B {
virtual void m();
};
struct S6 {
virtual void m();
private:
~S6();
};
struct S7 {
virtual void m();
protected:
~S7();
};
template<class T> class TS : public B {
virtual void m();
};
TS<int> baz;
template<class T> class TS2 { // expected-warning {{'nonvirtualdtor::TS2<int>' has virtual functions but non-virtual destructor}}
virtual void m();
};
TS2<int> foo; // expected-note {{instantiation}}
}
namespace dnvd { // delete-non-virtual-dtor warning
struct NP {};
struct B { // expected-warning {{has virtual functions but non-virtual destructor}}
virtual void foo();
};
struct D: B {}; // expected-warning {{has virtual functions but non-virtual destructor}}
struct F final: B {}; // expected-warning {{has virtual functions but non-virtual destructor}}
struct VB {
virtual void foo();
virtual ~VB();
};
struct VD: VB {};
struct VF final: VB {};
template <typename T>
class simple_ptr {
public:
simple_ptr(T* t): _ptr(t) {}
~simple_ptr() { delete _ptr; } // \
// expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}} \
// expected-warning {{delete called on 'dnvd::D' that has virtual functions but non-virtual destructor}}
T& operator*() const { return *_ptr; }
private:
T* _ptr;
};
template <typename T>
class simple_ptr2 {
public:
simple_ptr2(T* t): _ptr(t) {}
~simple_ptr2() { delete _ptr; } // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}}
T& operator*() const { return *_ptr; }
private:
T* _ptr;
};
void use(B&);
void use(VB&);
void nowarnstack() {
B b; use(b);
D d; use(d);
F f; use(f);
VB vb; use(vb);
VD vd; use(vd);
VF vf; use(vf);
}
void nowarnnonpoly() {
{
NP* np = new NP();
delete np;
}
{
NP* np = new NP[4];
delete[] np;
}
}
void nowarnarray() {
{
B* b = new B[4];
delete[] b;
}
{
D* d = new D[4];
delete[] d;
}
{
VB* vb = new VB[4];
delete[] vb;
}
{
VD* vd = new VD[4];
delete[] vd;
}
}
template <typename T>
void nowarntemplate() {
{
T* t = new T();
delete t;
}
{
T* t = new T[4];
delete[] t;
}
}
void nowarn0() {
{
F* f = new F();
delete f;
}
{
VB* vb = new VB();
delete vb;
}
{
VB* vb = new VD();
delete vb;
}
{
VD* vd = new VD();
delete vd;
}
{
VF* vf = new VF();
delete vf;
}
}
void warn0() {
{
B* b = new B();
delete b; // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}}
}
{
B* b = new D();
delete b; // expected-warning {{delete called on 'dnvd::B' that has virtual functions but non-virtual destructor}}
}
{
D* d = new D();
delete d; // expected-warning {{delete called on 'dnvd::D' that has virtual functions but non-virtual destructor}}
}
}
void nowarn1() {
{
simple_ptr<F> f(new F());
use(*f);
}
{
simple_ptr<VB> vb(new VB());
use(*vb);
}
{
simple_ptr<VB> vb(new VD());
use(*vb);
}
{
simple_ptr<VD> vd(new VD());
use(*vd);
}
{
simple_ptr<VF> vf(new VF());
use(*vf);
}
}
void warn1() {
{
simple_ptr<B> b(new B()); // expected-note {{in instantiation of member function 'dnvd::simple_ptr<dnvd::B>::~simple_ptr' requested here}}
use(*b);
}
{
simple_ptr2<B> b(new D()); // expected-note {{in instantiation of member function 'dnvd::simple_ptr2<dnvd::B>::~simple_ptr2' requested here}}
use(*b);
}
{
simple_ptr<D> d(new D()); // expected-note {{in instantiation of member function 'dnvd::simple_ptr<dnvd::D>::~simple_ptr' requested here}}
use(*d);
}
}
}
namespace PR9238 {
class B { public: ~B(); };
class C : virtual B { public: ~C() { } };
}
namespace PR7900 {
struct A { // expected-note 2{{type 'PR7900::A' is declared here}}
};
struct B : public A {
};
void foo() {
B b;
b.~B();
b.~A(); // expected-error{{destructor type 'PR7900::A' in object destruction expression does not match the type 'PR7900::B' of the object being destroyed}}
(&b)->~A(); // expected-error{{destructor type 'PR7900::A' in object destruction expression does not match the type 'PR7900::B' of the object being destroyed}}
}
}