Update testsuite (#609)

* Mostly just updating test expectations
* Function signatures need to be checked as part of parsing (see
  assert_malformed test in `testsuite/func.wast`; added
  `ValidateFuncSignatures` for this.

1 files changed, 12 insertions, 1 deletions

diff --git a/src/tools/wasm-interp.cc b/src/tools/wasm-interp.cc
index 0a2a6f2d..be78e721 100644
--- a/src/tools/wasm-interp.cc
+++ b/src/tools/wasm-interp.cc
@@ -31,7 +31,9 @@
 #include "src/interpreter.h"
 #include "src/literal.h"
 #include "src/option-parser.h"
+#include "src/resolve-names.h"
 #include "src/stream.h"
+#include "src/validator.h"
 #include "src/wast-lexer.h"
 #include "src/wast-parser.h"
 
@@ -1013,7 +1015,16 @@ wabt::Result SpecJSONParser::ReadInvalidTextModule(
   std::unique_ptr<WastLexer> lexer =
       WastLexer::CreateFileLexer(module_filename);
   std::unique_ptr<Script> script;
-  return ParseWast(lexer.get(), &script, error_handler);
+  wabt::Result result = ParseWast(lexer.get(), &script, error_handler);
+  if (Succeeded(result)) {
+    wabt::Module* module = script->GetFirstModule();
+    result = ResolveNamesModule(lexer.get(), module, error_handler);
+    if (Succeeded(result)) {
+      // Don't do a full validation, just validate the function signatures.
+      result = ValidateFuncSignatures(lexer.get(), module, error_handler);
+    }
+  }
+  return result;
 }
 
 wabt::Result SpecJSONParser::ReadInvalidModule(const char* module_filename,