From 469d90aaf3d708ffcb0f9f28b29120524055ba6f Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Tue, 20 Sep 2016 11:13:23 -0700 Subject: validate spectest.print as a function --- src/tools/wasm-shell.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src') 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; -- cgit v1.2.3