Home
last modified time | relevance | path

Searched refs:DynamicTypeInfo (Results 1 – 12 of 12) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DDynamicTypeMap.cpp21 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, in getDynamicTypeInfo()
26 const DynamicTypeInfo *GDMType = State->get<DynamicTypeMap>(Reg); in getDynamicTypeInfo()
32 return DynamicTypeInfo(TR->getLocationType(), /*CanBeSubclass=*/false); in getDynamicTypeInfo()
36 return DynamicTypeInfo(Sym->getType()); in getDynamicTypeInfo()
39 return DynamicTypeInfo(); in getDynamicTypeInfo()
43 DynamicTypeInfo NewTy) { in setDynamicTypeInfo()
DCallEvent.cpp488 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
916 DynamicTypeInfo DTI = getDynamicTypeInfo(getState(), Receiver); in getRuntimeDefinition()
/external/compiler-rt/lib/ubsan/
Dubsan_type_hash_win.cc46 __ubsan::DynamicTypeInfo
55 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
60 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
70 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
73 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
77 return DynamicTypeInfo(tinfo->name(), obj_locator->offset_to_top, in getDynamicTypeInfoFromVtable()
Dubsan_type_hash.h24 class DynamicTypeInfo {
30 DynamicTypeInfo(const char *MDTN, sptr Offset, const char *STN) in DynamicTypeInfo() function
44 DynamicTypeInfo getDynamicTypeInfoFromObject(void *Object);
47 DynamicTypeInfo getDynamicTypeInfoFromVtable(void *Vtable);
Dubsan_type_hash_itanium.cc245 __ubsan::DynamicTypeInfo
249 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
251 return DynamicTypeInfo(0, Vtable->Offset, 0); in getDynamicTypeInfoFromVtable()
255 return DynamicTypeInfo(Vtable->TypeInfo->__type_name, -Vtable->Offset, in getDynamicTypeInfoFromVtable()
Dubsan_handlers_cxx.cc42 DynamicTypeInfo DTI = getDynamicTypeInfoFromObject((void*)Pointer); in HandleDynamicTypeCacheMiss()
107 DynamicTypeInfo DTI = ValidVtable in HandleCFIBadType()
109 : DynamicTypeInfo(0, 0, 0); in HandleCFIBadType()
Dubsan_type_hash.cc29 __ubsan::DynamicTypeInfo __ubsan::getDynamicTypeInfoFromObject(void *Object) { in getDynamicTypeInfoFromObject()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DDynamicTypeMap.h27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
39 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State,
44 DynamicTypeInfo NewTy);
51 DynamicTypeInfo(NewTy, CanBeSubClassed));
DDynamicTypeInfo.h19 class DynamicTypeInfo {
26 DynamicTypeInfo() : T(QualType()) {} in DynamicTypeInfo() function
27 DynamicTypeInfo(QualType WithType, bool CanBeSub = true)
44 bool operator==(const DynamicTypeInfo &X) const {
/external/clang/lib/StaticAnalyzer/Checkers/
DDynamicTypeChecker.cpp100 DynamicTypeInfo TrackedType = getDynamicTypeInfo(State, Reg); in VisitNode()
101 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
174 DynamicTypeInfo DynTypeInfo = getDynamicTypeInfo(State, Region); in checkPostStmt()
DDynamicTypePropagation.cpp240 DynamicTypeInfo RecDynType = getDynamicTypeInfo(State, RecReg); in checkPostCall()
/external/clang/docs/analyzer/
DIPA.txt217 == DynamicTypeInfo ==
223 Such type information is tracked as DynamicTypeInfo. This is path-sensitive
225 an (optional) DynamicTypeInfo.
227 If no DynamicTypeInfo has been explicitly set for a MemRegion, it will be lazily
234 The DynamicTypePropagation checker gathers and propagates DynamicTypeInfo,
239 DynamicTypeInfo, nor is it universally appropriate. In particular,
240 DynamicTypeInfo always applies to a region with all casts stripped
248 the CallEvents for dynamic calls will use the DynamicTypeInfo in their
326 are the cases when the DynamicTypeInfo of the object is considered precise
348 DynamicTypeInfo in the DynamicTypePropagation checker.