diff options
| author | Alon Zakai <azakai@google.com> | 2021-07-28 09:11:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-28 09:11:43 -0700 |
| commit | be580c66645cdea13c8e8b3b77f12ef3a52e5f2e (patch) | |
| tree | 53869afb8b2fdfd4bc0f447dd643f09bd1272c96 /src/passes/LocalSubtyping.cpp | |
| parent | b99bf3a230d9e4333cb1fdf5e4b760f549f04057 (diff) | |
| download | binaryen-be580c66645cdea13c8e8b3b77f12ef3a52e5f2e.tar.gz binaryen-be580c66645cdea13c8e8b3b77f12ef3a52e5f2e.tar.bz2 binaryen-be580c66645cdea13c8e8b3b77f12ef3a52e5f2e.zip | |
[Wasm GC] DeadArgumentElimination: Update tees after refining param types (#4031)
Diffstat (limited to 'src/passes/LocalSubtyping.cpp')
| -rw-r--r-- | src/passes/LocalSubtyping.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/passes/LocalSubtyping.cpp b/src/passes/LocalSubtyping.cpp index 9c6da1131..472463f44 100644 --- a/src/passes/LocalSubtyping.cpp +++ b/src/passes/LocalSubtyping.cpp @@ -134,8 +134,9 @@ struct LocalSubtyping : public WalkerPass<PostWalker<LocalSubtyping>> { // NB: These tee updates will not be needed if the type of tees // becomes that of their value, in the spec. for (auto* set : setsForLocal[i]) { - if (set->isTee() && set->type != Type::unreachable) { + if (set->isTee()) { set->type = newType; + set->finalize(); } } } |