Add a getter for the current state to DataflowResultsCursor

ecstatic-morse · ecstatic-morse · commit 606a31f46a06 · 2019-09-16T17:11:18.000-07:00
diff --git a/src/librustc_mir/dataflow/mod.rs b/src/librustc_mir/dataflow/mod.rs
@@ -453,6 +453,10 @@ where
     {
         self.flow_state.each_gen_bit(f)
     }
+
+    pub fn get(&self) -> &BitSet<BD::Idx> {
+        self.flow_state.as_dense()
+    }
 }
 
 pub fn state_for_location<'tcx, T: BitDenotation<'tcx>>(loc: Location,

Original file line number	Diff line number	Diff line change
`@@ -453,6 +453,10 @@ where`
`453`	`453`	`{`
`454`	`454`	`self.flow_state.each_gen_bit(f)`
`455`	`455`	`}`
	`456`	`+`
	`457`	`+ pub fn get(&self) -> &BitSet<BD::Idx> {`
	`458`	`+ self.flow_state.as_dense()`
	`459`	`+ }`
`456`	`460`	`}`
`457`	`461`
`458`	`462`	`pub fn state_for_location<'tcx, T: BitDenotation<'tcx>>(loc: Location,`