From e41c4dad76aed33a90237e0a3ce140d29f75418c Mon Sep 17 00:00:00 2001
From: Alon Zakai <azakai@google.com>
Date: Tue, 20 Jun 2023 11:54:28 -0700
Subject: Fix pop assertion (#5777)

Subtypes are allowed as well, not just exact matches, in the pop value's type.
---
 src/wasm-interpreter.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h
index 0e74af02a..2a522c732 100644
--- a/src/wasm-interpreter.h
+++ b/src/wasm-interpreter.h
@@ -3815,7 +3815,7 @@ public:
     NOTE_ENTER("Pop");
     assert(!multiValues.empty());
     auto ret = multiValues.back();
-    assert(curr->type == ret.getType());
+    assert(Type::isSubType(ret.getType(), curr->type));
     multiValues.pop_back();
     return ret;
   }
-- 
cgit v1.2.3