gcc-4.9/gcc/testsuite/g++.dg/warn/delete-non-virtual-dtor.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

// { dg-options "-Wdelete-non-virtual-dtor" }
// { dg-do compile { target c++11 } }

struct polyBase { virtual void f(); };

void f(polyBase* p, polyBase* arr)
{
  polyBase pb;
  delete p;      // { dg-warning "non-virtual destructor might" }
  delete [] arr;
}

struct polyDerived : polyBase { };

void f(polyDerived* p, polyDerived* arr)
{
  polyDerived pd;
  delete p;      // { dg-warning "non-virtual destructor might" }
  delete [] arr;
}

struct absDerived : polyBase { virtual void g() = 0; };

void f(absDerived* p, absDerived* arr)
{
  delete p;      // { dg-warning "non-virtual destructor will" }
  delete [] arr;
}

struct finalDerived final : polyBase { };

void f(finalDerived* p, finalDerived* arr)
{
  finalDerived fd;
  delete p;      // no error for final classes
  delete [] arr;
}

struct safeBase { virtual ~safeBase(); };
struct safeDerived : safeBase { virtual void f(); };

void f(safeDerived* p, safeDerived* arr)
{
  safeDerived sd;
  delete p;      // no error because base has virtual dtor
  delete [] arr;
}

struct polyBaseNonTrivial { ~polyBaseNonTrivial(); virtual void f(); };

void f(polyBaseNonTrivial* p, polyBaseNonTrivial* arr)
{
  polyBaseNonTrivial pbnt;
  delete p;      // { dg-warning "non-virtual destructor might" }
  delete [] arr;
}

struct polyDerivedNT : polyBaseNonTrivial { ~polyDerivedNT(); };

void f(polyDerivedNT* p, polyDerivedNT* arr)
{
  polyDerivedNT pdnt;
  delete p;      // { dg-warning "non-virtual destructor might" }
  delete [] arr;
}