Remove ResultsCursor::get_with_analysis.

We can just call `ResultsCursor::state` and `ResultsCursor::analysis`
separately.
This commit is contained in:
Nicholas Nethercote 2023-11-24 13:13:09 +11:00
parent 406c0b8ae4
commit 912eb1f7c1
2 changed files with 2 additions and 6 deletions

View File

@ -166,11 +166,6 @@ where
&mut self.results.borrow_mut().analysis
}
/// Returns both the dataflow state at the current location and the `Analysis`.
pub fn get_with_analysis(&mut self) -> (&A::Domain, &mut A) {
(&self.state, &mut self.results.borrow_mut().analysis)
}
/// Resets the cursor to hold the entry set for the given basic block.
///
/// For forward dataflow analyses, this is the dataflow state prior to the first statement.

View File

@ -139,7 +139,8 @@ where
) => {
let loc = Location { block: bb, statement_index };
cursor.seek_before_primary_effect(loc);
let (state, analysis) = cursor.get_with_analysis();
let state = cursor.get();
let analysis = cursor.analysis();
analysis.peek_at(tcx, *place, state, call);
}