1 files changed, 7 insertions, 1 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index 893306897..a19071959 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -206,7 +206,13 @@ public:
 
   void visitReturn(Return* curr) {
     if (curr->value) {
-      returnType = curr->value->type;
+      if (returnType == unreachable) {
+        returnType = curr->value->type;
+      } else if (curr->value->type != unreachable && returnType != curr->value->type) {
+        returnType = none; // poison
+      }
+    } else {
+      returnType = none;
     }
   }