Searched refs:PredState (Results 1 – 1 of 1) sorted by relevance
569 int PredState = PredEndState->second; in getPredState() local570 assert(PredState != OverdefinedState && in getPredState()573 CommonState = PredState; in getPredState()577 if (CommonState != PredState) in getPredState()706 int PredState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local707 if (PredState == OverdefinedState) in addStateStores()712 InitialStates.insert({BB, PredState}); in addStateStores()713 FinalStates.insert({BB, PredState}); in addStateStores()