LibWasm: Trap instead of VERIFY()'ing

...unless something really is an assertion.

1 files changed, 9 insertions, 0 deletions

diff --git a/Userland/Libraries/LibWasm/AbstractMachine/Interpreter.h b/Userland/Libraries/LibWasm/AbstractMachine/Interpreter.h
index cdfaa32fcf..e78f8f462d 100644
--- a/Userland/Libraries/LibWasm/AbstractMachine/Interpreter.h
+++ b/Userland/Libraries/LibWasm/AbstractMachine/Interpreter.h
@@ -12,6 +12,7 @@ namespace Wasm {
 
 struct Interpreter {
     void interpret(Configuration&);
+    bool did_trap() const { return m_do_trap; }
 
 private:
     void interpret(Configuration&, InstructionPointer&, const Instruction&);
@@ -19,6 +20,14 @@ private:
     ReadonlyBytes load_from_memory(Configuration&, const Instruction&, size_t);
     void store_to_memory(Configuration&, const Instruction&, ReadonlyBytes data);
     void call_address(Configuration&, FunctionAddress);
+    Vector<NonnullOwnPtr<Value>> pop_values(Configuration& configuration, size_t count);
+    bool trap_if_not(bool value)
+    {
+        if (!value)
+            m_do_trap = true;
+        return m_do_trap;
+    }
+    bool m_do_trap { false };
 };
 
 }