Lines Matching refs:exploded_node
71 const exploded_node *enode, in saved_diagnostic()
128 const exploded_node *get_diag_node () const { return m_diag_enode; } in get_diag_node()
130 bool reachable_from_p (const exploded_node *src_enode) const in reachable_from_p()
143 const exploded_node *m_diag_enode;
162 const exploded_node *enode, in add_diagnostic()
186 diagnostic_manager::add_diagnostic (const exploded_node *enode, in add_diagnostic()
657 const exploded_node *src_node = m_eedge.m_src; in on_global_state_change()
660 const exploded_node *dst_node = m_eedge.m_dest; in on_global_state_change()
685 const exploded_node *src_node = m_eedge.m_src; in on_state_change()
688 const exploded_node *dst_node = m_eedge.m_dest; in on_state_change()
820 const exploded_node *src_node = eedge.m_src; in add_events_for_eedge()
822 const exploded_node *dst_node = eedge.m_dest; in add_events_for_eedge()
995 const exploded_node *src_node = eedge.m_src; in add_events_for_superedge()
997 const exploded_node *dst_node = eedge.m_dest; in add_events_for_superedge()