diff options
Diffstat (limited to 'test/CodeGenCXX/sanitize-dtor-fn-attribute.cpp')
| -rw-r--r-- | test/CodeGenCXX/sanitize-dtor-fn-attribute.cpp | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/test/CodeGenCXX/sanitize-dtor-fn-attribute.cpp b/test/CodeGenCXX/sanitize-dtor-fn-attribute.cpp new file mode 100644 index 0000000..4af2677 --- /dev/null +++ b/test/CodeGenCXX/sanitize-dtor-fn-attribute.cpp @@ -0,0 +1,43 @@ +// Test -fsanitize-memory-use-after-dtor +// RUN: %clang_cc1 -fsanitize=memory -fsanitize-memory-use-after-dtor -std=c++11 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s + +// The no_sanitize_memory attribute, when applied to a destructor, +// represses emission of sanitizing callback + +template <class T> class Vector { + public: + int size; + ~Vector() {} +}; + +struct No_San { + Vector<int> v; + int x; + No_San() { } + __attribute__((no_sanitize_memory)) ~No_San() = default; +}; + +int main() { + No_San *ns = new No_San(); + ns->~No_San(); + return 0; +} + +// Repressing the sanitization attribute results in no msan +// instrumentation of the destructor +// CHECK: define {{.*}}No_SanD1Ev{{.*}} [[ATTRIBUTE:#[0-9]+]] +// CHECK-NOT: call void {{.*}}sanitizer_dtor_callback +// CHECK: ret void + +// CHECK: define {{.*}}No_SanD2Ev{{.*}} [[ATTRIBUTE:#[0-9]+]] +// CHECK-NOT: call void {{.*}}sanitizer_dtor_callback +// CHECK: call void {{.*}}VectorIiED2Ev +// CHECK-NOT: call void {{.*}}sanitizer_dtor_callback +// CHECK: ret void + +// CHECK: define {{.*}}VectorIiED2Ev +// CHECK: call void {{.*}}sanitizer_dtor_callback +// CHECK: ret void + +// When attribute is repressed, the destructor does not emit any tail calls +// CHECK-NOT: attributes [[ATTRIBUTE]] = {{.*}} sanitize_memory |
