Searched refs:existing_enode (Results 1 – 2 of 2) sorted by relevance
1957 exploded_node *existing_enode; in get_or_create_node() local1959 FOR_EACH_VEC_ELT (per_point_data->m_enodes, i, existing_enode) in get_or_create_node()1963 existing_enode->m_index); in get_or_create_node()1964 gcc_assert (existing_enode->get_point () == point); in get_or_create_node()1965 const program_state &existing_state = existing_enode->get_state (); in get_or_create_node()1975 existing_enode->m_index); in get_or_create_node()1999 existing_enode->m_index); in get_or_create_node()
2629 exploded_node *existing_enode; in get_or_create_node() local2631 FOR_EACH_VEC_ELT (per_point_data->m_enodes, i, existing_enode) in get_or_create_node()2635 existing_enode->m_index); in get_or_create_node()2636 gcc_assert (existing_enode->get_point () == point); in get_or_create_node()2637 const program_state &existing_state = existing_enode->get_state (); in get_or_create_node()2648 existing_enode->m_index); in get_or_create_node()2670 existing_enode->m_index); in get_or_create_node()