Searched refs:EndState (Results 1 – 1 of 1) sorted by relevance
753 auto EndState = FinalStates.find(BB); in addStateStores() local754 if (EndState != FinalStates.end()) in addStateStores()755 if (EndState->second != PrevState) in addStateStores()756 insertStateNumberStore(BB->getTerminator(), EndState->second); in addStateStores()