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 DDynamicType.h39 /// Get dynamic cast information from \p CastFromTy to \p CastToTy of \p MR.
43 QualType CastToTy);
57 QualType CastToTy,
H A DStore.h191 /// 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 DDynamicType.cpp67 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 DStore.cpp74 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 DCastValueChecker.cpp105 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 75 milliseconds