Searched refs:StoreMgr (Results 1 - 5 of 5) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 83 StoreMgr = (*CreateSMgr)(*this); 109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 136 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); 145 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R); 205 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 227 getStateManager().StoreMgr->killBinding(OldStore, LV); 239 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); 387 StoreMgr->getInitialStore(InitLoc), 533 StoreManager &StoreMgr 611 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); local [all...] |
H A D | ExprEngineCallAndReturn.cpp | 127 StoreManager &StoreMgr) { 151 return StoreMgr.evalDerivedToBase(V, Paths.front()); 126 adjustReturnValue(SVal V, QualType ExpectedTy, QualType ActualTy, StoreManager &StoreMgr) argument
|
H A D | ExprEngine.cpp | 338 StoreManager &StoreMgr = StateMgr.getStoreManager(); local 400 Reg = StoreMgr.evalDerivedToBase(Reg, Adj.DerivedToBase.BasePath); 403 Reg = StoreMgr.getLValueField(Adj.Field, Reg);
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 464 std::unique_ptr<StoreManager> StoreMgr; member in class:clang::ento::ProgramStateManager 532 StoreManager &getStoreManager() { return *StoreMgr; } 544 return StoreMgr->ArrayToPointer(Array, ElementTy); 554 StoreMgr->iterBindings(state->getStore(), F); 726 return getStateManager().StoreMgr->getLValueVar(VD, LC); 731 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); 735 return getStateManager().StoreMgr->getLValueIvar(D, Base); 739 return getStateManager().StoreMgr->getLValueField(D, Base); 744 StoreManager &SM = *getStateManager().StoreMgr; 754 return getStateManager().StoreMgr [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CallAndMessageChecker.cpp | 197 StoreManager &StoreMgr; member in class:__anon754::FindUninitializedField 204 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} 219 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
Completed in 201 milliseconds