Validate tag param types (#5759)

We already validated function params, but were missing tags.

Without this the fuzzer can get confused if a type is only used in a tag.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index b92727e0e..239c79e3f 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -3683,11 +3683,16 @@ static void validateTags(Module& module, ValidationInfo& info) {
         curr->name,
         "Multivalue tag type requires multivalue [--enable-multivalue]");
     }
+    FeatureSet features;
     for (const auto& param : curr->sig.params) {
+      features |= param.getFeatures();
       info.shouldBeTrue(param.isConcrete(),
                         curr->name,
                         "Values in a tag should have concrete types");
     }
+    info.shouldBeTrue(features <= module.features,
+                      curr->name,
+                      "all param types in tags should be allowed");
   }
 }