Lines Matching refs:m_enode
170 hstate.add_int (m_setjmp_record.m_enode->m_index); in add_to_hash()
178 return m_setjmp_record.m_enode->m_index; in get_enode_index()
897 if (sd->m_enode == this) in dump_dot()
1718 const program_point &point_a = ka.m_enode->get_point (); in cmp()
1719 const program_point &point_b = kb.m_enode->get_point (); in cmp()
1737 int scc_id_a = ka.get_scc_id (ka.m_enode); in cmp()
1738 int scc_id_b = kb.get_scc_id (kb.m_enode); in cmp()
1744 const supernode *snode_a = ka.m_enode->get_supernode (); in cmp()
1745 const supernode *snode_b = kb.m_enode->get_supernode (); in cmp()
1780 const program_state &state_a = ka.m_enode->get_state (); in cmp()
1781 const program_state &state_b = kb.m_enode->get_state (); in cmp()
1804 return ka.m_enode->m_index - kb.m_enode->m_index; in cmp()
3256 : m_ext_state (ext_state), m_enode (enode) {} in enode_label()
3262 m_enode->get_state ().dump_to_pp (m_ext_state, true, &pp); in get_text()
3264 m_enode->m_index, pp_formatted_text (&pp)); in get_text()
3269 exploded_node *m_enode; member in ana::enode_label
3895 if (sd->m_enode == enode) in print_enode()