diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2015-11-20 10:19:43 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2015-11-20 10:19:43 -0800 |
| commit | 38454808a9e7d7c69458579ccda031486cc73bb0 (patch) | |
| tree | 5fa9c063eb56fb0a2a2310d7f4c6a6e7709b508b /src | |
| parent | 0c6095401fe1305774b9d70f72d65c3fd44f6d42 (diff) | |
| download | binaryen-38454808a9e7d7c69458579ccda031486cc73bb0.tar.gz binaryen-38454808a9e7d7c69458579ccda031486cc73bb0.tar.bz2 binaryen-38454808a9e7d7c69458579ccda031486cc73bb0.zip | |
validate unary type
Diffstat (limited to 'src')
| -rw-r--r-- | src/wasm-validator.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index 435fd1118..70f226682 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -60,6 +60,9 @@ public: } shouldBeFalse(curr->default_.is() && inTable.find(curr->default_) == inTable.end()); } + void visitUnary(Unary *curr) override { + shouldBeTrue(curr->value->type == curr->type); + } void visitMemory(Memory *curr) override { shouldBeFalse(curr->initial > curr->max); size_t top = 0; |