summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/wasm-validator.h3
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;