Searched refs:OldM (Results 1 – 1 of 1) sorted by relevance
497 ProgramState::GenericDataMap OldM = state->getGDM(); in removeGDM() local498 ProgramState::GenericDataMap NewM = GDMFactory.remove(OldM, Key); in removeGDM()500 if (NewM == OldM) in removeGDM()