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