Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:Mgr

1014   CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1015   T *Copy = static_cast<T *>(Mgr.allocate());
1030   CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1031   Mgr.reclaim(this);