diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index ba309ddea..91236fe54 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -3145,8 +3145,10 @@ static void validateMemories(Module& module, ValidationInfo& info) { "multiple memories present, but multi-memories is disabled"); } for (auto& memory : module.memories) { - info.shouldBeFalse( - memory->initial > memory->max, "memory", "memory max >= initial"); + if (memory->hasMax()) { + info.shouldBeFalse( + memory->initial > memory->max, "memory", "memory max >= initial"); + } if (memory->is64()) { info.shouldBeTrue(module.features.hasMemory64(), "memory", |