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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 69 /// StateMgr - Object that manages the data for all created states.
70 ProgramStateManager StateMgr;
285 virtual ProgramStateManager& getStateManager() { return StateMgr; }
287 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
290 return StateMgr.getConstraintManager();
295 return StateMgr.getBasicVals();
SValBuilder.h 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
67 StateMgr(stateMgr),
124 ProgramStateManager &getStateManager() { return StateMgr; }
326 ProgramStateManager &stateMgr);
Store.h 43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 66 StateMgr(getContext(), mgr.getStoreManagerCreator(),
69 SymMgr(StateMgr.getSymbolManager()),
70 svalBuilder(StateMgr.getSValBuilder()),
93 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
189 ProgramStateManager &StateMgr = State->getStateManager();
190 MemRegionManager &MRMgr = StateMgr.getRegionManager();
191 StoreManager &StoreMgr = StateMgr.getStoreManager();
360 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
391 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
394 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &
    [all...]
SValBuilder.cpp 433 StoreManager &storeMgr = StateMgr.getStoreManager();
453 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy);
509 StoreManager &storeMgr = StateMgr.getStoreManager();
BugReporterVisitors.cpp 356 ProgramStateManager &StateMgr = BRC.getStateManager();
357 CallEventManager &CallMgr = StateMgr.getCallEventManager();
512 ProgramStateManager &StateMgr = BRC.getStateManager();
513 CallEventManager &CallMgr = StateMgr.getCallEventManager();
847 ProgramStateManager &StateMgr = N->getState()->getStateManager();
848 MemRegionManager &MRMgr = StateMgr.getRegionManager();
    [all...]
Store.cpp 24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
75 ASTContext &Ctx = StateMgr.getContext();
CallEvent.cpp 482 ProgramStateManager &StateMgr = getState()->getStateManager();
483 SValBuilder &SVB = StateMgr.getSValBuilder();
497 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
    [all...]
RegionStore.cpp 360 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
679 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
681 : RM(rm), Ctx(StateMgr.getContext()),
682 svalBuilder(StateMgr.getSValBuilder()),
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp     [all...]

Completed in 172 milliseconds