diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-08-05 11:10:04 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-09-07 09:54:55 -0700 |
| commit | f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5 (patch) | |
| tree | 842a46db2cb9cac4089e39c1ebc9920158c0d901 /src/wasm-validator.h | |
| parent | 42155057a56a979eccb6d811671cfbf290cf429e (diff) | |
| download | binaryen-f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5.tar.gz binaryen-f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5.tar.bz2 binaryen-f48690ceeea66cf44e8f64be6543d6ed6b9e6bb5.zip | |
select values must be valid
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) { |