Home
last modified time | relevance | path

Searched refs:CastToTy (Results 1 – 5 of 5) sorted by relevance

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCastValueChecker.cpp163 for (QualType CastToTy: CastToTyVec) { in getNoteTag() local
165 CastToTy->getAsCXXRecordDecl() ? in getNoteTag()
207 QualType CastToTy = Call.getResultType(); in addCastTransition() local
215 if (CastToTy->isPointerType()) { in addCastTransition()
228 getDynamicCastInfo(State, MR, CastFromTy, CastToTy); in addCastTransition()
288 for (QualType CastToTy: CastToTyVec) { in addInstanceOfTransition() local
290 CastToTy = C.getASTContext().getPointerType(CastToTy); in addInstanceOfTransition()
292 CastToTy = alignReferenceTypes(CastToTy, CastFromTy, C.getASTContext()); in addInstanceOfTransition()
297 getDynamicCastInfo(State, MR, CastFromTy, CastToTy); in addInstanceOfTransition()
303 CastSucceeds = IsInstanceOf || CastFromTy == CastToTy; in addInstanceOfTransition()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicType.cpp78 QualType CastToTy) { in getDynamicCastInfo() argument
84 unbox(CastToTy); in getDynamicCastInfo()
87 if (Cast.equals(CastFromTy, CastToTy)) in getDynamicCastInfo()
114 QualType CastToTy, in setDynamicTypeAndCastInfo() argument
120 assert((CastToTy->isAnyPointerType() || CastToTy->isReferenceType()) && in setDynamicTypeAndCastInfo()
122 State = State->set<DynamicTypeMap>(MR, CastToTy); in setDynamicTypeAndCastInfo()
126 unbox(CastToTy); in setDynamicTypeAndCastInfo()
137 Set = F.add(Set, {CastFromTy, CastToTy, ResultKind}); in setDynamicTypeAndCastInfo()
H A DStore.cpp75 QualType CastToTy) { in castRegion() argument
79 if (CastToTy->isObjCObjectPointerType()) in castRegion()
82 if (CastToTy->isBlockPointerType()) { in castRegion()
97 QualType PointeeTy = CastToTy->getPointeeType(); in castRegion()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicType.h46 QualType CastToTy);
70 QualType CastToTy,
H A DStore.h185 QualType CastToTy);