Searched refs:FromState (Results 1 – 3 of 3) sorted by relevance
662 auto MemAliasPropagate = [&](MatchState FromState, MatchState ToState) { in processWorkListItem() argument663 if (Mapping.second.test(static_cast<size_t>(FromState))) in processWorkListItem()
374 ProgramStateRef FromState, in getPersistentStateWithGDM() argument376 ProgramState NewState(*FromState); in getPersistentStateWithGDM()
542 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,