clang/test/CodeGenCXX/ubsan-check-debuglocs.cpp

   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 }