ubsan_handlers_cxx.cc revision 245614
1//===-- ubsan_handlers_cxx.cc ---------------------------------------------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 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. 13// 14//===----------------------------------------------------------------------===// 15 16#include "ubsan_handlers_cxx.h" 17#include "ubsan_diag.h" 18#include "ubsan_type_hash.h" 19 20#include "sanitizer_common/sanitizer_common.h" 21 22using namespace __sanitizer; 23using namespace __ubsan; 24 25namespace __ubsan { 26 extern const char *TypeCheckKinds[]; 27} 28 29static void HandleDynamicTypeCacheMiss( 30 DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash, 31 bool Abort) { 32 if (checkDynamicType((void*)Pointer, Data->TypeInfo, Hash)) 33 // Just a cache miss. The type matches after all. 34 return; 35 36 SourceLocation Loc = Data->Loc.acquire(); 37 if (Loc.isDisabled()) 38 return; 39 40 Diag(Loc, DL_Error, 41 "%0 address %1 which does not point to an object of type %2") 42 << TypeCheckKinds[Data->TypeCheckKind] << (void*)Pointer << Data->Type; 43 44 // If possible, say what type it actually points to. 45 // FIXME: Demangle the type names. 46 DynamicTypeInfo DTI = getDynamicTypeInfo((void*)Pointer); 47 if (!DTI.isValid()) 48 Diag(Pointer, DL_Note, "object has invalid vptr") 49 << MangledName(DTI.getMostDerivedTypeName()) 50 << Range(Pointer, Pointer + sizeof(uptr), "invalid vptr"); 51 else if (!DTI.getOffset()) 52 Diag(Pointer, DL_Note, "object is of type %0") 53 << MangledName(DTI.getMostDerivedTypeName()) 54 << Range(Pointer, Pointer + sizeof(uptr), "vptr for %0"); 55 else 56 // FIXME: Find the type at the specified offset, and include that 57 // in the note. 58 Diag(Pointer - DTI.getOffset(), DL_Note, 59 "object is base class subobject at offset %0 within object of type %1") 60 << DTI.getOffset() << MangledName(DTI.getMostDerivedTypeName()) 61 << MangledName(DTI.getSubobjectTypeName()) 62 << Range(Pointer, Pointer + sizeof(uptr), "vptr for %2 base class of %1"); 63 64 if (Abort) 65 Die(); 66} 67 68void __ubsan::__ubsan_handle_dynamic_type_cache_miss( 69 DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash) { 70 HandleDynamicTypeCacheMiss(Data, Pointer, Hash, false); 71} 72void __ubsan::__ubsan_handle_dynamic_type_cache_miss_abort( 73 DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash) { 74 HandleDynamicTypeCacheMiss(Data, Pointer, Hash, true); 75} 76