Function flowistry_pdg::rustc::mir::pretty::write_allocations

source · 
pub fn write_allocations<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'_>,
    w: &mut dyn Write
) -> Result<(), Error>
Expand description

Find all AllocIds mentioned (recursively) in the MIR body and print their corresponding allocations.