Searched refs:SuccState (Results 1 – 2 of 2) sorted by relevance
618 int SuccState = SuccStartState->second; in getSuccState() local619 assert(SuccState != OverdefinedState && in getSuccState()622 CommonState = SuccState; in getSuccState()626 if (CommonState != SuccState) in getSuccState()730 int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB); in addStateStores() local731 if (SuccState == OverdefinedState) in addStateStores()736 FinalStates.insert({BB, SuccState}); in addStateStores()
504 auto &SuccState = BlockState[Succ]; in run() local506 if (SuccState.In != NewState) { in run()507 SuccState.In = NewState; in run()510 } else if (SuccState.In.merge(NewState)) { in run()