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