p5.cpp source code [clang_source_code/test/CXX/expr/expr.unary/expr.delete/p5.cpp]

1	// RUN: %clang_cc1 -verify %s
2
3	// If the object being deleted has incomplete class type at the point of
4	// deletion and the complete class has a non-trivial destructor or a
5	// deallocation function, the behavior is undefined.
6
7	// The trivial case.
8	class T0; // expected-note {{forward declaration}}
9	void f0(T0 *a) { delete a; } // expected-warning {{deleting pointer to incomplete type}}
10	class T0 { ~T0(); };
11
12	// The trivial case, inside a template instantiation.
13	template<typename T>
14	struct T1_A { T *x; ~T1_A() { delete x; } }; // expected-warning {{deleting pointer to incomplete type}}
15	class T1_B; // expected-note {{forward declaration}}
16	void f0() { T1_A<T1_B> x; } // expected-note {{in instantiation of member function}}
17
18	// This case depends on when we check T2_C::f0.
19	class T2_A;
20	template<typename T>
21	struct T2_B { void f0(T *a) { delete a; } };
22	struct T2_C { T2_B<T2_A> x; void f0(T2_A *a) { x.f0(a); } };
23	void f0(T2_A *a) { T2_C x; x.f0(a); }
24	class T2_A { };
25
26	// An alternate version of the same.
27	class T3_A;
28	template<typename T>
29	struct T3_B {
30	void f0(T *a) {
31	delete a; // expected-error{{calling a private destructor of class 'T3_A'}}
32	}
33	};
34
35	struct T3_C {
36	T3_B<T3_A> x;
37	void f0(T3_A *a) {
38	x.f0(a); // expected-note{{in instantiation of member function 'T3_B<T3_A>::f0' requested here}}
39	}
40	};
41
42	void f0(T3_A *a) { T3_C x; x.f0(a); }
43	class T3_A {
44	private:
45	~T3_A(); // expected-note{{declared private here}}
46	};
47

Clang Project