fix bug when branching to a loop (#92)

bytecodealliance · Feb 21, 2019 · 08cc5ef · 08cc5ef
1 parent 11d59c9
commit 08cc5ef
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/validator.rs b/src/validator.rs
@@ -461,7 +461,7 @@ impl OperatorValidator {
         }
         let block = func_state.block_at(relative_depth as usize);
         if block.jump_to_top {
-            if !func_state.assert_last_block_stack_len_exact(reserve_items) {
+            if !func_state.assert_block_stack_len(0, reserve_items) {
                 return Err("stack size does not match target loop type");
             }
             return Ok(());

diff --git a/tests/br_if-loop-stack.wasm b/tests/br_if-loop-stack.wasm