Home | History | Annotate | Download | only in analyzer

Lines Matching defs:epath

164       if (exploded_path *epath = explore_feasible_paths (enode, desc, diag_idx))
170 			 epath->length ());
171 	  return epath;
192       exploded_path *epath
194       if (epath->feasible_p (logger, out_problem, m_eg.get_engine (), &m_eg))
200 			 epath->length ());
208 			 epath->length (),
211       return epath;
809    If m_stmt is still NULL, use m_stmt_finder on the epath to populate
891 		const exploded_path &epath,
895     m_diag_enode (epath.get_final_enode ()),
1190     /* Determine best epath for SD.  */
1364   const exploded_path *epath = sd.get_best_epath ();
1365   gcc_assert (epath);
1368   path_builder pb (eg, *epath, sd.get_feasibility_problem (), sd);
1374   /* Populate emission_path with a full description of EPATH.  */
1375   build_emission_path (pb, *epath, &emission_path);
1381      We use the final enode from the epath, which might be different from
1384   emission_path.add_final_event (sd.m_sm, epath->get_final_enode (), sd.m_stmt,
1419 	  pp_printf (&pp, "%s.%i.%s.epath.txt",
1422 	  epath->dump_to_file (filename, eg.get_ext_state ());
1431    EPATH within EG.  */
1435 					 const exploded_path &epath,
1470   /* Walk EPATH, adding events as appropriate.  */
1471   for (unsigned i = 0; i < epath.m_edges.length (); i++)
1473       const exploded_edge *eedge = epath.m_edges[i];