| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicType.cpp | 28 clang::ento::DynamicTypeInfo)
39 clang::ento::DynamicTypeInfo)
44 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR) { in getDynamicTypeInfo()
48 if (const DynamicTypeInfo *DTI = State->get<DynamicTypeMap>(MR)) in getDynamicTypeInfo()
53 return DynamicTypeInfo(TR->getLocationType(), /*CanBeSub=*/false); in getDynamicTypeInfo()
57 return DynamicTypeInfo(Sym->getType()); in getDynamicTypeInfo()
63 const DynamicTypeInfo *getRawDynamicTypeInfo(ProgramStateRef State, in getRawDynamicTypeInfo()
93 DynamicTypeInfo getClassObjectDynamicTypeInfo(ProgramStateRef State, in getClassObjectDynamicTypeInfo()
95 const DynamicTypeInfo *DTI = State->get<DynamicClassObjectMap>(Sym); in getClassObjectDynamicTypeInfo()
96 return DTI ? *DTI : DynamicTypeInfo{}; in getClassObjectDynamicTypeInfo()
[all …]
|
| H A D | CallEvent.cpp | 736 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
1261 DynamicTypeInfo DTI = getDynamicTypeInfo(getState(), Receiver); in getRuntimeDefinition()
1291 DynamicTypeInfo DTI = in getRuntimeDefinition()
|
| /netbsd-src/sys/external/bsd/compiler_rt/dist/lib/ubsan/ |
| H A D | ubsan_type_hash_win.cc | 46 __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()
|
| H A D | ubsan_type_hash.h | 24 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);
|
| H A D | ubsan_type_hash_itanium.cc | 247 __ubsan::DynamicTypeInfo
251 return DynamicTypeInfo(nullptr, 0, nullptr); in getDynamicTypeInfoFromVtable()
253 return DynamicTypeInfo(nullptr, Vtable->Offset, nullptr); in getDynamicTypeInfoFromVtable()
257 return DynamicTypeInfo(Vtable->TypeInfo->__type_name, -Vtable->Offset, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_handlers_cxx.cc | 42 DynamicTypeInfo DTI = getDynamicTypeInfoFromObject((void*)Pointer); in HandleDynamicTypeCacheMiss()
108 DynamicTypeInfo DTI = ValidVtable in __ubsan_handle_cfi_bad_type()
110 : DynamicTypeInfo(0, 0, 0); in __ubsan_handle_cfi_bad_type()
|
| H A D | ubsan_type_hash.cc | 29 __ubsan::DynamicTypeInfo __ubsan::getDynamicTypeInfoFromObject(void *Object) { in getDynamicTypeInfoFromObject()
|
| /netbsd-src/external/gpl3/gcc.old/dist/libsanitizer/ubsan/ |
| H A D | ubsan_type_hash_win.cc | 44 __ubsan::DynamicTypeInfo
53 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
58 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
68 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
71 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
75 return DynamicTypeInfo(tinfo->name(), obj_locator->offset_to_top, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_type_hash.h | 22 class DynamicTypeInfo {
28 DynamicTypeInfo(const char *MDTN, sptr Offset, const char *STN) in DynamicTypeInfo() function
42 DynamicTypeInfo getDynamicTypeInfoFromObject(void *Object);
45 DynamicTypeInfo getDynamicTypeInfoFromVtable(void *Vtable);
|
| H A D | ubsan_type_hash_itanium.cc | 246 __ubsan::DynamicTypeInfo
250 return DynamicTypeInfo(nullptr, 0, nullptr); in getDynamicTypeInfoFromVtable()
252 return DynamicTypeInfo(nullptr, Vtable->Offset, nullptr); in getDynamicTypeInfoFromVtable()
256 return DynamicTypeInfo(Vtable->TypeInfo->__type_name, -Vtable->Offset, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_handlers_cxx.cc | 40 DynamicTypeInfo DTI = getDynamicTypeInfoFromObject((void*)Pointer); in HandleDynamicTypeCacheMiss()
107 DynamicTypeInfo DTI = ValidVtable in __ubsan_handle_cfi_bad_type()
109 : DynamicTypeInfo(0, 0, 0); in __ubsan_handle_cfi_bad_type()
|
| H A D | ubsan_type_hash.cc | 27 __ubsan::DynamicTypeInfo __ubsan::getDynamicTypeInfoFromObject(void *Object) { in getDynamicTypeInfoFromObject()
|
| /netbsd-src/external/gpl3/gcc/dist/libsanitizer/ubsan/ |
| H A D | ubsan_type_hash_win.cpp | 45 __ubsan::DynamicTypeInfo
54 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
59 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
69 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
72 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
76 return DynamicTypeInfo(tinfo->name(), obj_locator->offset_to_top, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_type_hash.h | 23 class DynamicTypeInfo {
29 DynamicTypeInfo(const char *MDTN, sptr Offset, const char *STN) in DynamicTypeInfo() function
43 DynamicTypeInfo getDynamicTypeInfoFromObject(void *Object);
46 DynamicTypeInfo getDynamicTypeInfoFromVtable(void *Vtable);
|
| H A D | ubsan_type_hash_itanium.cpp | 247 __ubsan::DynamicTypeInfo
251 return DynamicTypeInfo(nullptr, 0, nullptr); in getDynamicTypeInfoFromVtable()
253 return DynamicTypeInfo(nullptr, Vtable->Offset, nullptr); in getDynamicTypeInfoFromVtable()
257 return DynamicTypeInfo(Vtable->TypeInfo->__type_name, -Vtable->Offset, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_handlers_cxx.cpp | 41 DynamicTypeInfo DTI = getDynamicTypeInfoFromObject((void*)Pointer); in HandleDynamicTypeCacheMiss()
107 DynamicTypeInfo DTI = ValidVtable in __ubsan_handle_cfi_bad_type()
109 : DynamicTypeInfo(0, 0, 0); in __ubsan_handle_cfi_bad_type()
|
| H A D | ubsan_type_hash.cpp | 28 __ubsan::DynamicTypeInfo __ubsan::getDynamicTypeInfoFromObject(void *Object) { in getDynamicTypeInfoFromObject()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicType.h | 32 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
35 const DynamicTypeInfo *getRawDynamicTypeInfo(ProgramStateRef State,
39 DynamicTypeInfo getClassObjectDynamicTypeInfo(ProgramStateRef State,
50 DynamicTypeInfo NewTy);
59 DynamicTypeInfo NewTy);
|
| H A D | DynamicTypeInfo.h | 19 class DynamicTypeInfo {
21 DynamicTypeInfo() : DynTy(QualType()) {} in DynamicTypeInfo() function
23 DynamicTypeInfo(QualType Ty, bool CanBeSub = true)
38 bool operator==(const DynamicTypeInfo &RHS) const {
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DynamicTypeChecker.cpp | 96 DynamicTypeInfo TrackedType = getDynamicTypeInfo(State, Reg); in VisitNode()
97 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
165 DynamicTypeInfo DynTypeInfo = getDynamicTypeInfo(State, Region); in checkPostStmt()
|
| H A D | DynamicTypePropagation.cpp | 177 if (DynamicTypeInfo DTI = getDynamicTypeInfo(State, ReceiverRegion)) { in inferReceiverType()
191 if (DynamicTypeInfo DTI = in inferReceiverType()
354 DynamicTypeInfo RecDynType = getDynamicTypeInfo(State, RecReg); in checkPostCall()
|
| /netbsd-src/external/apache2/llvm/dist/clang/docs/analyzer/developer-docs/ |
| H A D | IPA.rst | 224 DynamicTypeInfo section in Basics of Implementation
231 Such type information is tracked as DynamicTypeInfo. This is path-sensitive
233 an (optional) DynamicTypeInfo.
235 If no DynamicTypeInfo has been explicitly set for a MemRegion, it will be lazily
242 The DynamicTypePropagation checker gathers and propagates DynamicTypeInfo,
247 DynamicTypeInfo, nor is it universally appropriate. In particular,
248 DynamicTypeInfo always applies to a region with all casts stripped
257 the CallEvents for dynamic calls will use the DynamicTypeInfo in their
336 are the cases when the DynamicTypeInfo of the object is considered precise
358 DynamicTypeInfo in the DynamicTypePropagation checker.
|