Function rustc_mir_dataflow::framework::engine::write_graphviz_results

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

Writes a DOT file containing the results of a dataflow analysis if the user requested it via rustc_mir attributes.