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