150
|
1 // RUN: %clang_cc1 -emit-llvm -debug-info-kind=limited \
|
|
2 // RUN: -fsanitize=null %s -o - | FileCheck %s
|
|
3
|
|
4 // Check that santizer check calls have a !dbg location.
|
|
5 // CHECK: define {{.*}}acquire{{.*}} !dbg
|
|
6 // CHECK-NOT: define
|
|
7 // CHECK: call void {{.*}}@__ubsan_handle_type_mismatch_v1
|
|
8 // CHECK-SAME: !dbg
|
|
9
|
|
10 struct SourceLocation {
|
|
11 SourceLocation acquire() {};
|
|
12 };
|
|
13 extern "C" void __ubsan_handle_type_mismatch_v1(SourceLocation *Loc);
|
|
14 static void handleTypeMismatchImpl(SourceLocation *Loc) { Loc->acquire(); }
|
|
15 void __ubsan_handle_type_mismatch_v1(SourceLocation *Loc) {
|
|
16 handleTypeMismatchImpl(Loc);
|
|
17 }
|