| Vitaly Buka | 9d1b12c | 2016-06-08 18:18:08 +0000 | [diff] [blame] | 1 | // RUN: %clang -target x86_64-linux-gnu -S -emit-llvm -o - -O0 %s | FileCheck %s -check-prefix=CHECK-O0 |
| 2 | // RUN: %clang -target x86_64-linux-gnu -S -emit-llvm -o - -O0 \ |
| Vitaly Buka | 9d4eb6f | 2016-06-02 00:24:20 +0000 | [diff] [blame] | 3 | // RUN: -fsanitize=address -fsanitize-address-use-after-scope %s | \ |
| 4 | // RUN: FileCheck %s -check-prefix=CHECK-ASAN-USE-AFTER-SCOPE |
| Vitaly Buka | 9d4eb6f | 2016-06-02 00:24:20 +0000 | [diff] [blame] | 5 | |
| 6 | extern int bar(char *A, int n); |
| 7 | |
| 8 | // CHECK-O0-NOT: @llvm.lifetime.start |
| 9 | int foo(int n) { |
| 10 | if (n) { |
| Matt Arsenault | d972949 | 2017-04-10 20:18:45 +0000 | [diff] [blame^] | 11 | // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start.p0i8(i64 10, i8* {{.*}}) |
| Vitaly Buka | 9d4eb6f | 2016-06-02 00:24:20 +0000 | [diff] [blame] | 12 | char A[10]; |
| 13 | return bar(A, 1); |
| Matt Arsenault | d972949 | 2017-04-10 20:18:45 +0000 | [diff] [blame^] | 14 | // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end.p0i8(i64 10, i8* {{.*}}) |
| Vitaly Buka | 9d4eb6f | 2016-06-02 00:24:20 +0000 | [diff] [blame] | 15 | } else { |
| Matt Arsenault | d972949 | 2017-04-10 20:18:45 +0000 | [diff] [blame^] | 16 | // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start.p0i8(i64 20, i8* {{.*}}) |
| Vitaly Buka | 9d4eb6f | 2016-06-02 00:24:20 +0000 | [diff] [blame] | 17 | char A[20]; |
| 18 | return bar(A, 2); |
| Matt Arsenault | d972949 | 2017-04-10 20:18:45 +0000 | [diff] [blame^] | 19 | // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end.p0i8(i64 20, i8* {{.*}}) |
| Vitaly Buka | 9d4eb6f | 2016-06-02 00:24:20 +0000 | [diff] [blame] | 20 | } |
| 21 | } |