Home
last modified time | relevance | path

Searched refs:StoreMgr (Results 1 – 5 of 5) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp78 StoreMgr = (*CreateSMgr)(*this); in ProgramStateManager()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings()
116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc()
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); in bindDefault()
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
219 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
231 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); in enterStackFrame()
367 StoreMgr->getInitialStore(InitLoc), in getInitialState()
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan() local
[all …]
DExprEngineCallAndReturn.cpp125 StoreManager &StoreMgr) { in adjustReturnValue() argument
149 return StoreMgr.evalDerivedToBase(V, Paths.front()); in adjustReturnValue()
DExprEngine.cpp202 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded() local
246 Reg = StoreMgr.evalDerivedToBase(Reg, *I); in createTemporaryRegionIfNeeded()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h445 std::unique_ptr<StoreManager> StoreMgr; variable
509 StoreManager& getStoreManager() { return *StoreMgr; } in getStoreManager()
520 return StoreMgr->ArrayToPointer(Array, ElementTy); in ArrayToPointer()
530 StoreMgr->iterBindings(state->getStore(), F); in iterBindings()
661 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
666 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
670 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()
674 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()
679 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
689 return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base); in getLValue()
[all …]
/external/clang/lib/StaticAnalyzer/Checkers/
DCallAndMessageChecker.cpp221 StoreManager &StoreMgr; in PreVisitProcessArg() member in CallAndMessageChecker::PreVisitProcessArg::FindUninitializedField
227 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in PreVisitProcessArg()
243 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); in PreVisitProcessArg()