Merge pull request #398 from wasmx/stack-assert

Add assertion that at most 1 stack element is returned in execute
wasmx · Jul 14, 2020 · 772fd56 · 772fd56
2 parents 9ad07fa + d4c795a
commit 772fd56
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/fizzy/execute.cpp b/lib/fizzy/execute.cpp
@@ -1456,7 +1456,8 @@ execution_result execute(Instance& instance, FuncIdx func_idx, span<const uint64
     }
 
 end:
-    assert(pc == &code.instructions[code.instructions.size()] || trap);
+    // WebAssembly 1.0 allows at most one return variable.
+    assert(trap || (pc == &code.instructions[code.instructions.size()] && stack.size() <= 1));
     return {trap, {stack.rbegin(), stack.rend()}};
 }