local_return_dependencies

rapx::verify::call_summary

Function local_return_dependencies 

Source 
fn local_return_dependencies(
    tcx: TyCtxt<'_>,
    callee: DefId,
) -> Option<Vec<usize>>
Expand description

Use the existing dataflow graph to approximate local callee return deps.