ubsan_handlers_cxx.cc revision 25ee97fe8ada76755c8bd1087fac9cc3cd03b28c
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 Diag(Data->Loc, DL_Error, 37 "%0 address %1 which does not point to an object of type %2") 38 << TypeCheckKinds[Data->TypeCheckKind] << (void*)Pointer << Data->Type; 39 40 // If possible, say what type it actually points to. 41 // FIXME: Demangle the type names. 42 DynamicTypeInfo DTI = getDynamicTypeInfo((void*)Pointer); 43 if (!DTI.isValid()) 44 Diag(Pointer, DL_Note, "object has invalid vptr") 45 << DTI.getMostDerivedTypeName() 46 << Range(Pointer, Pointer + sizeof(uptr), "invalid vptr"); 47 else if (!DTI.getOffset()) 48 Diag(Pointer, DL_Note, "object is of type %0") 49 << DTI.getMostDerivedTypeName() 50 << Range(Pointer, Pointer + sizeof(uptr), "vptr for %0"); 51 else 52 Diag(Pointer - DTI.getOffset(), DL_Note, 53 "object is base class subobject at offset %0 within object of type %1") 54 << DTI.getOffset() << DTI.getMostDerivedTypeName() 55 << Range(Pointer, Pointer + sizeof(uptr), "vptr for %1"); 56 57 if (Abort) 58 Die(); 59} 60 61void __ubsan::__ubsan_handle_dynamic_type_cache_miss( 62 DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash) { 63 HandleDynamicTypeCacheMiss(Data, Pointer, Hash, false); 64} 65void __ubsan::__ubsan_handle_dynamic_type_cache_miss_abort( 66 DynamicTypeCacheMissData *Data, ValueHandle Pointer, ValueHandle Hash) { 67 HandleDynamicTypeCacheMiss(Data, Pointer, Hash, true); 68} 69