validate spectest.print as a function

1 files changed, 7 insertions, 1 deletions

diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp
index 320ed01e9..83d39c9d4 100644
--- a/src/tools/wasm-shell.cpp
+++ b/src/tools/wasm-shell.cpp
@@ -159,7 +159,13 @@ static void run_asserts(Name moduleName, size_t* i, bool* checked, Module* wasm,
       if (!invalid && id == ASSERT_UNLINKABLE) {
         // validate "instantiating" the mdoule
         for (auto& import : wasm.imports) {
-          if (import->module != SPECTEST || import->base != PRINT) {
+          if (import->module == SPECTEST && import->base == PRINT) {
+            if (import->kind != Import::Function) {
+              std::cerr << "spectest.print should be a function, but is " << import->kind << '\n';
+              invalid = true;
+              break;
+            }
+          } else {
             std::cerr << "unknown import: " << import->module << '.' << import->base << '\n';
             invalid = true;
             break;