Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp79 StoreMgr = (*CreateSMgr)(*this); in ProgramStateManager()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
119 ProgramStateRef State = makeWithStore(Mgr.StoreMgr->Bind(getStore(), LV, V)); in bindLoc()
133 BindResult BindRes = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial()
142 BindResult BindRes = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero()
182 const StoreRef &NewStore = Mgr.StoreMgr->invalidateRegions( in invalidateRegions()
200 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
236 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx)); in enterStackFrame()
397 StoreMgr->getInitialStore(InitLoc), in getInitialState()
469 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()
[all …]
H A DExprEngineCallAndReturn.cpp127 StoreManager &StoreMgr) { in adjustReturnValue() argument
151 return StoreMgr.evalDerivedToBase(V, Paths.front()); in adjustReturnValue()
H A DExprEngine.cpp351 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded() local
416 Reg = StoreMgr.evalDerivedToBase(Reg, Adj.DerivedToBase.BasePath); in createTemporaryRegionIfNeeded()
419 Reg = StoreMgr.getLValueField(Adj.Field, Reg); in createTemporaryRegionIfNeeded()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h506 std::unique_ptr<StoreManager> StoreMgr; variable
574 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager()
586 return StoreMgr->ArrayToPointer(Array, ElementTy); in ArrayToPointer()
596 StoreMgr->iterBindings(state->getStore(), F); in iterBindings()
768 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
773 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
777 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()
782 return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base); in getLValue()
806 return getStateManager().StoreMgr->getBinding(getStore(), LV, T); in getRawSVal()
810 return getStateManager().StoreMgr->getBinding(getStore(), in getSVal()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp212 StoreManager &StoreMgr = State->getStateManager().getStoreManager(); in getTaintedSymbolsImpl() local
213 if (auto DefaultVal = StoreMgr.getDefaultBinding(*LCV)) { in getTaintedSymbolsImpl()
H A DCallAndMessageChecker.cpp241 StoreManager &StoreMgr; member in __anonc0dfdbf70211::FindUninitializedField
248 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in FindUninitializedField()
265 SVal V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); in Find()
H A DStreamChecker.cpp910 auto &StoreMgr = C.getStoreManager(); in assumeNoAliasingWithStdStreams() local
912 SVal VarValue = State->getSVal(StoreMgr.getLValueVar(Var, LCtx)); in assumeNoAliasingWithStdStreams()