diff options
| author | Alon Zakai <azakai@google.com> | 2023-06-20 11:54:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-20 11:54:28 -0700 |
| commit | e41c4dad76aed33a90237e0a3ce140d29f75418c (patch) | |
| tree | c6a369972a4d85d2be52b6582ae9176ba9382c59 /src | |
| parent | 7d17b409e68bb8b92e2c13e5d992470e15db1455 (diff) | |
| download | binaryen-e41c4dad76aed33a90237e0a3ce140d29f75418c.tar.gz binaryen-e41c4dad76aed33a90237e0a3ce140d29f75418c.tar.bz2 binaryen-e41c4dad76aed33a90237e0a3ce140d29f75418c.zip | |
Fix pop assertion (#5777)
Subtypes are allowed as well, not just exact matches, in the pop value's type.
Diffstat (limited to 'src')
| -rw-r--r-- | src/wasm-interpreter.h | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |