Module rustc_mir_dataflow::framework::engine

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 and -Z dump-mir-dataflow.

Type Aliases

• EntrySets
• ResultsCloned
  Results type with a cloned Analysis and borrowed entry sets.