Expand description
A solver for dataflow problems.
Structsยง
- A solver for dataflow problems.
- A dataflow analysis that has converged to fixpoint.
- Rustc
MirAttrs ๐
Functionsยง
- 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
. TheResult
in and theResults
out are the same.
Type Aliasesยง
- Entry
Sets ๐