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() {}
150 /// If the StoreManager supports it, increment the reference count of
154 /// If the StoreManager supports it, decrement the reference count of
201 /// enterStackFrame - Let the StoreManager to do something when execution
219 virtual bool HandleBinding(StoreManager& SMgr, Store store,
232 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
CheckerContext.h 110 StoreManager &getStoreManager() {
ProgramState.h 44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
445 OwningPtr<StoreManager> StoreMgr;
509 StoreManager& getStoreManager() { return *StoreMgr; }
529 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
679 StoreManager &SM = *getStateManager().StoreMgr;
ExprEngine.h 287 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
SymbolManager.h 591 StoreManager &storeMgr)
649 /// 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...]
ProgramState.cpp 197 StoreManager::InvalidatedRegions TopLevelInvalidated;
198 StoreManager::InvalidatedRegions TopLevelConstInvalidated;
199 StoreManager::InvalidatedRegions Invalidated;
215 StoreManager::InvalidatedRegions Empty;
574 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
625 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
SValBuilder.cpp 433 StoreManager &storeMgr = StateMgr.getStoreManager();
509 StoreManager &storeMgr = StateMgr.getStoreManager();
RegionStore.cpp 325 class RegionStoreManager : public StoreManager {
357 : StoreManager(mgr), Features(f),
474 /// If the StoreManager supports it, decrement the reference count of
609 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
614 StoreManager *
    [all...]
ExprEngineCallAndReturn.cpp 125 StoreManager &StoreMgr) {
    [all...]
ExprEngine.cpp 191 StoreManager &StoreMgr = StateMgr.getStoreManager();
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp 145 StoreManager &StoreMgr;
149 FindUninitializedField(StoreManager &storeMgr,
MacOSKeychainAPIChecker.cpp 222 StoreManager& SM = C.getStoreManager();
RetainCountChecker.cpp     [all...]

Completed in 3631 milliseconds