[−][src]Module rustc_mir::dataflow::framework::graphviz

A helpful diagram for debugging dataflow problems.

Structs

BlockFormatter
BlockTransferFunc	Prints the gen/kill set for the entire block.
CfgEdge	A pair of a basic block and an index into that basic blocks `successors`.
Formatter
LineBreak
SimpleDiff	Prints a single column containing the state vector immediately after each statement.
TwoPhaseDiff	Prints two state columns, one containing only the "before" effect of each statement and one containing the full effect.

The background color used for zebra-striping the table.

BR_LEFT
BR_LEFT_SPACE
LIMIT_30_ALIGN_1	Line break policy that breaks at 40 characters and starts the next line with a single space.

Controls what gets printed under the STATE header.

dataflow_successors
pretty_print_state_elems	Formats each `elem` using the pretty printer provided by `analysis` into a list with the given separator (`sep`).
write_diff	Writes two lines, one containing the added bits and one the removed bits.