Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp80 StoreMgr = (*CreateSMgr)(*this); in ProgramStateManager()
106 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc()
142 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero()
201 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
221 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
397 StoreMgr->getInitialStore(InitLoc), in getInitialState()
549 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan() local
554 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this); in scan()
622 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan() local
[all …]
H A DExprEngineCallAndReturn.cpp131 StoreManager &StoreMgr) { in adjustReturnValue() argument
155 return StoreMgr.evalDerivedToBase(V, Paths.front()); in adjustReturnValue()
H A DExprEngine.cpp350 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded() local
415 Reg = StoreMgr.evalDerivedToBase(Reg, Adj.DerivedToBase.BasePath); in createTemporaryRegionIfNeeded()
418 Reg = StoreMgr.getLValueField(Adj.Field, Reg); in createTemporaryRegionIfNeeded()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h511 std::unique_ptr<StoreManager> StoreMgr; variable
579 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager()
591 return StoreMgr->ArrayToPointer(Array, ElementTy); in ArrayToPointer()
601 StoreMgr->iterBindings(state->getStore(), F); in iterBindings()
773 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
778 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
782 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()
786 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()
791 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
825 return getStateManager().StoreMgr->getBinding(getStore(), LV, T); in getRawSVal()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCallAndMessageChecker.cpp243 StoreManager &StoreMgr; member in __anon67a0992d0211::FindUninitializedField
250 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in FindUninitializedField()
265 SVal V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); in Find()