diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-08-27 23:02:46 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-08-30 11:15:24 -0700 |
| commit | 3233fb18a891363a2da36ce69ca16fbb219c96be (patch) | |
| tree | e7423c01a36c5e1c9e0615ee3459f2604b3c5727 /compiler/rustc_mir/src/dataflow/mod.rs | |
| parent | 9e45e90596faf6e741665d1c4ff6b94ad3885dbe (diff) | |
| download | rust-3233fb18a891363a2da36ce69ca16fbb219c96be.tar.gz rust-3233fb18a891363a2da36ce69ca16fbb219c96be.zip | |
Extend dataflow framework to support arbitrary lattices
Diffstat (limited to 'compiler/rustc_mir/src/dataflow/mod.rs')
| -rw-r--r-- | compiler/rustc_mir/src/dataflow/mod.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_mir/src/dataflow/mod.rs b/compiler/rustc_mir/src/dataflow/mod.rs index a0c24636059..5575a97982f 100644 --- a/compiler/rustc_mir/src/dataflow/mod.rs +++ b/compiler/rustc_mir/src/dataflow/mod.rs @@ -5,9 +5,9 @@ use rustc_span::symbol::{sym, Symbol}; pub(crate) use self::drop_flag_effects::*; pub use self::framework::{ - visit_results, Analysis, AnalysisDomain, Backward, BorrowckFlowState, BorrowckResults, - BottomValue, Engine, Forward, GenKill, GenKillAnalysis, Results, ResultsCursor, - ResultsRefCursor, ResultsVisitor, + fmt, lattice, visit_results, Analysis, AnalysisDomain, Backward, BorrowckFlowState, + BorrowckResults, Engine, Forward, GenKill, GenKillAnalysis, JoinSemiLattice, Results, + ResultsCursor, ResultsRefCursor, ResultsVisitor, }; use self::move_paths::MoveData; |