767   exploded_node *enode;  in print_enode_indices()  local
768   FOR_EACH_VEC_ELT (enodes, i, enode)  in print_enode_indices()
773 	  cur_start_idx = cur_finish_idx = enode->m_index;  in print_enode_indices()
777 	  if (enode->m_index == cur_finish_idx + 1)  in print_enode_indices()
779 	    cur_finish_idx = enode->m_index;  in print_enode_indices()
787 	      cur_start_idx = cur_finish_idx = enode->m_index;  in print_enode_indices()
1704 worklist::add_node (exploded_node *enode)  in add_node()  argument
1706   gcc_assert (enode->get_status () == exploded_node::STATUS_WORKLIST);  in add_node()
1707   m_queue.insert (key_t (*this, enode), enode);  in add_node()
1866   exploded_node *enode = get_or_create_node (point, state, NULL);  in add_function_entry()  local
1868   gcc_assert (enode);  in add_function_entry()
1870   add_edge (m_origin, enode, NULL, change);  in add_function_entry()
1871   return enode;  in add_function_entry()
2184     exploded_node *enode = add_function_entry (fun);  in build_initial_worklist()  local
2187 	if (enode)  in build_initial_worklist()
2189 		       enode->m_index, fun->decl);  in build_initial_worklist()
2667   exploded_node *enode;  in print_bar_charts()  local
2668   FOR_EACH_VEC_ELT (m_nodes, i, enode)  in print_bar_charts()
2670       const supernode *iter_snode = enode->get_supernode ();  in print_bar_charts()
2795   exploded_node *enode;  in dump_states_for_supernode()  local
2797   FOR_EACH_VEC_ELT (m_nodes, i, enode)  in dump_states_for_supernode()
2799       const supernode *iter_snode = enode->get_supernode ();  in dump_states_for_supernode()
2800       if (enode->get_point ().get_kind () == PK_AFTER_SUPERNODE  in dump_states_for_supernode()
2805 	  enode->get_state ().dump_to_pp (m_ext_state, true, &pp);  in dump_states_for_supernode()
2807 		   state_idx++, enode->m_index,  in dump_states_for_supernode()
3039     exploded_node *enode;  in dump_dot()  local
3040     FOR_EACH_VEC_ELT (m_enodes, i, enode)  in dump_dot()
3041       enode->dump_dot (gv, args);  in dump_dot()
3200     exploded_node *enode;  in dump_dot()  local
3201     FOR_EACH_VEC_ELT (m_functionless_enodes, i, enode)  in dump_dot()
3202       enode->dump_dot (gv, args);  in dump_dot()
3255 	       exploded_node *enode)  in enode_label()  argument
3256   : m_ext_state (ext_state), m_enode (enode) {}  in enode_label()
3300       exploded_node *enode;  in dump_exploded_nodes()  local
3301       FOR_EACH_VEC_ELT (m_nodes, i, enode)  in dump_exploded_nodes()
3303 	  if (const gimple *stmt = enode->get_stmt ())  in dump_exploded_nodes()
3310 				   new enode_label (m_ext_state, enode));  in dump_exploded_nodes()
3341       exploded_node *enode;  in dump_exploded_nodes()  local
3342       FOR_EACH_VEC_ELT (m_nodes, i, enode)  in dump_exploded_nodes()
3344 	  fprintf (outf, "\nEN %i:\n", enode->m_index);  in dump_exploded_nodes()
3345 	  enode->dump_succs_and_preds (outf);  in dump_exploded_nodes()
3347 	  enode->get_point ().print (&pp, format (true));  in dump_exploded_nodes()
3349 	  enode->get_state ().dump_to_file (m_ext_state, false, outf);  in dump_exploded_nodes()
3361       exploded_node *enode;  in dump_exploded_nodes()  local
3362       FOR_EACH_VEC_ELT (m_nodes, i, enode)  in dump_exploded_nodes()
3371 	  fprintf (outf, "EN %i:\n", enode->m_index);  in dump_exploded_nodes()
3372 	  enode->dump_succs_and_preds (outf);  in dump_exploded_nodes()
3374 	  enode->get_point ().print (&pp, format (true));  in dump_exploded_nodes()
3376 	  enode->get_state ().dump_to_file (m_ext_state, false, outf);  in dump_exploded_nodes()
3395   exploded_node *enode;  in dump_exploded_nodes()  local
3397   FOR_EACH_VEC_ELT (m_nodes, i, enode)  in dump_exploded_nodes()
3399       if (enode->get_point ().get_kind () != PK_BEFORE_STMT)  in dump_exploded_nodes()
3402       if (const gimple *stmt = enode->get_stmt ())  in dump_exploded_nodes()
3550 	exploded_node *enode;  in dump_dot()  local
3552 	FOR_EACH_VEC_ELT (args.m_eg->m_nodes, i, enode)  in dump_dot()
3554 	    if (enode->get_point ().get_function () == m_fun)  in dump_dot()
3573 	    FOR_EACH_VEC_ELT (args.m_eg->m_nodes, i, enode)  in dump_dot()
3575 		if (enode->get_point ().get_function () == m_fun  in dump_dot()
3576 		    && enode->get_point ().get_call_string () == *cs)  in dump_dot()
3761     exploded_node *enode;  in exploded_graph_annotator()  local
3762     FOR_EACH_VEC_ELT (m_eg.m_nodes, i, enode)  in exploded_graph_annotator()
3763       if (enode->get_supernode ())  in exploded_graph_annotator()
3764 	m_enodes_per_snodes[enode->get_supernode ()->m_index]->safe_push (enode);  in exploded_graph_annotator()
3782     exploded_node *enode;  in add_node_annotations()  local
3784     FOR_EACH_VEC_ELT (*m_enodes_per_snodes[n.m_index], i, enode)  in add_node_annotations()
3786 	gcc_assert (enode->get_supernode () == &n);  in add_node_annotations()
3787 	const program_point &point = enode->get_point ();  in add_node_annotations()
3790 	print_enode (gv, enode);  in add_node_annotations()
3812     exploded_node *enode;  in add_stmt_annotations()  local
3814     FOR_EACH_VEC_ELT (*m_enodes_per_snodes[snode->m_index], i, enode)  in add_stmt_annotations()
3816 	const program_point &point = enode->get_point ();  in add_stmt_annotations()
3821 	print_enode (gv, enode);  in add_stmt_annotations()
3844     exploded_node *enode;  in add_after_node_annotations()  local
3845     FOR_EACH_VEC_ELT (*m_enodes_per_snodes[n.m_index], i, enode)  in add_after_node_annotations()
3847 	gcc_assert (enode->get_supernode () == &n);  in add_after_node_annotations()
3848 	const program_point &point = enode->get_point ();  in add_after_node_annotations()
3851 	print_enode (gv, enode);  in add_after_node_annotations()
3867   void print_enode (graphviz_out *gv, const exploded_node *enode) const  in print_enode()
3871 	       enode->get_dot_fillcolor ());  in print_enode()
3874     pp_printf (pp, "EN: %i", enode->m_index);  in print_enode()
3875     switch (enode->get_status ())  in print_enode()
3895 	  if (sd->m_enode == enode)  in print_enode()