Searched refs:SVB (Results 1 - 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp257 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 DExprEngineCallAndReturn.cpp581 SValBuilder &SVB = getSValBuilder(); local
583 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
/external/clang/lib/StaticAnalyzer/Checkers/
H A DRetainCountChecker.cpp3176 SValBuilder &SVB = C.getSValBuilder(); local
3177 RetVal = SVB.conjureSymbolVal(0, CE, LCtx, ResultTy, C.blockCount());

Completed in 204 milliseconds