diff options
| author | Alon Zakai <azakai@google.com> | 2021-08-11 07:53:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-11 07:53:15 -0700 |
| commit | 344bfe98b3d4cdb9dac223e9b6b8be7f96332d59 (patch) | |
| tree | f48f84a1e1454447d621efcc626ed2bcdfbff0f5 /src/wasm/wasm-binary.cpp | |
| parent | 52a90ac33416322c1be103fba6ab32764d3d1c9e (diff) | |
| download | binaryen-344bfe98b3d4cdb9dac223e9b6b8be7f96332d59.tar.gz binaryen-344bfe98b3d4cdb9dac223e9b6b8be7f96332d59.tar.bz2 binaryen-344bfe98b3d4cdb9dac223e9b6b8be7f96332d59.zip | |
[Wasm GC] Fix LocalSubtyping on unreachable sets with incompatible values (#4051)
We ignore sets in unreachable code, but their values may not be
compatible with a new type we specialize a local for. That is, the
validator cares about unreachable sets, while logically we don't need
to, and this pass doesn't. Fix up such unreachable sets at the end.
Diffstat (limited to 'src/wasm/wasm-binary.cpp')
0 files changed, 0 insertions, 0 deletions