Skip to main content

Module graphviz

rustc_mir_dataflow::framework

Module graphviz

Expand description

A helpful diagram for debugging dataflow problems.

Re-exports§

use std::borrow::Cow; 🔒
use std::ffi::OsString; 🔒
use std::path::PathBuf; 🔒
use std::sync::LazyLock; 🔒
use std::io; 🔒
use std::ops; 🔒
use std::str; 🔒
use regex::Regex; 🔒
use rustc_attr_ir::BorrowckGraphvizFormatKind; 🔒
use rustc_attr_ir::RustcMirKind; 🔒
use rustc_attr_ir::find_attr; 🔒
use rustc_graphviz as dot; 🔒
use rustc_index::bit_set::DenseBitSet; 🔒
use rustc_middle::mir; 🔒
use rustc_middle::mir::BasicBlock; 🔒
use rustc_middle::mir::Body; 🔒
use rustc_middle::mir::Location; 🔒
use rustc_middle::mir::MirDumper; 🔒
use rustc_middle::mir::TerminatorEdges; 🔒
use rustc_middle::mir::graphviz_safe_def_name; 🔒
use rustc_middle::mir::traversal; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::print::with_no_trimmed_paths; 🔒
use rustc_middle::ty::print::with_no_trimmed_paths; 🔒
use rustc_span::def_id::DefId; 🔒
use tracing::debug; 🔒
use super::fmt::DebugDiffWithAdapter; 🔒
use super::fmt::DebugWithAdapter; 🔒
use super::fmt::DebugWithContext; 🔒
use super::Analysis; 🔒
use super::Direction; 🔒
use super::Results; 🔒
use super::ResultsCursor; 🔒
use super::ResultsVisitor; 🔒
use super::visit_results; 🔒

Structs§

BlockFormatter 🔒
CfgEdge 🔒: A pair of a basic block and an index into that basic blocks successors.
Formatter 🔒
RustcMirAttrs 🔒
StateDiffCollector 🔒

Enums§

Background 🔒: The background color used for zebra-striping the table.
OutputStyle 🔒

Functions§

dataflow_successors 🔒
diff_pretty 🔒
write_graphviz_results 🔒: 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. The Result in and the Results out are the same.