Searched refs:LocalizedMemMap (Results 1 – 1 of 1) sorted by relevance
106 REGISTER_MAP_WITH_PROGRAMSTATE(LocalizedMemMap, const MemRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE() argument675 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt); in hasLocalizedState()688 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt); in hasNonLocalizedState()701 C.getState()->set<LocalizedMemMap>(mt, LocalizedState::getLocalized()); in setLocalizedState()711 ProgramStateRef State = C.getState()->set<LocalizedMemMap>( in setNonLocalizedState()