diff --git a/src/librustc_mir/dataflow/generic.rs b/src/librustc_mir/dataflow/generic.rs index 901467d52dc..a4b81968d72 100644 --- a/src/librustc_mir/dataflow/generic.rs +++ b/src/librustc_mir/dataflow/generic.rs @@ -1,5 +1,3 @@ -#![allow(unused)] - use std::cmp::Ordering; use std::ops; @@ -209,7 +207,6 @@ pub fn seek_to_block_start(&mut self, block: BasicBlock) { } /// Updates the cursor to hold the dataflow state immediately before `target`. - #[allow(unused)] pub fn seek_before(&mut self, target: Location) { assert!(target <= self.body.terminator_loc(target.block)); @@ -228,7 +225,6 @@ pub fn seek_before(&mut self, target: Location) { /// If `target` is a `Call` terminator, `apply_call_return_effect` will not be called. See /// `seek_after_assume_call_returns` if you wish to observe the dataflow state upon a /// successful return. - #[allow(unused)] pub fn seek_after(&mut self, target: Location) { assert!(target <= self.body.terminator_loc(target.block)); @@ -243,7 +239,6 @@ pub fn seek_after(&mut self, target: Location) { /// Equivalent to `seek_after`, but also calls `apply_call_return_effect` if `target` is a /// `Call` terminator whose callee is convergent. - #[allow(unused)] pub fn seek_after_assume_call_returns(&mut self, target: Location) { assert!(target <= self.body.terminator_loc(target.block)); diff --git a/src/librustc_mir/lib.rs b/src/librustc_mir/lib.rs index c4738d846be..091dfbea5a8 100644 --- a/src/librustc_mir/lib.rs +++ b/src/librustc_mir/lib.rs @@ -36,7 +36,7 @@ mod borrow_check; mod build; -mod dataflow; +pub mod dataflow; mod hair; mod lints; mod shim;