pub fn analyze(body: &Body) -> FlowAnalysisExpand description
Run the forward dataflow over a lowered body, producing per-statement entry facts + reachability.
pub fn analyze(body: &Body) -> FlowAnalysisRun the forward dataflow over a lowered body, producing per-statement entry facts + reachability.