flowistry_pdg_construction

Function compute_pdg

Source
pub fn compute_pdg(tcx: TyCtxt<'_>, def_id: LocalDefId) -> DepGraph<'_>
Expand description

Computes a global program dependence graph (PDG) starting from the root function specified by def_id.