Searched refs:LocalizedMemMap (Results 1 – 1 of 1) sorted by relevance
107 REGISTER_MAP_WITH_PROGRAMSTATE(LocalizedMemMap, const MemRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE() argument676 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt); in hasLocalizedState()689 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt); in hasNonLocalizedState()702 C.getState()->set<LocalizedMemMap>(mt, LocalizedState::getLocalized()); in setLocalizedState()712 ProgramStateRef State = C.getState()->set<LocalizedMemMap>( in setNonLocalizedState()