fn write_graphviz_results<'tcx, A>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    results: &mut Results<'tcx, A>,
    pass_name: Option<&'static str>
) -> Result<()>where
    A: Analysis<'tcx>,
    A::Domain: DebugWithContext<A>,
Expand description

Writes a DOT file containing the results of a dataflow analysis if the user requested it via rustc_mir attributes and -Z dump-mir-dataflow.