1*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -S -emit-llvm -o - -O0 %s | FileCheck %s -check-prefix=CHECK-O0 2*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -S -emit-llvm -o - -O0 \ 3*67e74705SXin Li // RUN: -fsanitize=address -fsanitize-address-use-after-scope %s | \ 4*67e74705SXin Li // RUN: FileCheck %s -check-prefix=CHECK-ASAN-USE-AFTER-SCOPE 5*67e74705SXin Li 6*67e74705SXin Li extern int bar(char *A, int n); 7*67e74705SXin Li 8*67e74705SXin Li // CHECK-O0-NOT: @llvm.lifetime.start foo(int n)9*67e74705SXin Liint foo(int n) { 10*67e74705SXin Li if (n) { 11*67e74705SXin Li // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start(i64 10, i8* {{.*}}) 12*67e74705SXin Li char A[10]; 13*67e74705SXin Li return bar(A, 1); 14*67e74705SXin Li // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end(i64 10, i8* {{.*}}) 15*67e74705SXin Li } else { 16*67e74705SXin Li // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start(i64 20, i8* {{.*}}) 17*67e74705SXin Li char A[20]; 18*67e74705SXin Li return bar(A, 2); 19*67e74705SXin Li // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end(i64 20, i8* {{.*}}) 20*67e74705SXin Li } 21*67e74705SXin Li } 22