diff options
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 7e05bd375..276b9602f 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -633,9 +633,11 @@ void FunctionValidator::validatePoppyBlockElements(Block* curr) { curr, "unreachable block should have unreachable element"); } else { - if (!shouldBeTrue(blockSig.satisfies(Signature(Type::none, curr->type)), - curr, - "block contents should satisfy block type") && + if (!shouldBeTrue( + StackSignature::isSubType( + blockSig, StackSignature(Type::none, curr->type, false)), + curr, + "block contents should satisfy block type") && !info.quiet) { getStream() << "contents: " << blockSig.results << (blockSig.unreachable ? " [unreachable]" : "") << "\n" |