Lines Matching refs:getStateManager
38 ProgramStateManager &Mgr = s->getStateManager();
72 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this);
121 ProgramStateManager &Mgr = getStateManager();
134 ProgramStateManager &Mgr = getStateManager();
143 ProgramStateManager &Mgr = getStateManager();
191 ProgramStateManager &Mgr = getStateManager();
227 getStateManager().StoreMgr->killBinding(OldStore, LV);
239 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
277 if (const llvm::APSInt *Int = getStateManager()
311 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
318 return getStateManager().getPersistentState(NewSt);
331 ProgramStateManager &SM = getStateManager();
388 return getStateManager().ConstraintMgr->isNull(this, Sym);
433 return getStateManager().getPersistentState(NewSt);
455 ProgramStateManager &Mgr = getStateManager();
540 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
618 StoreManager &StoreMgr = state->getStateManager().getStoreManager();