Searched refs:StoreMgr (Results 1 - 5 of 5) sorted by relevance
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
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); 192 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 210 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 220 getStateManager().StoreMgr->killBinding(OldStore, LV); 232 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); 368 StoreMgr->getInitialStore(InitLoc), 514 StoreManager &StoreMgr 607 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); local [all...] |
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 | ExprEngine.cpp | 191 StoreManager &StoreMgr = StateMgr.getStoreManager(); local 235 Reg = StoreMgr.evalDerivedToBase(Reg, *I);
|
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 444 OwningPtr<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; 690 return getStateManager().StoreMgr [all...] |
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CallAndMessageChecker.cpp | 149 StoreManager &StoreMgr; member in class:FindUninitializedField 155 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} 172 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
Completed in 156 milliseconds