Module 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. The Result in and the Results out are the same.

Type Aliases

• EntrySets 🔒