107                                  QualType CastToTy, const Expr *Object,  in getNoteTag()  argument
111                : CastToTy.getAsString();  in getNoteTag()
164         for (QualType CastToTy: CastToTyVec) {  in getNoteTag()  local
166               CastToTy->getAsCXXRecordDecl()  in getNoteTag()
167                   ? CastToTy->getAsCXXRecordDecl()->getNameAsString()  in getNoteTag()
168                   : CastToTy.getAsString();  in getNoteTag()
208   QualType CastToTy = Call.getResultType();  in addCastTransition()  local
216     if (CastToTy->isPointerType()) {  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()
253                         : C.getSValBuilder().makeNullWithType(CastToTy);  in addCastTransition()
256       getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast));  in addCastTransition()
289   for (QualType CastToTy: CastToTyVec) {  in addInstanceOfTransition()  local
291       CastToTy = C.getASTContext().getPointerType(CastToTy);  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()
319           getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), true,  in addInstanceOfTransition()