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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
// RUN: %clang_cc1 -std=c++11 -fsyntax-only -Wexit-time-destructors %s -verify=expected,cxx11
// RUN: %clang_cc1 -std=c++20 -fsyntax-only -Wexit-time-destructors %s -verify=expected
namespace test1 {
struct A { ~A(); };
A a; // expected-warning {{declaration requires an exit-time destructor}}
A b[10]; // expected-warning {{declaration requires an exit-time destructor}}
A c[10][10]; // expected-warning {{declaration requires an exit-time destructor}}
A &d = a;
A &e = b[5];
A &f = c[5][7];
}
namespace test2 {
void f() {
struct A { ~A() { } };
static A a; // expected-warning {{declaration requires an exit-time destructor}}
static A b[10]; // expected-warning {{declaration requires an exit-time destructor}}
static A c[10][10]; // expected-warning {{declaration requires an exit-time destructor}}
static A &d = a;
static A &e = b[5];
static A &f = c[5][7];
}
}
namespace test3 {
struct A { ~A() = default; };
A a;
struct B { ~B(); };
struct C : B { ~C() = default; };
C c; // expected-warning {{exit-time destructor}}
class D {
friend struct E;
~D() = default;
};
struct E : D {
D d;
~E() = default;
};
E e;
}
namespace test4 {
struct A { ~A(); };
[[clang::no_destroy]] A a; // no warning
}
namespace test5 {
struct A { ~A(); };
[[clang::always_destroy]] A a; // no warning
void func() {
[[clang::always_destroy]] static A a; // no warning
}
}
namespace test6 {
#if __cplusplus >= 202002L
#define CPP20_CONSTEXPR constexpr
#else
#define CPP20_CONSTEXPR
#endif
struct S {
CPP20_CONSTEXPR ~S() {}
};
S s; // cxx11-warning {{exit-time destructor}}
struct T {
CPP20_CONSTEXPR ~T() { if (b) {} }
bool b;
};
T t; // expected-warning {{exit-time destructor}}
#undef CPP20_CONSTEXPR
}
|
