weird

WebAssembly · kripken · Jul 24, 2025 · Jul 24, 2025 · Jul 24, 2025 · Jul 24, 2025
commit 1d2f536df68f415ecf9453b262af48636dc95615
diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h
@@ -242,9 +242,10 @@ class ExpressionRunner : public OverriddenVisitor<SubType, Flow> {
 protected:
   RelaxedBehavior relaxedBehavior = RelaxedBehavior::NonConstant;
 
-  std::vector<Literals> valueStack;
+  // TODO: Literals here and not Flows
+  std::vector<Flow> valueStack;
 
-  Literals pop() {
+  Flow pop() {
     assert(!valueStack.empty());
     auto ret = valueStack.back();
     valueStack.pop_back();
@@ -274,7 +275,7 @@ class ExpressionRunner : public OverriddenVisitor<SubType, Flow> {
         if (flow.breaking()) {
           return flow;
         }
-        valueStack.push_back(flow.values);
+        valueStack.push_back(flow);
       }
     }
     auto ret = OverriddenVisitor<SubType, Flow>::visit(curr);