Lines Matching defs:mt

667   const MemRegion *mt = S.getAsRegion();
668   if (mt) {
669     const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
680   const MemRegion *mt = S.getAsRegion();
681   if (mt) {
682     const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
692   const MemRegion *mt = S.getAsRegion();
693   if (mt) {
695         C.getState()->set<LocalizedMemMap>(mt, LocalizedState::getLocalized());
703   const MemRegion *mt = S.getAsRegion();
704   if (mt) {
706         mt, LocalizedState::getNonLocalized());