Searched refs:succ_state (Results 1 – 1 of 1) sorted by relevance
495 feasibility_state succ_state (fnode->get_state ()); in process_worklist_item() local497 if (succ_state.maybe_update_for_edge (logger, succ_eedge, &rc)) in process_worklist_item()502 succ_state, in process_worklist_item()