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(); }