iterate_to_fixpoint -> iterate_reachable_to_fixpoint

compiler/rustc_mir_dataflow/src/framework/engine.rs

@@ -181,37 +181,61 @@ where
         self
     }
 
-    /// Computes the fixpoint for this dataflow problem and returns it.
+    /// Computes the fixpoint for this dataflow problem over all basic blocks and returns the
+    /// fixpoint.
     pub fn iterate_to_fixpoint(self) -> Results<'tcx, A>
     where
         A::Domain: DebugWithContext<A>,
     {
-        let Engine {
-            analysis,
-            body,
-            dead_unwinds,
-            mut entry_sets,
-            tcx,
-            apply_trans_for_block,
-            pass_name,
-            ..
-        } = self;
+        let mut dirty_queue: WorkQueue<BasicBlock> =
+            WorkQueue::with_none(self.body.basic_blocks().len());
+
+        self.body.basic_blocks().indices().for_each(|bb| {
+            dirty_queue.insert(bb);
+        });
 
+        self.iterate_to_fixpoint_inner(dirty_queue)
+    }
+
+    /// Computes the fixpoint for this dataflow problem over the reachable basic blocks and returns
+    /// the fixpoint.
+    pub fn iterate_reachable_to_fixpoint(self) -> Results<'tcx, A>
+    where
+        A::Domain: DebugWithContext<A>,
+    {
         let mut dirty_queue: WorkQueue<BasicBlock> =
-            WorkQueue::with_none(body.basic_blocks().len());
+            WorkQueue::with_none(self.body.basic_blocks().len());
 
         if A::Direction::is_forward() {
-            for (bb, _) in traversal::reverse_postorder(body) {
+            for (bb, _) in traversal::reverse_postorder(self.body) {
                 dirty_queue.insert(bb);
             }
         } else {
             // Reverse post-order on the reverse CFG may generate a better iteration order for
             // backward dataflow analyses, but probably not enough to matter.
-            for (bb, _) in traversal::postorder(body) {
+            for (bb, _) in traversal::postorder(self.body) {
                 dirty_queue.insert(bb);
             }
         }
 
+        self.iterate_to_fixpoint_inner(dirty_queue)
+    }
+
+    fn iterate_to_fixpoint_inner(self, mut dirty_queue: WorkQueue<BasicBlock>) -> Results<'tcx, A>
+    where
+        A::Domain: DebugWithContext<A>,
+    {
+        let Engine {
+            analysis,
+            body,
+            dead_unwinds,
+            mut entry_sets,
+            tcx,
+            apply_trans_for_block,
+            pass_name,
+            ..
+        } = self;
+
         // `state` is not actually used between iterations;
         // this is just an optimization to avoid reallocating
         // every iteration.

compiler/rustc_mir_transform/src/generator.rs

@@ -473,7 +473,7 @@ fn locals_live_across_suspend_points<'tcx>(
     // for.
     let requires_storage_results = MaybeRequiresStorage::new(body, &borrowed_locals_results)
         .into_engine(tcx, body_ref)
-        .iterate_to_fixpoint();
+        .iterate_reachable_to_fixpoint();
     let mut requires_storage_cursor =
         rustc_mir_dataflow::ResultsCursor::new(body_ref, &requires_storage_results);