Skip to content

Commit

Permalink
fix: local.tee validation
Browse files Browse the repository at this point in the history
Signed-off-by: Cem Onem <[email protected]>
  • Loading branch information
Cem Onem committed Dec 17, 2024
1 parent d79a3de commit 93de1ce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/validation/code.rs
Original file line number Diff line number Diff line change
Expand Up @@ -420,7 +420,7 @@ fn read_instructions(
LOCAL_TEE => {
let local_idx = wasm.read_var_u32()? as LocalIdx;
let local_ty = locals.get(local_idx).ok_or(Error::InvalidLocalIdx)?;
stack.assert_pop_val_type(*local_ty)?;
stack.assert_val_types_on_top(&[*local_ty])?;
}
// global.get [] -> [t]
GLOBAL_GET => {
Expand Down

0 comments on commit 93de1ce

Please sign in to comment.