Lines Matching refs:SVB
399 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument() argument
415 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
421 return SVB.makeCompoundVal(ParamType, CompoundSVals); in processArgument()
429 SValBuilder &SVB, in addParameterValuesToBindings() argument
432 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
453 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()
456 std::make_pair(ParamLoc, processArgument(ArgVal, ArgExpr, *I, SVB))); in addParameterValuesToBindings()
559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
560 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
760 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
763 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
768 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
782 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
835 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
846 Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx); in getInitialStackFrameContents()
852 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
878 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
880 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
1325 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1326 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
1332 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
1333 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
1372 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
1374 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx); in getCaller()
1395 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
1397 Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx); in getCaller()