diff options
author | Sam Clegg <sbc@chromium.org> | 2019-11-15 11:46:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-15 11:46:13 -0800 |
commit | 8b554c8d21f3f9cd9d052ef91a370a032f75aba3 (patch) | |
tree | 0576692bee296a9726cdb37691cef22baf22822e /src/validator.cc | |
parent | 2ce48702f02fe25b662a4625344a5a610ba23130 (diff) | |
download | wabt-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.cc | 7 |
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(); |