Searched refs:FromState (Results 1 – 7 of 7) sorted by relevance
63 for (state_type FromState : DS) { in visitDfaState() local66 auto I = NfaTransitions.find({FromState, A}); in visitDfaState()71 TI.emplace_back(FromState, ToState); in visitDfaState()
401 ProgramStateRef FromState, in getPersistentStateWithGDM() argument403 ProgramState NewState(*FromState); in getPersistentStateWithGDM()
374 ProgramStateRef FromState, in getPersistentStateWithGDM() argument376 ProgramState NewState(*FromState); in getPersistentStateWithGDM()
661 auto MemAliasPropagate = [&](MatchState FromState, MatchState ToState) { in processWorkListItem() argument662 if (Mapping.second.test(static_cast<size_t>(FromState))) in processWorkListItem()
662 auto MemAliasPropagate = [&](MatchState FromState, MatchState ToState) { in processWorkListItem() argument663 if (Mapping.second.test(static_cast<size_t>(FromState))) in processWorkListItem()
542 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,
565 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,