Home | History | Annotate | Download | only in Core

Lines Matching defs:StateMgr

345     ProgramStateManager &StateMgr = BRC.getStateManager();
346     CallEventManager &CallMgr = StateMgr.getCallEventManager();
464         ProgramStateManager &StateMgr = BRC.getStateManager();
465         CallEventManager &CallMgr = StateMgr.getCallEventManager();
763       ProgramStateManager &StateMgr = N->getState()->getStateManager();
764       MemRegionManager &MRMgr = StateMgr.getRegionManager();
1011     ProgramStateManager &StateMgr = state->getStateManager();
1016         StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());