diff options
Diffstat (limited to 'src/wasm-validator.h')
| -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 5844dafcd..8e989c94d 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -280,6 +280,10 @@ public: default: abort(); } } + void visitSelect(Select* curr) { + shouldBeUnequal(curr->ifTrue->type, none, curr, "select left must be valid"); + shouldBeUnequal(curr->ifFalse->type, none, curr, "select right must be valid"); + } void visitReturn(Return* curr) { if (curr->value) { |