Searched refs:SVB (Results 1 - 3 of 3) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 257 SValBuilder &SVB, 261 MemRegionManager &MRMgr = SVB.getRegionManager(); 270 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); 299 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 300 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 470 SValBuilder &SVB = StateMgr.getSValBuilder(); local 473 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 478 ASTContext &Ctx = SVB.getContext(); 535 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 536 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *thi 255 addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, CallEvent::param_iterator I, CallEvent::param_iterator E) argument 559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 824 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 875 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local 900 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local [all...] |
H A D | ExprEngineCallAndReturn.cpp | 581 SValBuilder &SVB = getSValBuilder(); local 583 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | RetainCountChecker.cpp | 3176 SValBuilder &SVB = C.getSValBuilder(); local 3177 RetVal = SVB.conjureSymbolVal(0, CE, LCtx, ResultTy, C.blockCount());
|
Completed in 204 milliseconds