diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-07-31 12:06:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-31 12:06:20 -0700 |
| commit | ee0ce7cde5e5fb4ed21d5425629ae447eb433109 (patch) | |
| tree | c75b60875ac39b554d228f7f4503b9915fca0a32 /scripts/gen-emscripten-exported-json.py | |
| parent | 17ded47a1324c54cf76e8486b900515242f3ae43 (diff) | |
| download | wabt-ee0ce7cde5e5fb4ed21d5425629ae447eb433109.tar.gz wabt-ee0ce7cde5e5fb4ed21d5425629ae447eb433109.tar.bz2 wabt-ee0ce7cde5e5fb4ed21d5425629ae447eb433109.zip | |
Fix type-checking bug in br_if w/ polymorphic stack (#589)
Similar to issue #586, it is necessary to pop and re-push the type on
the top of the stack when validating br_if, because otherwise the
concerete type is not pushed on the stack (i.e. the top remains
polymorphic).
Fixes #588.
Diffstat (limited to 'scripts/gen-emscripten-exported-json.py')
0 files changed, 0 insertions, 0 deletions