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

fix/extend some comments

Browse Source
This commit is contained in:
Ralf Jung 2024-05-04 22:48:02 +02:00
parent ef5a574af4
commit 85e061af8f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/tools/miri/src/intrinsics/mod.rs
View File

@ -91,6 +91,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
} }
match intrinsic_name { match intrinsic_name {
// Basic control flow
"abort" => { "abort" => {
throw_machine_stop!(TerminationInfo::Abort( throw_machine_stop!(TerminationInfo::Abort(
"the program aborted execution".to_owned() "the program aborted execution".to_owned()
@ -98,7 +99,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
} }
"catch_unwind" => { "catch_unwind" => {
this.handle_catch_unwind(args, dest, ret)?; this.handle_catch_unwind(args, dest, ret)?;
// THis pushed a stack frame, don't jump to `ret`. // This pushed a stack frame, don't jump to `ret`.
return Ok(EmulateItemResult::AlreadyJumped); return Ok(EmulateItemResult::AlreadyJumped);
} }