38     ProgramStateManager &Mgr = s->getStateManager();  in ProgramStateRelease()
68   return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this);  in getID()
117   ProgramStateManager &Mgr = getStateManager();  in bindLoc()
130   ProgramStateManager &Mgr = getStateManager();  in bindDefaultInitial()
139   ProgramStateManager &Mgr = getStateManager();  in bindDefaultZero()
187   ProgramStateManager &Mgr = getStateManager();  in invalidateRegionsImpl()
223     getStateManager().StoreMgr->killBinding(OldStore, LV);  in killBinding()
235     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);  in enterStackFrame()
273       if (const llvm::APSInt *Int = getStateManager()  in getSVal()
307     getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,  in BindExpr()
314   return getStateManager().getPersistentState(NewSt);  in BindExpr()
327   ProgramStateManager &SM = getStateManager();  in assumeInBoundDual()
393   return getStateManager().ConstraintMgr->isNull(this, Sym);  in isNull()
438   return getStateManager().getPersistentState(NewSt);  in makeWithStore()
444   return getStateManager().getPersistentState(NewSt);  in cloneAsPosteriorlyOverconstrained()
466   ProgramStateManager &Mgr = getStateManager();  in printJson()
551   StoreManager &StoreMgr = state->getStateManager().getStoreManager();  in scan()
626       StoreManager &StoreMgr = state->getStateManager().getStoreManager();  in scan()