Re-exports

Modules

  • errors 🔒
  • Custom formatting traits used when outputting Graphviz diagrams with the results of a dataflow analysis.
  • framework 🔒
    A framework that can express both gen-kill and generic dataflow problems.
  • Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.
  • Traits used to represent lattices for use as the domain of a dataflow analysis.
  • This module provides a framework on top of the normal MIR dataflow framework to simplify the implementation of analyses that track information about the values stored in certain places. We are using the term “place” here to refer to a mir::Place (a place expression) instead of an interpret::Place (a memory location).

Structs

Enums

  • Extend a lattice with a bottom value to represent an unreachable execution.

Statics

  • Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.

Traits

Functions

  • Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.