diff options
Diffstat (limited to 'test/CodeGenCXX/sanitize-dtor-tail-call.cpp')
| -rw-r--r-- | test/CodeGenCXX/sanitize-dtor-tail-call.cpp | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGenCXX/sanitize-dtor-tail-call.cpp b/test/CodeGenCXX/sanitize-dtor-tail-call.cpp new file mode 100644 index 0000000..de2fd8c --- /dev/null +++ b/test/CodeGenCXX/sanitize-dtor-tail-call.cpp @@ -0,0 +1,23 @@ +// Test -fsanitize-memory-use-after-dtor +// RUN: %clang_cc1 -fsanitize=memory -fsanitize-memory-use-after-dtor -disable-llvm-optzns -std=c++11 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s +// RUN: %clang_cc1 -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -disable-llvm-optzns -std=c++11 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s + +struct Simple { + int x_; + Simple() { + x_ = 5; + } + ~Simple() { + x_ += 1; + } +}; + +Simple s; +// Simple internal member is poisoned by compiler-generated dtor +// CHECK: define {{.*}}SimpleD2Ev{{.*}} [[ATTRIBUTE:#[0-9]+]] +// CHECK: {{^ *}}call void @__sanitizer_dtor_callback +// CHECK-NOT: call void @__sanitizer_dtor_callback +// CHECK: ret void + +// Destructor does not emit any tail calls +// CHECK: attributes [[ATTRIBUTE]] = {{.*}}"disable-tail-calls"="true" |
