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
194 /// enterStackFrame - Let the StoreManager to do something when execution
212 virtual bool HandleBinding(StoreManager& SMgr, Store store,
226 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
CheckerContext.h 110 StoreManager &getStoreManager() {
ProgramState.h 44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
444 std::unique_ptr<StoreManager> StoreMgr;
508 StoreManager& getStoreManager() { return *StoreMgr; }
528 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
678 StoreManager &SM = *getStateManager().StoreMgr;
ExprEngine.h 291 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
SymbolManager.h 588 StoreManager &storeMgr)
646 /// 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 188 StoreManager::InvalidatedRegions TopLevelInvalidated;
189 StoreManager::InvalidatedRegions Invalidated;
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
606 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
SValBuilder.cpp 442 StoreManager &storeMgr = StateMgr.getStoreManager();
518 StoreManager &storeMgr = StateMgr.getStoreManager();
RegionStore.cpp 321 class RegionStoreManager : public StoreManager {
352 : StoreManager(mgr), Features(f),
476 /// If the StoreManager supports it, decrement the reference count of
612 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
617 StoreManager *
    [all...]
ExprEngineCallAndReturn.cpp 125 StoreManager &StoreMgr) {
    [all...]
ExprEngine.cpp 193 StoreManager &StoreMgr = StateMgr.getStoreManager();
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp 221 StoreManager &StoreMgr;
225 FindUninitializedField(StoreManager &storeMgr,
MacOSKeychainAPIChecker.cpp 222 StoreManager& SM = C.getStoreManager();
RetainCountChecker.cpp     [all...]

Completed in 3733 milliseconds