]>
git.proxmox.com Git - rustc.git/blob - src/compiler-rt/lib/ubsan/ubsan_handlers_cxx.cc
b6cddefeb4f4ad6e1a4ae261ee02780a15f9178b
1 //===-- ubsan_handlers_cxx.cc ---------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Error logging entry points for the UBSan runtime, which are only used for C++
11 // compilations. This file is permitted to use language features which require
12 // linking against a C++ ABI library.
14 //===----------------------------------------------------------------------===//
16 #include "ubsan_handlers_cxx.h"
17 #include "ubsan_diag.h"
18 #include "ubsan_type_hash.h"
20 #include "sanitizer_common/sanitizer_common.h"
22 using namespace __sanitizer
;
23 using namespace __ubsan
;
26 extern const char *TypeCheckKinds
[];
29 static void HandleDynamicTypeCacheMiss(
30 DynamicTypeCacheMissData
*Data
, ValueHandle Pointer
, ValueHandle Hash
,
32 if (checkDynamicType((void*)Pointer
, Data
->TypeInfo
, Hash
))
33 // Just a cache miss. The type matches after all.
36 SourceLocation Loc
= Data
->Loc
.acquire();
41 "%0 address %1 which does not point to an object of type %2")
42 << TypeCheckKinds
[Data
->TypeCheckKind
] << (void*)Pointer
<< Data
->Type
;
44 // If possible, say what type it actually points to.
45 DynamicTypeInfo DTI
= getDynamicTypeInfo((void*)Pointer
);
47 Diag(Pointer
, DL_Note
, "object has invalid vptr")
48 << MangledName(DTI
.getMostDerivedTypeName())
49 << Range(Pointer
, Pointer
+ sizeof(uptr
), "invalid vptr");
50 else if (!DTI
.getOffset())
51 Diag(Pointer
, DL_Note
, "object is of type %0")
52 << MangledName(DTI
.getMostDerivedTypeName())
53 << Range(Pointer
, Pointer
+ sizeof(uptr
), "vptr for %0");
55 // FIXME: Find the type at the specified offset, and include that
57 Diag(Pointer
- DTI
.getOffset(), DL_Note
,
58 "object is base class subobject at offset %0 within object of type %1")
59 << DTI
.getOffset() << MangledName(DTI
.getMostDerivedTypeName())
60 << MangledName(DTI
.getSubobjectTypeName())
61 << Range(Pointer
, Pointer
+ sizeof(uptr
), "vptr for %2 base class of %1");
67 void __ubsan::__ubsan_handle_dynamic_type_cache_miss(
68 DynamicTypeCacheMissData
*Data
, ValueHandle Pointer
, ValueHandle Hash
) {
69 HandleDynamicTypeCacheMiss(Data
, Pointer
, Hash
, false);
71 void __ubsan::__ubsan_handle_dynamic_type_cache_miss_abort(
72 DynamicTypeCacheMissData
*Data
, ValueHandle Pointer
, ValueHandle Hash
) {
73 HandleDynamicTypeCacheMiss(Data
, Pointer
, Hash
, true);