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