1 // RUN: %clang -target x86_64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 %s | FileCheck %s -check-prefixes=CHECK,CHECK-O0 --implicit-check-not=llvm.lifetime
2 // RUN: %clang -target x86_64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 \
3 // RUN: -fsanitize=address -fsanitize-address-use-after-scope %s | \
4 // RUN: FileCheck %s -check-prefixes=CHECK,CHECK-ASAN-USE-AFTER-SCOPE
5
6 extern int bar(char *A, int n);
7
8 struct X { X(); ~X(); int *p; };
9 struct Y { Y(); int *p; };
10
11 extern "C" void a(), b(), c(), d();
12
13 // CHECK-LABEL: @_Z3foo
foo(int n)14 void foo(int n) {
15 // CHECK: call void @a()
16 a();
17
18 // CHECK: call void @b()
19 // CHECK-ASAN-USE-AFTER-SCOPE: store i1 false
20 // CHECK-ASAN-USE-AFTER-SCOPE: store i1 false
21 // CHECK: br i1
22 //
23 // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start
24 // CHECK-ASAN-USE-AFTER-SCOPE: store i1 true
25 // CHECK: call void @_ZN1XC
26 // CHECK: br label
27 //
28 // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.start
29 // CHECK-ASAN-USE-AFTER-SCOPE: store i1 true
30 // CHECK: call void @_ZN1YC
31 // CHECK: br label
32 //
33 // CHECK: call void @c()
34 // CHECK-ASAN-USE-AFTER-SCOPE: br i1
35 // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end
36 // CHECK-ASAN-USE-AFTER-SCOPE: br i1
37 // CHECK-ASAN-USE-AFTER-SCOPE: @llvm.lifetime.end
38 b(), (n ? X().p : Y().p), c();
39
40 // CHECK: call void @d()
41 d();
42 }
43