portal/waffle
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Interpreter: hitting a Terminator::None returns as if a trap

Browse source
This commit is contained in:
Chris Fallin 2023-04-17 14:43:24 -07:00
parent b9e1f5432c
commit b9b02eeff6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/interp.rs
View file

@ -227,7 +227,7 @@ impl InterpContext {
} }
match &body.blocks[frame.cur_block].terminator { match &body.blocks[frame.cur_block].terminator {
&Terminator::None => unreachable!(), &Terminator::None => return InterpResult::Trap,
&Terminator::Unreachable => return InterpResult::Trap, &Terminator::Unreachable => return InterpResult::Trap,
&Terminator::Br { ref target } => { &Terminator::Br { ref target } => {
frame.apply_target(body, target); frame.apply_target(body, target);