summaryrefslogtreecommitdiff
path: root/src/validator.cc
diff options
context:
space:
mode:
authorSam Clegg <sbc@chromium.org>2019-11-15 11:46:13 -0800
committerGitHub <noreply@github.com>2019-11-15 11:46:13 -0800
commit8b554c8d21f3f9cd9d052ef91a370a032f75aba3 (patch)
tree0576692bee296a9726cdb37691cef22baf22822e /src/validator.cc
parent2ce48702f02fe25b662a4625344a5a610ba23130 (diff)
downloadwabt-8b554c8d21f3f9cd9d052ef91a370a032f75aba3.tar.gz
wabt-8b554c8d21f3f9cd9d052ef91a370a032f75aba3.tar.bz2
wabt-8b554c8d21f3f9cd9d052ef91a370a032f75aba3.zip
wast2json: add new `assert_return_func` assertion type (#1224)
This is needed for running the reference-types tests. See: #1223
Diffstat (limited to 'src/validator.cc')
-rw-r--r--src/validator.cc7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/validator.cc b/src/validator.cc
index 0f93a781..30dba007 100644
--- a/src/validator.cc
+++ b/src/validator.cc
@@ -1511,6 +1511,13 @@ void Validator::CheckCommand(const Command* command) {
// Ignore.
break;
+ case CommandType::AssertReturnFunc: {
+ auto* cmd = cast<AssertReturnFuncCommand>(command);
+ const Action* action = cmd->action.get();
+ CheckAction(action);
+ break;
+ }
+
case CommandType::AssertReturn: {
auto* assert_return_command = cast<AssertReturnCommand>(command);
const Action* action = assert_return_command->action.get();