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