You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
604 B
18 lines
604 B
4 months ago
|
// RUN: %clang_cc1 -emit-llvm -debug-info-kind=limited \
|
||
|
// RUN: -fsanitize=null %s -o - | FileCheck %s
|
||
|
|
||
|
// Check that santizer check calls have a !dbg location.
|
||
|
// CHECK: define {{.*}}acquire{{.*}} !dbg
|
||
|
// CHECK-NOT: define
|
||
|
// CHECK: call void {{.*}}@__ubsan_handle_type_mismatch_v1
|
||
|
// CHECK-SAME: !dbg
|
||
|
|
||
|
struct SourceLocation {
|
||
|
SourceLocation acquire() {};
|
||
|
};
|
||
|
extern "C" void __ubsan_handle_type_mismatch_v1(SourceLocation *Loc);
|
||
|
static void handleTypeMismatchImpl(SourceLocation *Loc) { Loc->acquire(); }
|
||
|
void __ubsan_handle_type_mismatch_v1(SourceLocation *Loc) {
|
||
|
handleTypeMismatchImpl(Loc);
|
||
|
}
|