Lines Matching refs:CastInfo
97 static bool isInfeasibleCast(const DynamicCastInfo *CastInfo, in isInfeasibleCast() argument
99 if (!CastInfo) in isInfeasibleCast()
102 return CastSucceeds ? CastInfo->fails() : CastInfo->succeeds(); in isInfeasibleCast()
106 const DynamicCastInfo *CastInfo, in getNoteTag() argument
110 CastInfo ? CastInfo->to()->getAsCXXRecordDecl()->getNameAsString() in getNoteTag()
228 const DynamicCastInfo *CastInfo = in addCastTransition() local
234 if (CastInfo) in addCastTransition()
235 CastSucceeds = IsNonNullReturn && CastInfo->succeeds(); in addCastTransition()
241 if (isInfeasibleCast(CastInfo, CastSucceeds)) { in addCastTransition()
247 bool IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy; in addCastTransition()
256 getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast)); in addCastTransition()
297 const DynamicCastInfo *CastInfo = in addInstanceOfTransition() local
301 if (CastInfo) in addInstanceOfTransition()
302 CastSucceeds = IsInstanceOf && CastInfo->succeeds(); in addInstanceOfTransition()
307 bool IsKnownCast = CastInfo || CastFromTy == CastToTy; in addInstanceOfTransition()
319 getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), true, in addInstanceOfTransition()
323 } else if (CastInfo && CastInfo->succeeds()) { in addInstanceOfTransition()