Skip to content

Commit dcc4b9f

Browse files
Add getter for current dataflow state to DataflowResultsCursor
1 parent 6359de1 commit dcc4b9f

File tree

1 file changed

+4
-0
lines changed
  • src/librustc_mir/dataflow

1 file changed

+4
-0
lines changed

src/librustc_mir/dataflow/mod.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -441,6 +441,10 @@ where
441441
self.curr_loc = Some(loc);
442442
}
443443

444+
pub fn get(&self) -> &BitSet<BD::Idx> {
445+
self.flow_state.as_dense()
446+
}
447+
444448
/// Return whether the current state contains bit `x`.
445449
pub fn contains(&self, x: BD::Idx) -> bool {
446450
self.flow_state.contains(x)

0 commit comments

Comments
 (0)