Home | History | Annotate | Download | only in analyzer

Lines Matching defs:exploded_node

33 			     exploded_node *enode_for_diag,
98 exploded_node *m_enode_for_diag;
109 exploded_node as its immutable data, and as a key for identifying
156 typedef exploded_node node_t;
163 bool show_enode_details_p (const exploded_node &enode) const;
166 dump_extra_info (const exploded_node *, pretty_printer *) const {}
173 /* An exploded_node is a unique, immutable <point, state> pair within the
175 Each exploded_node has a unique index within the graph
178 class exploded_node : public dnode<eg_traits>
202 exploded_node (const point_and_state &ps, int index);
314 DISABLE_COPY_AND_ASSIGN (exploded_node);
317 is immutable once the exploded_node has been created. */
327 /* The index of this exploded_node. */
341 exploded_edge (exploded_node *src, exploded_node *dest,
443 const exploded_node *get_enode_origin () const
475 typedef exploded_node *value_type;
476 typedef exploded_node *compare_type;
533 auto_vec<exploded_node *> m_enodes;
667 void add_call_summary (exploded_node *node)
672 auto_vec<exploded_node *> m_summaries;
713 /* The worklist of exploded_node instances that have been added to
728 exploded_node *take_next ();
729 exploded_node *peek_next ();
730 void add_node (exploded_node *enode);
742 key_t (const worklist &w, exploded_node *enode)
764 int get_scc_id (const exploded_node *enode) const
773 exploded_node *m_enode;
783 typedef fibonacci_heap<key_t, exploded_node> queue_t;
812 exploded_node *get_origin () const { return m_origin; }
814 exploded_node *add_function_entry (function *fun);
818 bool maybe_process_run_of_before_supernode_enodes (exploded_node *node);
819 void process_node (exploded_node *node);
823 exploded_node *node,
829 exploded_node *get_or_create_node (const program_point &point,
831 exploded_node *enode_for_diag);
832 exploded_edge *add_edge (exploded_node *src, exploded_node *dest,
849 const exploded_node *enode,
873 exploded_node *get_node_by_index (int idx) const;
897 instance from within the exploded_node, with a custom hasher. */
898 typedef hash_map <const point_and_state *, exploded_node *,
909 exploded_node *m_origin;
950 exploded_node *get_final_enode () const;