Lines Matching defs:StateMgr
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();
361 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
392 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
395 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&
402 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);
1294 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr,
1545 StateMgr.EndPath(Pred->getState());