Searched refs:StoreManager (Results 1 - 15 of 15) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStoreRef.h24 /// memory model. Different subclasses of StoreManager may choose
28 class StoreManager;
32 StoreManager &mgr;
34 StoreRef(Store, StoreManager &);
47 const StoreManager &getStoreManager() const { return mgr; }
H A DStore.h10 // This file defined the types Store and StoreManager.
40 class StoreManager { class in namespace:clang::ento
45 /// MRMgr - Manages region objects associated with this StoreManager.
49 StoreManager(ProgramStateManager &stateMgr);
52 virtual ~StoreManager() {}
150 /// If the StoreManager supports it, increment the reference count of
154 /// If the StoreManager supports it, decrement the reference count of
194 /// enterStackFrame - Let the StoreManager to do something when execution
212 virtual bool HandleBinding(StoreManager& SMgr, Store store,
226 bool HandleBinding(StoreManager
[all...]
H A DCheckerContext.h110 StoreManager &getStoreManager() {
H A DProgramState.h44 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
445 std::unique_ptr<StoreManager> StoreMgr;
509 StoreManager& getStoreManager() { return *StoreMgr; }
529 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
679 StoreManager &SM = *getStateManager().StoreMgr;
H A DExprEngine.h300 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
H A DSymbolManager.h588 StoreManager &storeMgr)
644 /// StoreManager::removeDeadBindings has been called.
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp10 // This file defined the types Store and StoreManager.
24 StoreManager::StoreManager(ProgramStateManager &stateMgr) function in class:StoreManager
28 StoreRef StoreManager::enterStackFrame(Store OldStore,
45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
62 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
235 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
251 SVal StoreManager
[all...]
H A DProgramState.cpp188 StoreManager::InvalidatedRegions TopLevelInvalidated;
189 StoreManager::InvalidatedRegions Invalidated;
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
606 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
H A DSValBuilder.cpp442 StoreManager &storeMgr = StateMgr.getStoreManager();
518 StoreManager &storeMgr = StateMgr.getStoreManager();
H A DRegionStore.cpp321 class RegionStoreManager : public StoreManager {
352 : StoreManager(mgr), Features(f),
476 /// If the StoreManager supports it, decrement the reference count of
612 std::unique_ptr<StoreManager>
618 std::unique_ptr<StoreManager>
949 StoreManager::InvalidatedRegions *Regions;
958 StoreManager::InvalidatedRegions *r,
H A DExprEngineCallAndReturn.cpp125 StoreManager &StoreMgr) {
H A DExprEngine.cpp202 StoreManager &StoreMgr = StateMgr.getStoreManager();
2026 // TODO: Move to StoreManager.
/external/clang/lib/StaticAnalyzer/Checkers/
H A DCallAndMessageChecker.cpp221 StoreManager &StoreMgr;
225 FindUninitializedField(StoreManager &storeMgr,
H A DMacOSKeychainAPIChecker.cpp222 StoreManager& SM = C.getStoreManager();
H A DRetainCountChecker.cpp2207 StoreManager::FindUniqueBinding FB(Sym);

Completed in 199 milliseconds