Searched refs:CastToTy (Results 1 - 5 of 5) sorted by relevance
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | DynamicType.h | 39 /// Get dynamic cast information from \p CastFromTy to \p CastToTy of \p MR. 43 QualType CastToTy); 57 QualType CastToTy,
|
H A D | Store.h | 191 /// casted and 'CastToTy' the result type of the cast. 192 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | DynamicType.cpp | 67 QualType CastToTy) { 73 if (Cast.equals(CastFromTy, CastToTy)) 94 QualType CastToTy, 100 assert((CastToTy->isAnyPointerType() || CastToTy->isReferenceType()) && 102 State = State->set<DynamicTypeMap>(MR, CastToTy); 114 Set = F.add(Set, {CastFromTy, CastToTy, ResultKind}); 64 getDynamicCastInfo(ProgramStateRef State, const MemRegion *MR, QualType CastFromTy, QualType CastToTy) argument 91 setDynamicTypeAndCastInfo(ProgramStateRef State, const MemRegion *MR, QualType CastFromTy, QualType CastToTy, bool CastSucceeds) argument
|
H A D | Store.cpp | 74 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { argument 78 if (CastToTy->isObjCObjectPointerType()) 81 if (CastToTy->isBlockPointerType()) { 96 QualType PointeeTy = CastToTy->getPointeeType();
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CastValueChecker.cpp | 105 QualType CastToTy, const Expr *Object, 109 : CastToTy->getPointeeCXXRecordDecl()->getNameAsString(); 165 QualType CastToTy = Call.getResultType(); 173 if (CastToTy->isPointerType()) { 180 CastFromTy = alignReferenceTypes(CastFromTy, CastToTy, C.getASTContext()); 186 getDynamicCastInfo(State, MR, CastFromTy, CastToTy); 189 bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy; 204 bool IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy; 206 State = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy, 209 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromT 103 getNoteTag(CheckerContext &C, const DynamicCastInfo *CastInfo, QualType CastToTy, const Expr *Object, bool CastSucceeds, bool IsKnownCast) argument [all...] |
Completed in 67 milliseconds