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());