| // 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); |
| } |
