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

Lines Matching refs:Mgr
37     ProgramStateManager &Mgr = s->getStateManager();
38     Mgr.StateSet.RemoveNode(s);
40     Mgr.freeStates.push_back(s);
123   ProgramStateManager &Mgr = getStateManager();
124   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 
127   if (MR && Mgr.getOwningEngine() && notifyChanges)
128     return Mgr.getOwningEngine()->processRegionChange(newState, MR);
134   ProgramStateManager &Mgr = getStateManager();
136   const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
138   return Mgr.getOwningEngine() ? 
139            Mgr.getOwningEngine()->processRegionChange(new_state, R) : 
163   ProgramStateManager &Mgr = getStateManager();
164   SubEngine* Eng = Mgr.getOwningEngine();
169       = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
176     Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
396   ProgramStateManager &Mgr = getStateManager();
397   Mgr.getStoreManager().print(getStore(), Out, NL, Sep);
403   Mgr.getConstraintManager().print(this, Out, NL, Sep);
406   Mgr.getOwningEngine()->printState(Out, this, NL, Sep);