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