Searched refs:CastFromTy (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 207 QualType CastFromTy; in addCastTransition() local
212 CastFromTy = Call.parameters()[0]->getType(); in addCastTransition()
215 CastFromTy = Object->getType(); in addCastTransition()
217 if (!CastFromTy->isPointerType()) in addCastTransition()
220 if (!CastFromTy->isReferenceType()) in addCastTransition()
223 CastFromTy = alignReferenceTypes(CastFromTy, CastToTy, C.getASTContext()); in addCastTransition()
229 getDynamicCastInfo(State, MR, CastFromTy, CastToTy); in addCastTransition()
232 bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy; in addCastTransition()
247 bool IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy; in addCastTransition()
249 State = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy, in addCastTransition()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicType.cpp | 77 QualType CastFromTy, in getDynamicCastInfo() argument
83 unbox(CastFromTy); in getDynamicCastInfo()
87 if (Cast.equals(CastFromTy, CastToTy)) in getDynamicCastInfo()
113 QualType CastFromTy, in setDynamicTypeAndCastInfo() argument
125 unbox(CastFromTy); in setDynamicTypeAndCastInfo()
137 Set = F.add(Set, {CastFromTy, CastToTy, ResultKind}); in setDynamicTypeAndCastInfo()
|