diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-03-14 15:44:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-14 15:44:34 +0100 |
| commit | b4dffc9926707fb815d69dfe00d9a3e038887c54 (patch) | |
| tree | 59451a24ed04d44b352170976485a69ae1c50ef7 /src | |
| parent | 1dce19144103c7fab1e713b6b17a03bfa7085f01 (diff) | |
| parent | a316c21dc8aa1ebfb961a2c789757593fd1db9ef (diff) | |
Rollup merge of #122397 - oli-obk:machine-read-hook2, r=RalfJung
Various cleanups around the const eval query providers r? `@RalfJung` after this, working on running validation before interning starts with swapping the order of two lines of code
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index 4683965159d..6e612ea34a7 100644 --- a/src/tools/miri/src/diagnostics.rs +++ b/src/tools/miri/src/diagnostics.rs @@ -528,7 +528,7 @@ impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { use NonHaltingDiagnostic::*; let stacktrace = - MiriInterpCx::generate_stacktrace_from_stack(self.threads.active_thread_stack()); + Frame::generate_stacktrace_from_stack(self.threads.active_thread_stack()); let (stacktrace, _was_pruned) = prune_stacktrace(stacktrace, self); let (title, diag_level) = match &e { |