Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e93c63d468d36e67cb15d183ecc6b8216c87c138 / . / clang / test / CodeGenCXX / sanitize-dtor-callback.cpp
blob: ecb0f2b2d13b42f78830722cb13e94bb8b51985e [file] [log] [blame]
Evgeniy Stepanov7cacbe42015-07-14 00:34:50 +0000[diff] [blame]1// Test -fsanitize-memory-use-after-dtor
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]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
Evgeniy Stepanov7cacbe42015-07-14 00:34:50 +0000[diff] [blame]3
Naomi Musgraveb9b46f52015-08-14 23:22:03 +0000[diff] [blame]4// Sanitizing dtor is emitted in dtor for every class, and only
5// poisons once.
Naomi Musgravee50cb9b2015-08-13 18:35:11 +0000[diff] [blame]6
Evgeniy Stepanov7cacbe42015-07-14 00:34:50 +0000[diff] [blame]7struct Simple {
Naomi Musgravee50cb9b2015-08-13 18:35:11 +0000[diff] [blame]8 int x;
Evgeniy Stepanov7cacbe42015-07-14 00:34:50 +0000[diff] [blame]9 ~Simple() {}
10};
11Simple s;
12// Simple internal member is poisoned by compiler-generated dtor
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]13// CHECK-LABEL: define {{.*}}SimpleD1Ev
Naomi Musgravee50cb9b2015-08-13 18:35:11 +0000[diff] [blame]14// CHECK: call void {{.*}}SimpleD2Ev
Evgeniy Stepanov7cacbe42015-07-14 00:34:50 +0000[diff] [blame]15// CHECK: ret void
16
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]17struct Inlined {
Naomi Musgravee50cb9b2015-08-13 18:35:11 +0000[diff] [blame]18 int y;
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]19 inline ~Inlined() {}
20};
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]21Inlined i;
22// Simple internal member is poisoned by compiler-generated dtor
23// CHECK-LABEL: define {{.*}}InlinedD1Ev
Naomi Musgravee50cb9b2015-08-13 18:35:11 +0000[diff] [blame]24// CHECK: call void {{.*}}InlinedD2Ev
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]25// CHECK: ret void
26
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]27struct Defaulted_Trivial {
28 ~Defaulted_Trivial() = default;
29};
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]30void create_def_trivial() {
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]31 Defaulted_Trivial def_trivial;
32}
33// The compiler is explicitly signalled to handle object cleanup.
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]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
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]38// CHECK: ret void
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]39
40struct Defaulted_Non_Trivial {
41 Simple s;
42 ~Defaulted_Non_Trivial() = default;
43};
44Defaulted_Non_Trivial def_non_trivial;
45// Explicitly compiler-generated dtor poisons object.
46// By including a Simple member in the struct, the compiler is
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]47// forced to generate a non-trivial destructor.
48// CHECK-LABEL: define {{.*}}Defaulted_Non_TrivialD1Ev
Naomi Musgravee50cb9b2015-08-13 18:35:11 +0000[diff] [blame]49// CHECK: call void {{.*}}Defaulted_Non_TrivialD2
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]50// CHECK: ret void
Naomi Musgraved3ec7c32015-07-15 22:57:10 +0000[diff] [blame]51
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]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
Matt Morehouse4881a232017-09-20 22:53:08 +0000[diff] [blame]58// CHECK-NOT: store i{{[0-9]+}} 0, {{.*}}@__msan_param_tls
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]59// CHECK: call void @__sanitizer_dtor_callback
60// CHECK-NOT: call void @__sanitizer_dtor_callback
61// CHECK: ret void
62
63// CHECK-LABEL: define {{.*}}InlinedD2Ev
Matt Morehouse4881a232017-09-20 22:53:08 +0000[diff] [blame]64// CHECK-NOT: store i{{[0-9]+}} 0, {{.*}}@__msan_param_tls
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]65// CHECK: call void @__sanitizer_dtor_callback
66// CHECK-NOT: call void @__sanitizer_dtor_callback
67// CHECK: ret void
68
69// CHECK-LABEL: define {{.*}}Defaulted_Non_TrivialD2Ev
Matt Morehouse4881a232017-09-20 22:53:08 +0000[diff] [blame]70// CHECK-NOT: store i{{[0-9]+}} 0, {{.*}}@__msan_param_tls
Naomi Musgraveb7b02ad2015-07-16 00:25:45 +0000[diff] [blame]71// CHECK: call void @__sanitizer_dtor_callback
72// CHECK-NOT: call void @__sanitizer_dtor_callback
73// CHECK: ret void