[−][src]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
|