diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2018-09-12 09:45:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-12 09:45:34 -0700 |
| commit | 5d9ff4e46b595a5f20aa4732256462609a9614ea (patch) | |
| tree | 56e57fa1cebd7527866ecd9923e26e828c8b907d /src/wasm/wasm-validator.cpp | |
| parent | 4d737f27edb5e2bb5f514aae800ba9c6ab61ca5a (diff) | |
| download | binaryen-5d9ff4e46b595a5f20aa4732256462609a9614ea.tar.gz binaryen-5d9ff4e46b595a5f20aa4732256462609a9614ea.tar.bz2 binaryen-5d9ff4e46b595a5f20aa4732256462609a9614ea.zip | |
remove PageSize and HasFeature, which wasm removed a while back (#1667)
From #1665 (a fuzz bug noticed they were not handled in stack.h).
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 4a6ed19be..d57607ce6 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -802,9 +802,7 @@ void FunctionValidator::visitHost(Host* curr) { shouldBeEqualOrFirstIsUnreachable(curr->operands[0]->type, i32, curr, "grow_memory must have i32 operand"); break; } - case PageSize: - case CurrentMemory: - case HasFeature: break; + case CurrentMemory: break; default: WASM_UNREACHABLE(); } } |