Lines Matching defs:SVB
285 SValBuilder &SVB,
289 MemRegionManager &MRMgr = SVB.getRegionManager();
298 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
327 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
328 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
497 SValBuilder &SVB = StateMgr.getSValBuilder();
500 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
505 ASTContext &Ctx = SVB.getContext();
574 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
575 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
598 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
600 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
890 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
891 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
897 MemRegionManager &MRMgr = SVB.getRegionManager();
898 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
941 SValBuilder &SVB = State->getStateManager().getSValBuilder();
943 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx);
967 SValBuilder &SVB = State->getStateManager().getSValBuilder();
969 Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx);