Skip to content

Commit 93a1c5f

Browse files
committed
make StackPop field names less confusing
1 parent d0a815d commit 93a1c5f

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1434,7 +1434,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
14341434
ecx: &mut InterpCx<'tcx, Self>,
14351435
frame: Frame<'tcx, Provenance, FrameExtra<'tcx>>,
14361436
unwinding: bool,
1437-
) -> InterpResult<'tcx, StackPopJump> {
1437+
) -> InterpResult<'tcx, ReturnAction> {
14381438
if frame.extra.is_user_relevant {
14391439
// All that we store is whether or not the frame we just removed is local, so now we
14401440
// have no idea where the next topmost local frame is. So we recompute it.

src/shims/panic.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -113,7 +113,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
113113
&mut self,
114114
mut extra: FrameExtra<'tcx>,
115115
unwinding: bool,
116-
) -> InterpResult<'tcx, StackPopJump> {
116+
) -> InterpResult<'tcx, ReturnAction> {
117117
let this = self.eval_context_mut();
118118
trace!("handle_stack_pop_unwind(extra = {:?}, unwinding = {})", extra, unwinding);
119119

@@ -150,9 +150,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
150150
)?;
151151

152152
// We pushed a new stack frame, the engine should not do any jumping now!
153-
Ok(StackPopJump::NoJump)
153+
Ok(ReturnAction::NoJump)
154154
} else {
155-
Ok(StackPopJump::Normal)
155+
Ok(ReturnAction::Normal)
156156
}
157157
}
158158

0 commit comments

Comments
 (0)