diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2015-12-30 11:49:41 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2015-12-30 11:49:41 +0000 |
| commit | 45b533945f0851ec234ca846e1af5ee1e4df0b6e (patch) | |
| tree | 0a5b74c0b9ca73aded34df95c91fcaf3815230d8 /test/CodeGenCXX/sanitize-no-dtor-callback.cpp | |
| parent | 7e86edd64bfae4e324224452e4ea879b3371a4bd (diff) | |
Notes
Diffstat (limited to 'test/CodeGenCXX/sanitize-no-dtor-callback.cpp')
| -rw-r--r-- | test/CodeGenCXX/sanitize-no-dtor-callback.cpp | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGenCXX/sanitize-no-dtor-callback.cpp b/test/CodeGenCXX/sanitize-no-dtor-callback.cpp new file mode 100644 index 000000000000..2c355766216d --- /dev/null +++ b/test/CodeGenCXX/sanitize-no-dtor-callback.cpp @@ -0,0 +1,23 @@ +// Test without the flag -fsanitize-memory-use-after-dtor, to ensure that +// instrumentation is not erroneously inserted +// RUN: %clang_cc1 -fsanitize=memory -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s + +struct Simple { + ~Simple() {} +}; +Simple s; +// CHECK-LABEL: define {{.*}}SimpleD1Ev +// CHECK-NOT: call void @__sanitizer_dtor_callback + +struct Inlined { + inline ~Inlined() {} +}; +Inlined i; +// CHECK-LABEL: define {{.*}}InlinedD1Ev +// CHECK-NOT: call void @__sanitizer_dtor_callback + +// CHECK-LABEL: define {{.*}}SimpleD2Ev +// CHECK-NOT: call void @__sanitizer_dtor_callback + +// CHECK-LABEL: define {{.*}}InlinedD2Ev +// CHECK-NOT: call void @__sanitizer_dtor_callback |