diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-08-16 09:40:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-16 09:40:59 -0700 |
| commit | e5e3bf39f25ed3a2fb45a9ca1f55d6828d81a3eb (patch) | |
| tree | 834f67d6ebaf295af0e1d6789bc7f52d120dff33 /src/wasm-validator.h | |
| parent | e268d939b86d8639d014b8036e7664d66b6a32e9 (diff) | |
| parent | 7851e3a7a3bea679f422116862c5801f1938806d (diff) | |
| download | binaryen-e5e3bf39f25ed3a2fb45a9ca1f55d6828d81a3eb.tar.gz binaryen-e5e3bf39f25ed3a2fb45a9ca1f55d6828d81a3eb.tar.bz2 binaryen-e5e3bf39f25ed3a2fb45a9ca1f55d6828d81a3eb.zip | |
Merge pull request #668 from WebAssembly/tables_n_memories
Tables and memories
Diffstat (limited to 'src/wasm-validator.h')
| -rw-r--r-- | src/wasm-validator.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index 90930d8f4..3d9a0e1c3 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -281,12 +281,6 @@ public: void visitMemory(Memory *curr) { shouldBeFalse(curr->initial > curr->max, "memory", "memory max >= initial"); shouldBeTrue(curr->max <= Memory::kMaxSize, "memory", "max memory must be <= 4GB"); - size_t top = 0; - for (auto& segment : curr->segments) { - shouldBeFalse(segment.offset < top, "memory", "segment offset is small enough"); - top = segment.offset + segment.data.size(); - } - shouldBeFalse(top > curr->initial * Memory::kPageSize, "memory", "total segments must be small enough"); } void visitModule(Module *curr) { // exports |