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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
67 StateMgr(stateMgr),
124 ProgramStateManager &getStateManager() { return StateMgr; }
327 ProgramStateManager &stateMgr);
Store.h 43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
289 ProgramStateManager& getStateManager() override { return StateMgr; }
291 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
294 return StateMgr.getConstraintManager();
299 return StateMgr.getBasicVals();
  /external/clang/lib/StaticAnalyzer/Core/
CallEvent.cpp 490 ProgramStateManager &StateMgr = getState()->getStateManager();
491 SValBuilder &SVB = StateMgr.getSValBuilder();
505 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
    [all...]
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...]
ExprEngine.cpp 68 StateMgr(getContext(), mgr.getStoreManagerCreator(),
71 SymMgr(StateMgr.getSymbolManager()),
72 svalBuilder(StateMgr.getSValBuilder()),
95 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
191 ProgramStateManager &StateMgr = State->getStateManager();
192 MemRegionManager &MRMgr = StateMgr.getRegionManager();
193 StoreManager &StoreMgr = StateMgr.getStoreManager();
367 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
398 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
401 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &
    [all...]

Completed in 583 milliseconds