Lines Matching refs:CastInfo
96 static bool isInfeasibleCast(const DynamicCastInfo *CastInfo, in isInfeasibleCast() argument
98 if (!CastInfo) in isInfeasibleCast()
101 return CastSucceeds ? CastInfo->fails() : CastInfo->succeeds(); in isInfeasibleCast()
105 const DynamicCastInfo *CastInfo, in getNoteTag() argument
109 CastInfo ? CastInfo->to()->getAsCXXRecordDecl()->getNameAsString() in getNoteTag()
227 const DynamicCastInfo *CastInfo = in addCastTransition() local
233 if (CastInfo) in addCastTransition()
234 CastSucceeds = IsNonNullReturn && CastInfo->succeeds(); in addCastTransition()
240 if (isInfeasibleCast(CastInfo, CastSucceeds)) { in addCastTransition()
246 bool IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy; in addCastTransition()
255 getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast)); in addCastTransition()
296 const DynamicCastInfo *CastInfo = in addInstanceOfTransition() local
300 if (CastInfo) in addInstanceOfTransition()
301 CastSucceeds = IsInstanceOf && CastInfo->succeeds(); in addInstanceOfTransition()
306 bool IsKnownCast = CastInfo || CastFromTy == CastToTy; in addInstanceOfTransition()
318 getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), true, in addInstanceOfTransition()
322 } else if (CastInfo && CastInfo->succeeds()) { in addInstanceOfTransition()