Function flowistry::infoflow::compute_flow

pub fn compute_flow<'a, 'tcx>(
    tcx: TyCtxt<'tcx>,
    body_id: BodyId,
    body_with_facts: &'a BodyWithBorrowckFacts<'tcx>
) -> FlowResults<'a, 'tcx>

Computes information flow for a MIR body.

See example.rs for a complete example of how to call this function.

To get a BodyWithBorrowckFacts, you can use the get_body_with_borrowck_facts function.

See FlowResults for an explanation of how to use the return value.