106                                  QualType CastToTy, const Expr *Object,  in getNoteTag()  argument
110                : CastToTy->getPointeeCXXRecordDecl()->getNameAsString();  in getNoteTag()
163         for (QualType CastToTy: CastToTyVec) {  in getNoteTag()  local
165             CastToTy->getAsCXXRecordDecl() ?  in getNoteTag()
166             CastToTy->getAsCXXRecordDecl()->getNameAsString() :  in getNoteTag()
167             CastToTy->getPointeeCXXRecordDecl()->getNameAsString();  in getNoteTag()
207   QualType CastToTy = Call.getResultType();  in addCastTransition()  local
215     if (CastToTy->isPointerType()) {  in addCastTransition()
222       CastFromTy = alignReferenceTypes(CastFromTy, CastToTy, C.getASTContext());  in addCastTransition()
228       getDynamicCastInfo(State, MR, CastFromTy, CastToTy);  in addCastTransition()
231   bool CastSucceeds = IsCheckedCast || CastFromTy == CastToTy;  in addCastTransition()
246   bool IsKnownCast = CastInfo || IsCheckedCast || CastFromTy == CastToTy;  in addCastTransition()
248     State = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy,  in addCastTransition()
251   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)  in addCastTransition()
255       getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast));  in addCastTransition()
288   for (QualType CastToTy: CastToTyVec) {  in addInstanceOfTransition()  local
290       CastToTy = C.getASTContext().getPointerType(CastToTy);  in addInstanceOfTransition()
292       CastToTy = alignReferenceTypes(CastToTy, CastFromTy, C.getASTContext());  in addInstanceOfTransition()
297       getDynamicCastInfo(State, MR, CastFromTy, CastToTy);  in addInstanceOfTransition()
303       CastSucceeds = IsInstanceOf || CastFromTy == CastToTy;  in addInstanceOfTransition()
306     bool IsKnownCast = CastInfo || CastFromTy == CastToTy;  in addInstanceOfTransition()
310       NewState = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy,  in addInstanceOfTransition()
318           getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), true,  in addInstanceOfTransition()