From 68223d6206e7f335c168e1aaa0a0ed2014610647 Mon Sep 17 00:00:00 2001
From: Ben Kimock <kimockb@gmail.com>
Date: Tue, 22 Nov 2022 22:22:47 -0500
Subject: [PATCH] Update src/machine.rs

Co-authored-by: Ralf Jung <post@ralfj.de>
---
 src/machine.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/machine.rs b/src/machine.rs
index f5fa8f5f09..b7f434b555 100644
--- a/src/machine.rs
+++ b/src/machine.rs
@@ -1192,6 +1192,8 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> {
         if frame.extra.is_user_relevant {
             // All that we store is whether or not the frame we just removed is local, so now we
             // have no idea where the next topmost local frame is. So we recompute it.
+            // (If this ever becomes a bottleneck, we could have `push` store the previous
+            // user-relevant frame and restore that here.)
             ecx.active_thread_mut().recompute_top_user_relevant_frame();
         }
         let timing = frame.extra.timing.take();