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