1 //===-- ubsan_handlers_cxx.h ------------------------------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // Entry points to the runtime library for Clang's undefined behavior sanitizer,
10 // for C++-specific checks. This code is not linked into C binaries.
11 //
12 //===----------------------------------------------------------------------===//
13 #ifndef UBSAN_HANDLERS_CXX_H
14 #define UBSAN_HANDLERS_CXX_H
15 
16 #include "ubsan_value.h"
17 
18 namespace __ubsan {
19 
20 struct DynamicTypeCacheMissData {
21   SourceLocation Loc;
22   const TypeDescriptor &Type;
23   void *TypeInfo;
24   unsigned char TypeCheckKind;
25 };
26 
27 /// \brief Handle a runtime type check failure, caused by an incorrect vptr.
28 /// When this handler is called, all we know is that the type was not in the
29 /// cache; this does not necessarily imply the existence of a bug.
30 extern "C" SANITIZER_INTERFACE_ATTRIBUTE
31 void __ubsan_handle_dynamic_type_cache_miss(
32   DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash);
33 extern "C" SANITIZER_INTERFACE_ATTRIBUTE
34 void __ubsan_handle_dynamic_type_cache_miss_abort(
35   DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash);
36 
37 struct FunctionTypeMismatchData {
38   SourceLocation Loc;
39   const TypeDescriptor &Type;
40 };
41 
42 extern "C" SANITIZER_INTERFACE_ATTRIBUTE void
43 __ubsan_handle_function_type_mismatch_v1(FunctionTypeMismatchData *Data,
44                                          ValueHandle Val,
45                                          ValueHandle calleeRTTI,
46                                          ValueHandle fnRTTI);
47 extern "C" SANITIZER_INTERFACE_ATTRIBUTE void
48 __ubsan_handle_function_type_mismatch_v1_abort(FunctionTypeMismatchData *Data,
49                                                ValueHandle Val,
50                                                ValueHandle calleeRTTI,
51                                                ValueHandle fnRTTI);
52 }
53 
54 #endif // UBSAN_HANDLERS_H
55