Lines Matching defs:SVB
507 SValBuilder &SVB,
510 MemRegionManager &MRMgr = SVB.getRegionManager();
531 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
596 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
597 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
797 SValBuilder &SVB = StateMgr.getSValBuilder();
800 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
805 ASTContext &Ctx = SVB.getContext();
819 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy);
871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
882 Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx);
888 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
916 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
918 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
1348 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1349 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
1355 MemRegionManager &MRMgr = SVB.getRegionManager();
1356 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
1399 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1401 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx);
1415 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1417 Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx);