Lines Matching defs:SVB

402                             const ParmVarDecl *Parameter, SValBuilder &SVB) {
418     BasicValueFactory &BVF = SVB.getBasicValueFactory();
424     return SVB.makeCompoundVal(ParamType, CompoundSVals);
437                                        SVal ArgVal, SValBuilder &SVB) {
459   return SVB.evalCast(ArgVal, Param->getType(), ArgExpr->getType());
464                                          SValBuilder &SVB,
467   MemRegionManager &MRMgr = SVB.getRegionManager();
493     ArgVal = castArgToParamTypeIfNeeded(Call, Idx, ArgVal, SVB);
495     Loc ParamLoc = SVB.makeLoc(
498         std::make_pair(ParamLoc, processArgument(ArgVal, ArgExpr, *I, SVB)));
619   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
620   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
741     SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
742     QualType OriginalTy = ThisVal.getType(SVB.getContext());
743     return SVB.evalCast(ThisVal, Base->getType(), OriginalTy);
826     SValBuilder &SVB = StateMgr.getSValBuilder();
829     Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
834       ASTContext &Ctx = SVB.getContext();
848         ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy);
901   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
912     Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx);
918   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
952     SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
954     Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
1399   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1400   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
1406     MemRegionManager &MRMgr = SVB.getRegionManager();
1407     Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
1452     SValBuilder &SVB = State->getStateManager().getSValBuilder();
1454     Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx);
1476   SValBuilder &SVB = State->getStateManager().getSValBuilder();
1478   Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx);