[][src]Module rustc_mir::dataflow

Modules

drop_flag_effects
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.

impls

Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.

indexes
lattice

Traits used to represent lattices for use as the domain of a dataflow analysis.

move_paths

Structs

Backward

Dataflow that runs from the exit of a block (the terminator), to its entry (the first statement).

Engine

A solver for dataflow problems.

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.

Traits

Analysis

A dataflow problem with an arbitrarily complex transfer function.

AnalysisDomain

Define the domain of a dataflow problem.

GenKill

The legal operations for a transfer function in a gen/kill problem.

GenKillAnalysis

A gen/kill dataflow problem.

JoinSemiLattice

A partially ordered set that has a least upper bound for any pair of elements in the set.

ResultsVisitor

Functions

has_rustc_mir_with
visit_results

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

Type Definitions

BorrowckFlowState

The transient state of the dataflow analyses used by the borrow checker.

BorrowckResults

The results of the dataflow analyses used by the borrow checker.

ResultsRefCursor

A ResultsCursor that borrows the underlying Results.