diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2020-03-16 10:30:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-16 10:30:02 -0700 |
| commit | a3bbe87a97fe6cafa665d3e1a03c28f31b82eff5 (patch) | |
| tree | ab34ddd658044969945a0fa5f0af5a0af85ecde1 /src | |
| parent | 5c0bf993bc530a5b69caac1a9d70eec13c887d70 (diff) | |
| download | binaryen-a3bbe87a97fe6cafa665d3e1a03c28f31b82eff5.tar.gz binaryen-a3bbe87a97fe6cafa665d3e1a03c28f31b82eff5.tar.bz2 binaryen-a3bbe87a97fe6cafa665d3e1a03c28f31b82eff5.zip | |
Handle unreachable in TupleExtract::finalize (#2692)
Diffstat (limited to 'src')
| -rw-r--r-- | src/wasm/wasm.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/wasm/wasm.cpp b/src/wasm/wasm.cpp index 4e4186d08..35fa8b5c5 100644 --- a/src/wasm/wasm.cpp +++ b/src/wasm/wasm.cpp @@ -926,7 +926,13 @@ void TupleMake::finalize() { type = Type(types); } -void TupleExtract::finalize() { type = tuple->type.expand()[index]; } +void TupleExtract::finalize() { + if (tuple->type == Type::unreachable) { + type = Type::unreachable; + } else { + type = tuple->type.expand()[index]; + } +} size_t Function::getNumParams() { return sig.params.size(); } |