xref: /llvm-project/clang/test/CodeGenCXX/ubsan-check-debuglocs.cpp (revision 12f78e740c5419f7d1fbcf8f2106e7a40cd1d6f7)
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() { return {}; };
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 }
18