efd46bc1ef
Allow `-f[no]-sanitize-address-use-after-scope` to take effect under kernel-address sanitizer (`-fsanitize=kernel-address`). `use-after-scope` is now enabled by default under kernel-address sanitizer. Previously, users may have enabled `use-after-scope` checks for kernel-address sanitizer via `-mllvm -asan-use-after-scope=true`. While this may have worked for optimization levels > O0, the required lifetime intrinsics to allow for `use-after-scope` detection were not emitted under O0. This commit ensures the required lifetime intrinsics are emitted under O0 with kernel-address sanitizer.
64 lines
2.1 KiB
C++
64 lines
2.1 KiB
C++
// RUN: %clang -w -target x86_64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 \
|
|
// RUN: -Xclang -disable-llvm-passes %s | FileCheck %s -check-prefixes=CHECK \
|
|
// RUN: --implicit-check-not=llvm.lifetime
|
|
// RUN: %clang -w -target x86_64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 \
|
|
// RUN: -fsanitize=address -fsanitize-address-use-after-scope \
|
|
// RUN: -Xclang -disable-llvm-passes %s | FileCheck %s -check-prefixes=CHECK,LIFETIME
|
|
// RUN: %clang -w -target x86_64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 \
|
|
// RUN: -fsanitize=kernel-address -fsanitize-address-use-after-scope \
|
|
// RUN: -Xclang -disable-llvm-passes %s | FileCheck %s -check-prefixes=CHECK,LIFETIME
|
|
// RUN: %clang -w -target x86_64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 \
|
|
// RUN: -fsanitize=memory -Xclang -disable-llvm-passes %s | \
|
|
// RUN: FileCheck %s -check-prefixes=CHECK,LIFETIME
|
|
// RUN: %clang -w -target aarch64-linux-gnu -S -emit-llvm -o - -fno-exceptions -O0 \
|
|
// RUN: -fsanitize=hwaddress -Xclang -disable-llvm-passes %s | \
|
|
// RUN: FileCheck %s -check-prefixes=CHECK,LIFETIME
|
|
|
|
extern int bar(char *A, int n);
|
|
|
|
struct X {
|
|
X();
|
|
~X();
|
|
int *p;
|
|
};
|
|
struct Y {
|
|
Y();
|
|
int *p;
|
|
};
|
|
|
|
extern "C" void a(), b(), c(), d();
|
|
|
|
// CHECK: define dso_local void @_Z3fooi(i32 noundef %[[N:[^)]+]])
|
|
void foo(int n) {
|
|
// CHECK: store i32 %[[N]], ptr %[[NADDR:[^,]+]]
|
|
// CHECK-LABEL: call void @a()
|
|
a();
|
|
|
|
// CHECK-LABEL: call void @b()
|
|
// CHECK: [[NARG:%[^ ]+]] = load i32, ptr %[[NADDR]]
|
|
// CHECK: [[BOOL:%[^ ]+]] = icmp ne i32 [[NARG]], 0
|
|
// CHECK: store i1 false
|
|
// CHECK: br i1 [[BOOL]], label %[[ONTRUE:[^,]+]], label %[[ONFALSE:[^,]+]]
|
|
//
|
|
// CHECK: [[ONTRUE]]:
|
|
// LIFETIME: @llvm.lifetime.start
|
|
// LIFETIME: store i1 true
|
|
// LIFETIME: call void @_ZN1XC
|
|
// CHECK: br label %[[END:[^,]+]]
|
|
//
|
|
// CHECK: [[ONFALSE]]:
|
|
// LIFETIME: @llvm.lifetime.start
|
|
// LIFETIME: store i1 true
|
|
// LIFETIME: call void @_ZN1YC
|
|
// CHECK: br label %[[END]]
|
|
//
|
|
// CHECK: [[END]]:
|
|
// CHECK: call void @c()
|
|
// LIFETIME: @llvm.lifetime.end
|
|
// LIFETIME: @llvm.lifetime.end
|
|
b(), (n ? X().p : Y().p), c();
|
|
|
|
// CHECK: call void @d()
|
|
d();
|
|
}
|