diff options
| author | Vitaly Buka <vitalybuka@google.com> | 2016-06-02 00:24:20 +0000 |
|---|---|---|
| committer | Vitaly Buka <vitalybuka@google.com> | 2016-06-02 00:24:20 +0000 |
| commit | 9d4eb6f3896154134eed8971e10b90cf52a95392 (patch) | |
| tree | 1f99731a8cd4fbb486a78bbb7eae6da55443f2ec /clang/test/CodeGen | |
| parent | f818b86348daa08d9040a33ce694c91a68502dd7 (diff) | |
| download | bcm5719-llvm-9d4eb6f3896154134eed8971e10b90cf52a95392.tar.gz bcm5719-llvm-9d4eb6f3896154134eed8971e10b90cf52a95392.zip | |
[asan] Added -fsanitize-address-use-after-scope flag
Summary:
Also emit lifetime markers for -fsanitize-address-use-after-scope.
Asan uses life-time markers for use-after-scope check.
PR27453
Reviewers: kcc, eugenis, aizatsky
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D20759
llvm-svn: 271451
Diffstat (limited to 'clang/test/CodeGen')
| -rw-r--r-- | clang/test/CodeGen/lifetime-asan.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/clang/test/CodeGen/lifetime-asan.c b/clang/test/CodeGen/lifetime-asan.c new file mode 100644 index 00000000000..a7cf68cc984 --- /dev/null +++ b/clang/test/CodeGen/lifetime-asan.c @@ -0,0 +1,21 @@ +// RUN: %clang -S -emit-llvm -o - -O0 %s | FileCheck %s -check-prefix=CHECK-O0 +// RUN: %clang -S -emit-llvm -o - -O0 \ +// RUN: -fsanitize=address -fsanitize-address-use-after-scope %s | \ +// RUN: FileCheck %s -check-prefix=CHECK-ASAN-USE-AFTER-SCOPE + +extern int bar(char *A, int n); + +// CHECK-O0-NOT: @llvm.lifetime.start +int foo(int n) { + if (n) { + // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start(i64 10, i8* {{.*}}) + char A[10]; + return bar(A, 1); + // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end(i64 10, i8* {{.*}}) + } else { + // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start(i64 20, i8* {{.*}}) + char A[20]; + return bar(A, 2); + // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end(i64 20, i8* {{.*}}) + } +} |
