Lines Matching defs:SVB
471 SValBuilder &SVB,
474 MemRegionManager &MRMgr = SVB.getRegionManager();
494 Loc ParamLoc = SVB.makeLoc(
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
592 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
792 SValBuilder &SVB = StateMgr.getSValBuilder();
795 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
800 ASTContext &Ctx = SVB.getContext();
814 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy);
866 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
877 Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx);
883 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
909 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
911 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
1356 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1357 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
1363 MemRegionManager &MRMgr = SVB.getRegionManager();
1364 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
1403 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1405 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx);
1426 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1428 Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx);