Crate rustc_mir_dataflow

Re-exports

• pub use self::drop_flag_effects::drop_flag_effects_for_function_entry;
• pub use self::drop_flag_effects::drop_flag_effects_for_location;
• pub use self::drop_flag_effects::move_path_children_matching;
• pub use self::drop_flag_effects::on_all_children_bits;
• pub use self::drop_flag_effects::on_lookup_result_bits;

Modules

• debuginfo
• drop_flag_effects
• elaborate_drops
• errors 🔒
• fmt
  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.
• graphviz
  A helpful diagram for debugging dataflow problems.
• impls
  Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.
• lattice
  Traits used to represent lattices for use as the domain of a dataflow analysis.
• move_paths
• points
• rustc_peek
• storage
• un_derefer
• value_analysis

Structs

• Backward
  Dataflow that runs from the exit of a block (terminator), to its entry (the first statement).
• Forward
  Dataflow that runs from the entry of a block (the first statement), to its exit (terminator).
• MoveDataParamEnv
• Results
  A dataflow analysis that has converged to fixpoint.
• ResultsCursor
  Allows random access inspection of the results of a dataflow analysis.

Enums

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

Statics

• DEFAULT_LOCALE_RESOURCE
  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

• Analysis
  A dataflow problem with an arbitrarily complex transfer function.
• Direction
• GenKill
  The legal operations for a transfer function in a gen/kill problem.
• JoinSemiLattice
  A partially ordered set that has a least upper bound for any pair of elements in the set.
• ResultsVisitor
  A visitor over the results of an Analysis.
• SwitchIntEdgeEffects
  A type that records the edge-specific effects for a SwitchInt terminator.

Functions

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

Type Aliases

• EntrySets