Lines Matching defs:StateMgr
78 StateMgr(getContext(), mgr.getStoreManagerCreator(),
81 SymMgr(StateMgr.getSymbolManager()),
82 svalBuilder(StateMgr.getSValBuilder()),
105 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
201 ProgramStateManager &StateMgr = State->getStateManager();
202 MemRegionManager &MRMgr = StateMgr.getRegionManager();
203 StoreManager &StoreMgr = StateMgr.getStoreManager();
377 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
408 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
411 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&
418 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);
1464 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr,
1756 StateMgr.EndPath(Pred->getState());