Lines Matching defs:mt
669 const MemRegion *mt = S.getAsRegion();
670 if (mt) {
671 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
682 const MemRegion *mt = S.getAsRegion();
683 if (mt) {
684 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
694 const MemRegion *mt = S.getAsRegion();
695 if (mt) {
697 C.getState()->set<LocalizedMemMap>(mt, LocalizedState::getLocalized());
705 const MemRegion *mt = S.getAsRegion();
706 if (mt) {
708 mt, LocalizedState::getNonLocalized());