207   QualType CastFromTy;  in addCastTransition()  local
212     CastFromTy = Call.parameters()[0]->getType();  in addCastTransition()
215     CastFromTy = Object->getType();  in addCastTransition()
217       if (!CastFromTy->isPointerType())  in addCastTransition()
220       if (!CastFromTy->isReferenceType())  in addCastTransition()
223       CastFromTy = alignReferenceTypes(CastFromTy, CastToTy, C.getASTContext());  in addCastTransition()
229       getDynamicCastInfo(State, MR, CastFromTy, CastToTy);  in addCastTransition()
232   bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy;  in addCastTransition()
247   bool IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy;  in addCastTransition()
249     State = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy,  in addCastTransition()
252   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)  in addCastTransition()
264   QualType CastFromTy = Call.parameters()[0]->getType();  in addInstanceOfTransition()  local
284   if (MR && CastFromTy->isReferenceType())  in addInstanceOfTransition()
290     if (CastFromTy->isPointerType())  in addInstanceOfTransition()
292     else if (CastFromTy->isReferenceType())  in addInstanceOfTransition()
293       CastToTy = alignReferenceTypes(CastToTy, CastFromTy, C.getASTContext());  in addInstanceOfTransition()
298       getDynamicCastInfo(State, MR, CastFromTy, CastToTy);  in addInstanceOfTransition()
304       CastSucceeds = IsInstanceOf || CastFromTy == CastToTy;  in addInstanceOfTransition()
307     bool IsKnownCast = CastInfo || CastFromTy == CastToTy;  in addInstanceOfTransition()
311       NewState = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy,  in addInstanceOfTransition()