1 // Test -fsanitize-memory-use-after-dtor
2 // RUN: %clang_cc1 -fsanitize=memory -fsanitize-memory-use-after-dtor -std=c++11 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s
3
4 // Sanitizing dtor is emitted in dtor for every class, and only
5 // poisons once.
6
7 struct Simple {
8 int x;
~SimpleSimple9 ~Simple() {}
10 };
11 Simple s;
12 // Simple internal member is poisoned by compiler-generated dtor
13 // CHECK-LABEL: define {{.*}}SimpleD1Ev
14 // CHECK: call void {{.*}}SimpleD2Ev
15 // CHECK: ret void
16
17 struct Inlined {
18 int y;
~InlinedInlined19 inline ~Inlined() {}
20 };
21 Inlined i;
22 // Simple internal member is poisoned by compiler-generated dtor
23 // CHECK-LABEL: define {{.*}}InlinedD1Ev
24 // CHECK: call void {{.*}}InlinedD2Ev
25 // CHECK: ret void
26
27 struct Defaulted_Trivial {
28 ~Defaulted_Trivial() = default;
29 };
create_def_trivial()30 void create_def_trivial() {
31 Defaulted_Trivial def_trivial;
32 }
33 // The compiler is explicitly signalled to handle object cleanup.
34 // No complex member attributes. Compiler destroys inline, so
35 // no destructor defined.
36 // CHECK-LABEL: define {{.*}}create_def_trivial
37 // CHECK-NOT: call {{.*}}Defaulted_Trivial
38 // CHECK: ret void
39
40 struct Defaulted_Non_Trivial {
41 Simple s;
42 ~Defaulted_Non_Trivial() = default;
43 };
44 Defaulted_Non_Trivial def_non_trivial;
45 // Explicitly compiler-generated dtor poisons object.
46 // By including a Simple member in the struct, the compiler is
47 // forced to generate a non-trivial destructor.
48 // CHECK-LABEL: define {{.*}}Defaulted_Non_TrivialD1Ev
49 // CHECK: call void {{.*}}Defaulted_Non_TrivialD2
50 // CHECK: ret void
51
52
53 // Note: ordering is important. In the emitted bytecode, these
54 // second dtors defined after the first. Explicitly checked here
55 // to confirm that all invoked dtors have member poisoning
56 // instrumentation inserted.
57 // CHECK-LABEL: define {{.*}}SimpleD2Ev
58 // CHECK: call void @__sanitizer_dtor_callback
59 // CHECK-NOT: call void @__sanitizer_dtor_callback
60 // CHECK: ret void
61
62 // CHECK-LABEL: define {{.*}}InlinedD2Ev
63 // CHECK: call void @__sanitizer_dtor_callback
64 // CHECK-NOT: call void @__sanitizer_dtor_callback
65 // CHECK: ret void
66
67 // CHECK-LABEL: define {{.*}}Defaulted_Non_TrivialD2Ev
68 // CHECK: call void @__sanitizer_dtor_callback
69 // CHECK-NOT: call void @__sanitizer_dtor_callback
70 // CHECK: ret void
71