Module rustc_mir_dataflow::framework::engine

source ·
Expand description

A solver for dataflow problems.

Structs

Engine
A solver for dataflow problems.
Results
A dataflow analysis that has converged to fixpoint.
RustcMirAttrs 🔒

Statics

CALLSITE 🔒
CALLSITE 🔒
META 🔒
META 🔒

Functions

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