bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Ignore errors re: unreachable blocks in dataflow cursor unit tests

Browse source
This commit is contained in:
Dylan MacKenzie 2021-10-22 15:47:36 -07:00 • committed by Mark Rousskov
parent aca8bcb48f
commit abd3fe347b
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_mir_dataflow/src/framework/cursor.rs
View file

@ -64,6 +64,13 @@ where
} }
} }
/// Allows inspection of unreachable basic blocks even with `debug_assertions` enabled.
#[cfg(test)]
pub(crate) fn allow_unreachable(&mut self) {
#[cfg(debug_assertions)]
self.reachable_blocks.insert_all()
}
/// Returns the underlying `Results`. /// Returns the underlying `Results`.
pub fn results(&self) -> &Results<'tcx, A> { pub fn results(&self) -> &Results<'tcx, A> {
&self.results.borrow() &self.results.borrow()

2
compiler/rustc_mir_dataflow/src/framework/tests.rs
View file

@ -268,6 +268,8 @@ fn test_cursor<D: Direction>(analysis: MockAnalysis<'tcx, D>) {
let mut cursor = let mut cursor =
Results { entry_sets: analysis.mock_entry_sets(), analysis }.into_results_cursor(body); Results { entry_sets: analysis.mock_entry_sets(), analysis }.into_results_cursor(body);
cursor.allow_unreachable();
let every_target = || { let every_target = || {
body.basic_blocks() body.basic_blocks()
.iter_enumerated() .iter_enumerated()