Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

Lines Matching defs:Mgr
37     ProgramStateManager &Mgr = s->getStateManager();
38     Mgr.StateSet.RemoveNode(s);
40     Mgr.freeStates.push_back(s);
115   ProgramStateManager &Mgr = getStateManager();
116   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 
119   if (MR && Mgr.getOwningEngine() && notifyChanges)
120     return Mgr.getOwningEngine()->processRegionChange(newState, MR);
126   ProgramStateManager &Mgr = getStateManager();
128   const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
130   return Mgr.getOwningEngine() ? 
131            Mgr.getOwningEngine()->processRegionChange(new_state, R) : 
176   ProgramStateManager &Mgr = getStateManager();
177   SubEngine* Eng = Mgr.getOwningEngine();
191     = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
209   Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
425   ProgramStateManager &Mgr = getStateManager();
426   Mgr.getStoreManager().print(getStore(), Out, NL, Sep);
432   Mgr.getConstraintManager().print(this, Out, NL, Sep);
435   Mgr.getOwningEngine()->printState(Out, this, NL, Sep);