Searched defs:StoreMgr (Results 1 - 5 of 5) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 444 std::unique_ptr<StoreManager> StoreMgr; member in class:clang::ento::ProgramStateManager 508 StoreManager& getStoreManager() { return *StoreMgr; } 519 return StoreMgr->ArrayToPointer(Array, ElementTy); 529 StoreMgr->iterBindings(state->getStore(), F); 660 return getStateManager().StoreMgr->getLValueVar(VD, LC); 665 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); 669 return getStateManager().StoreMgr->getLValueIvar(D, Base); 673 return getStateManager().StoreMgr->getLValueField(D, Base); 678 StoreManager &SM = *getStateManager().StoreMgr; 688 return getStateManager().StoreMgr [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CallAndMessageChecker.cpp | 221 StoreManager &StoreMgr; member in class:FindUninitializedField 227 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} 243 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineCallAndReturn.cpp | 125 StoreManager &StoreMgr) { 149 return StoreMgr.evalDerivedToBase(V, Paths.front()); 124 adjustReturnValue(SVal V, QualType ExpectedTy, QualType ActualTy, StoreManager &StoreMgr) argument
|
H A D | ProgramState.cpp | 78 StoreMgr.reset((*CreateSMgr)(*this)); 105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); 191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 219 getStateManager().StoreMgr->killBinding(OldStore, LV); 231 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); 367 StoreMgr->getInitialStore(InitLoc), 513 StoreManager &StoreMgr 606 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); local [all...] |
H A D | ExprEngine.cpp | 193 StoreManager &StoreMgr = StateMgr.getStoreManager(); local 237 Reg = StoreMgr.evalDerivedToBase(Reg, *I);
|
Completed in 2131 milliseconds