98                              bool CastSucceeds) {  in isInfeasibleCast()  argument
102   return CastSucceeds ? CastInfo->fails() : CastInfo->succeeds();  in isInfeasibleCast()
108                                  bool CastSucceeds, bool IsKnownCast) {  in getNoteTag()  argument
131         Out << ' ' << (CastSucceeds ? "is a" : "is not a") << " '" << CastToName  in getNoteTag()
232   bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy;  in addCastTransition()  local
233   if (!CastSucceeds) {  in addCastTransition()
235       CastSucceeds = IsNonNullReturn && CastInfo->succeeds();  in addCastTransition()
237       CastSucceeds = IsNonNullReturn;  in addCastTransition()
241   if (isInfeasibleCast(CastInfo, CastSucceeds)) {  in addCastTransition()
250                                       CastSucceeds);  in addCastTransition()
252   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)  in addCastTransition()
256       getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast));  in addCastTransition()
300     bool CastSucceeds;  in addInstanceOfTransition()  local
302       CastSucceeds = IsInstanceOf && CastInfo->succeeds();  in addInstanceOfTransition()
304       CastSucceeds = IsInstanceOf || CastFromTy == CastToTy;  in addInstanceOfTransition()
314     if (CastSucceeds) {  in addInstanceOfTransition()