gcc/analyzer/engine.cc

389 	    const exploded_edge *eedge = epath.m_edges[idx];
391 	      logger->log ("eedge[%i]: EN %i -> EN %i",
393 			   eedge->m_src->m_index,
394 			   eedge->m_dest->m_index);
395 	    const exploded_node *dst_node = eedge->m_dest;
414     const exploded_edge *eedge;
415     FOR_EACH_VEC_ELT_REVERSE (epath.m_edges, i, eedge)
418 	  logger->log ("eedge[%i]: EN %i -> EN %i",
420 		       eedge->m_src->m_index,
421 		       eedge->m_dest->m_index);
422 	const exploded_node *dst_node = eedge->m_dest;
1250   /* Build a custom enode and eedge for rewinding from the longjmp/siglongjmp
1290       exploded_edge *eedge
1326 	  sd->m_trailing_eedge = eedge;
1407 			     const exploded_edge &eedge)
1409   const program_point &longjmp_point = eedge.m_src->get_point ();
1410   const program_point &setjmp_point = eedge.m_dest->get_point ();
1425 				   const exploded_edge &eedge)
1427   const exploded_node *src_node = eedge.m_src;
1430   const exploded_node *dst_node = eedge.m_dest;
1436      (&eedge, get_longjmp_call ()->location,
1441      (&eedge, get_setjmp_call ()->location,
2057    Return the newly-created eedge.  */
2824   const exploded_edge *eedge;
2825   FOR_EACH_VEC_ELT_REVERSE (m_edges, i, eedge)
2827       const exploded_node *dst_node = eedge->m_dest;
2861       const exploded_edge *eedge = m_edges[i];
2865 		     eedge->m_src->m_index,
2866 		     eedge->m_dest->m_index);
2867       const exploded_node &src_enode = *eedge->m_src;
2889       const superedge *sedge = eedge->m_sedge;
2907 		*out = new feasibility_problem (i, model, *eedge, last_stmt);
2913 	  /* Special-case the initial eedge from the origin node to the
2917 	      gcc_assert (eedge->m_src->m_index == 0);
2919 	      gcc_assert (eedge->m_dest->get_point ().get_kind ()
2921 	      function *fun = eedge->m_dest->get_function ();
2927 	  else if (eedge->m_custom_info)
2928 	    eedge->m_custom_info->update_model (&model, *eedge);
2952 		       eedge->m_src->m_index,
2953 		       eedge->m_dest->m_index);
2970       const exploded_edge *eedge = m_edges[i];
2973 		 eedge->m_src->m_index,
2974 		 eedge->m_dest->m_index);
3933 	  pp_printf (pp, "at eedge %i: EN:%i -> EN:%i",