HomeSort by relevance Sort by last modified time
    Searched refs:StoreManager (Results 1 - 15 of 15) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
StoreRef.h 24 /// 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; }
Store.h 10 // This file defined the types Store and StoreManager.
40 class StoreManager {
45 /// MRMgr - Manages region objects associated with this StoreManager.
49 StoreManager(ProgramStateManager &stateMgr);
52 virtual ~StoreManager() {}
165 /// If the StoreManager supports it, increment the reference count of
169 /// If the StoreManager supports it, decrement the reference count of
202 /// enterStackFrame - Let the StoreManager to do something when execution
220 virtual bool HandleBinding(StoreManager& SMgr, Store store,
233 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
CheckerContext.h 110 StoreManager &getStoreManager() {
ProgramState.h 44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
440 OwningPtr<StoreManager> StoreMgr;
504 StoreManager& getStoreManager() { return *StoreMgr; }
524 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
674 StoreManager &SM = *getStateManager().StoreMgr;
ExprEngine.h 278 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
SymbolManager.h 586 StoreManager &storeMgr)
644 /// StoreManager::removeDeadBindings has been called.
  /external/clang/lib/StaticAnalyzer/Core/
Store.cpp 10 // This file defined the types Store and StoreManager.
24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
28 StoreRef StoreManager::enterStackFrame(Store OldStore,
45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
73 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
246 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
262 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path)
    [all...]
SValBuilder.cpp 337 StoreManager &storeMgr = StateMgr.getStoreManager();
411 StoreManager &storeMgr = StateMgr.getStoreManager();
ProgramState.cpp 171 StoreManager::InvalidatedRegions Invalidated;
526 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
577 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
RegionStore.cpp 322 class RegionStoreManager : public StoreManager {
336 : StoreManager(mgr), Features(f),
440 /// If the StoreManager supports it, decrement the reference count of
576 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
581 StoreManager *
874 StoreManager::InvalidatedRegions *Regions;
882 StoreManager::InvalidatedRegions *r,
    [all...]
ExprEngineCallAndReturn.cpp 122 StoreManager &StoreMgr) {
    [all...]
ExprEngine.cpp 179 StoreManager &StoreMgr = StateMgr.getStoreManager();
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp 144 StoreManager &StoreMgr;
148 FindUninitializedField(StoreManager &storeMgr,
MacOSKeychainAPIChecker.cpp 221 StoreManager& SM = C.getStoreManager();
RetainCountChecker.cpp     [all...]

Completed in 148 milliseconds