StaticAnalyzer/Core/ProgramState.cpp

37     ProgramStateManager &Mgr = s->getStateManager();
115   ProgramStateManager &Mgr = getStateManager();
126   ProgramStateManager &Mgr = getStateManager();
176   ProgramStateManager &Mgr = getStateManager();
220     getStateManager().StoreMgr->killBinding(OldStore, LV);
232     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
261       if (const llvm::APSInt *Int = getStateManager()
295     getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
302   return getStateManager().getPersistentState(NewSt);
315   ProgramStateManager &SM = getStateManager();
362   return getStateManager().ConstraintMgr->isNull(this, Sym);
407   return getStateManager().getPersistentState(NewSt);
426   ProgramStateManager &Mgr = getStateManager();
514   StoreManager &StoreMgr = state->getStateManager().getStoreManager();
607       StoreManager &StoreMgr = state->getStateManager().getStoreManager();