Module rustc_mir_dataflow::framework::engine[−][src]

Expand description

A solver for dataflow problems.

Structs

Engine

A solver for dataflow problems.

Results

A dataflow analysis that has converged to fixpoint.

RustcMirAttrs

Functions

write_graphviz_results

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