Lines Matching defs:CastSucceeds
97 bool CastSucceeds) {
101 return CastSucceeds ? CastInfo->fails() : CastInfo->succeeds();
107 bool CastSucceeds, bool IsKnownCast) {
130 Out << ' ' << (CastSucceeds ? "is a" : "is not a") << " '" << CastToName
231 bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy;
232 if (!CastSucceeds) {
234 CastSucceeds = IsNonNullReturn && CastInfo->succeeds();
236 CastSucceeds = IsNonNullReturn;
240 if (isInfeasibleCast(CastInfo, CastSucceeds)) {
249 CastSucceeds);
251 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)
255 getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast));
299 bool CastSucceeds;
301 CastSucceeds = IsInstanceOf && CastInfo->succeeds();
303 CastSucceeds = IsInstanceOf || CastFromTy == CastToTy;
313 if (CastSucceeds) {