76 			   const exploded_node *enode_for_diag,  in impl_region_model_context()
200 		   const exploded_node *enode_for_diag,  in impl_sm_context()
337 				 const_cast<exploded_node *> (m_enode_for_diag),  in on_custom_transition()
343   const exploded_node *m_enode_for_diag;
395 	    const exploded_node *dst_node = eedge->m_dest;  in find_stmt()
422 	const exploded_node *dst_node = eedge->m_dest;  in find_stmt()
761 		     const auto_vec<exploded_node *> &enodes)  in print_enode_indices()
767   exploded_node *enode;  in print_enode_indices()
804 exploded_node::exploded_node (const point_and_state &ps,  in exploded_node()  function in ana::exploded_node
816 exploded_node::get_dot_fillcolor () const  in get_dot_fillcolor()
854 exploded_node::dump_dot (graphviz_out *gv, const dump_args_t &args) const  in dump_dot()
914 exploded_node::dump_dot_id (pretty_printer *pp) const  in dump_dot_id()
922 exploded_node::dump_to_pp (pretty_printer *pp,  in dump_to_pp()
939 exploded_node::dump (FILE *fp,  in dump()
953 exploded_node::dump (const extrinsic_state &ext_state) const  in dump()
1001 exploded_node::on_stmt_flags
1002 exploded_node::on_stmt (exploded_graph &eg,  in on_stmt()
1142 exploded_node::on_edge (exploded_graph &eg,  in on_edge()
1226 exploded_node::on_longjmp (exploded_graph &eg,  in on_longjmp()
1285   exploded_node *next = eg.get_or_create_node (next_point, *new_state, &change);  in on_longjmp()
1291 	= eg.add_edge (const_cast<exploded_node *> (this), next, NULL,  in on_longjmp()
1338 exploded_node::detect_leaks (exploded_graph &eg) const  in detect_leaks()
1372 exploded_node::dump_succs_and_preds (FILE *outf) const  in dump_succs_and_preds()
1377     auto_vec<exploded_node *> preds (m_preds.length ());  in dump_succs_and_preds()
1386     auto_vec<exploded_node *> succs (m_succs.length ());  in dump_succs_and_preds()
1427   const exploded_node *src_node = eedge.m_src;  in add_events_to_path()
1430   const exploded_node *dst_node = eedge.m_dest;  in add_events_to_path()
1450 exploded_edge::exploded_edge (exploded_node *src, exploded_node *dest,  in exploded_edge()
1687 exploded_node *
1695 exploded_node *
1704 worklist::add_node (exploded_node *enode)  in add_node()
1706   gcc_assert (enode->get_status () == exploded_node::STATUS_WORKLIST);  in add_node()
1855 exploded_node *
1866   exploded_node *enode = get_or_create_node (point, state, NULL);  in add_function_entry()
1879 exploded_node *
1940   if (exploded_node **slot = m_point_and_state_to_node.get (&ps))  in get_or_create_node()
1957       exploded_node *existing_enode;  in get_or_create_node()
1985 	      if (exploded_node **slot = m_point_and_state_to_node.get (&ps))  in get_or_create_node()
2019   exploded_node *node = new exploded_node (ps, m_nodes.length ());  in get_or_create_node()
2060 exploded_graph::add_edge (exploded_node *src, exploded_node *dest,  in add_edge()
2184     exploded_node *enode = add_function_entry (fun);  in build_initial_worklist()
2211       exploded_node *node = m_worklist.take_next ();  in process_worklist()
2212       gcc_assert (node->get_status () == exploded_node::STATUS_WORKLIST);  in process_worklist()
2223 	if (exploded_node *node_2 = m_worklist.peek_next ())  in process_worklist()
2226 			== exploded_node::STATUS_WORKLIST);  in process_worklist()
2272 			node_2->set_status (exploded_node::STATUS_MERGER);  in process_worklist()
2282 			node->set_status (exploded_node::STATUS_MERGER);  in process_worklist()
2295 			exploded_node *merged_enode  in process_worklist()
2327 			    node->set_status (exploded_node::STATUS_MERGER);  in process_worklist()
2335 			    node_2->set_status (exploded_node::STATUS_MERGER);  in process_worklist()
2414 exploded_graph::process_node (exploded_node *node)  in process_node()
2419   node->set_status (exploded_node::STATUS_PROCESSED);  in process_node()
2475 	    exploded_node *next  in process_node()
2485 	    exploded_node *next = get_or_create_node (next_point, next_state,  in process_node()
2529 	    exploded_node::on_stmt_flags flags  in process_node()
2547 	exploded_node *next = get_or_create_node (next_point,  in process_node()
2605 	    exploded_node *next = get_or_create_node (next_point, next_state,  in process_node()
2667   exploded_node *enode;  in print_bar_charts()
2795   exploded_node *enode;  in dump_states_for_supernode()
2827       const exploded_node *dst_node = eedge->m_dest;  in find_stmt_backwards()
2841 exploded_node *
2867       const exploded_node &src_enode = *eedge->m_src;  in feasible_p()
3039     exploded_node *enode;  in dump_dot()
3048   void add_node (exploded_node *en) FINAL OVERRIDE  in add_node()
3055   auto_vec <exploded_node *> m_enodes;
3097   void add_node (exploded_node *en) FINAL OVERRIDE  in add_node()
3200     exploded_node *enode;  in dump_dot()
3210   void add_node (exploded_node *en) FINAL OVERRIDE  in add_node()
3243   auto_vec <exploded_node *> m_functionless_enodes;
3255 	       exploded_node *enode)  in enode_label()
3269   exploded_node *m_enode;
3300       exploded_node *enode;  in dump_exploded_nodes()
3341       exploded_node *enode;  in dump_exploded_nodes()
3361       exploded_node *enode;  in dump_exploded_nodes()
3395   exploded_node *enode;  in dump_exploded_nodes()
3410 	      auto_vec<exploded_node *> processed_enodes;  in dump_exploded_nodes()
3411 	      auto_vec<exploded_node *> merger_enodes;  in dump_exploded_nodes()
3412 	      auto_vec<exploded_node *> worklist_enodes;  in dump_exploded_nodes()
3415 	      exploded_node *other_enode;  in dump_exploded_nodes()
3425 		      case exploded_node::STATUS_WORKLIST:  in dump_exploded_nodes()
3428 		      case exploded_node::STATUS_PROCESSED:  in dump_exploded_nodes()
3431 		      case exploded_node::STATUS_MERGER:  in dump_exploded_nodes()
3470 		  exploded_node *other_enode;  in dump_exploded_nodes()
3550 	exploded_node *enode;  in dump_dot()
3760       m_enodes_per_snodes.safe_push (new auto_vec <exploded_node *> ());  in exploded_graph_annotator()
3761     exploded_node *enode;  in exploded_graph_annotator()
3782     exploded_node *enode;  in add_node_annotations()
3812     exploded_node *enode;  in add_stmt_annotations()
3844     exploded_node *enode;  in add_after_node_annotations()
3867   void print_enode (graphviz_out *gv, const exploded_node *enode) const  in print_enode()
3879       case exploded_node::STATUS_WORKLIST:  in print_enode()
3882       case exploded_node::STATUS_PROCESSED:  in print_enode()
3884       case exploded_node::STATUS_MERGER:  in print_enode()
3962   auto_delete_vec<auto_vec <exploded_node *> > m_enodes_per_snodes;