diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2015-11-20 10:26:24 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2015-11-20 10:26:24 -0800 |
| commit | 7e236af057510394f1572a93da86b16f85035784 (patch) | |
| tree | 9b072fd29be1fcbe5cb633ac8dd1796cf98075c4 | |
| parent | 38454808a9e7d7c69458579ccda031486cc73bb0 (diff) | |
| download | binaryen-7e236af057510394f1572a93da86b16f85035784.tar.gz binaryen-7e236af057510394f1572a93da86b16f85035784.tar.bz2 binaryen-7e236af057510394f1572a93da86b16f85035784.zip | |
validate function result type
| -rw-r--r-- | src/wasm-validator.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index 70f226682..4daf9a4a7 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -63,6 +63,10 @@ public: void visitUnary(Unary *curr) override { shouldBeTrue(curr->value->type == curr->type); } + + void visitFunction(Function *curr) override { + shouldBeTrue(curr->result == curr->body->type); + } void visitMemory(Memory *curr) override { shouldBeFalse(curr->initial > curr->max); size_t top = 0; |