Lines Matching refs:other_enode
3415 exploded_node *other_enode; in dump_exploded_nodes() local
3416 FOR_EACH_VEC_ELT (m_nodes, j, other_enode) in dump_exploded_nodes()
3418 if (other_enode->get_point ().get_kind () != PK_BEFORE_STMT) in dump_exploded_nodes()
3420 if (other_enode->get_stmt () == stmt) in dump_exploded_nodes()
3421 switch (other_enode->get_status ()) in dump_exploded_nodes()
3426 worklist_enodes.safe_push (other_enode); in dump_exploded_nodes()
3429 processed_enodes.safe_push (other_enode); in dump_exploded_nodes()
3432 merger_enodes.safe_push (other_enode); in dump_exploded_nodes()
3470 exploded_node *other_enode; in dump_exploded_nodes() local
3471 FOR_EACH_VEC_ELT (processed_enodes, j, other_enode) in dump_exploded_nodes()
3475 other_enode->m_index); in dump_exploded_nodes()
3476 other_enode->dump_succs_and_preds (stderr); in dump_exploded_nodes()
3478 other_enode->get_state ().dump (m_ext_state, false); in dump_exploded_nodes()