From 1ca3c293b2c196e02e188faeddf0a0d776d39fd6 Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Tue, 22 Nov 2022 10:19:29 -0500 Subject: [PATCH] Document is_user_relevant Co-authored-by: Ralf Jung --- src/tools/miri/src/helpers.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tools/miri/src/helpers.rs b/src/tools/miri/src/helpers.rs index 958ed50496b..70971cdc20e 100644 --- a/src/tools/miri/src/helpers.rs +++ b/src/tools/miri/src/helpers.rs @@ -968,6 +968,7 @@ impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { self.threads.active_thread_ref().top_user_relevant_frame() } + /// This is the source of truth for the `is_user_relevant` flag in our `FrameExtra`. pub fn is_user_relevant(&self, frame: &Frame<'mir, 'tcx, Provenance>) -> bool { let def_id = frame.instance.def_id(); (def_id.is_local() || self.local_crates.contains(&def_id.krate))