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