mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add an assertion that machine hook doesn't return NoCleanup

Browse Source
This commit is contained in:
Maybe Lapkin 2024-07-07 17:01:28 +02:00
parent dd5a447b5a
commit 54e11cf378
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_const_eval/src/interpret/eval_context.rs
View File

@ -899,10 +899,12 @@ pub fn pop_stack_frame(
let return_to_block = frame.return_to_block;
let return_place = frame.return_place.clone();
let return_action = if cleanup {
M::after_stack_pop(self, frame, unwinding)?
let return_action;
if cleanup {
return_action = M::after_stack_pop(self, frame, unwinding)?;
assert_ne!(return_action, ReturnAction::NoCleanup);
} else {
ReturnAction::NoCleanup
return_action = ReturnAction::NoCleanup;
};
Ok(StackPopInfo { return_action, return_to_block, return_place })