Home | History | Annotate | Download | only in analyzer

Lines Matching defs:dst_node

1502     const exploded_node *dst_node = m_eedge.m_dest;
1505     const program_state &dst_state = dst_node->get_state ();
1532     const exploded_node *dst_node = m_eedge.m_dest;
1535     const program_state &dst_state = dst_node->get_state ();
1793   const exploded_node *dst_node = eedge.m_dest;
1794   const program_point &dst_point = dst_node->get_point ();
1809   const program_state &dst_state = dst_node->get_state ();
1886 			       dst_node,
1927 		    || (dst_node->m_succs.length () > 1
1929 			    == dst_node->m_succs[0]->m_dest->get_point ())))
2087   const exploded_node *dst_node = eedge.m_dest;
2088   const program_point &dst_point = dst_node->get_point ();