Function rustc_mir::dataflow::framework::engine::write_graphviz_results

fn write_graphviz_results<A, 'tcx>(
    tcx: TyCtxt<'tcx>, 
    def_id: DefId, 
    body: &Body<'tcx>, 
    results: &Results<'tcx, A>, 
    block_transfer_functions: Option<IndexVec<BasicBlock, GenKillSet<A::Idx>>>
) -> Result<()> where
    A: Analysis<'tcx>, 

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