Index: src/wasm/wasm-module.cc |
diff --git a/src/wasm/wasm-module.cc b/src/wasm/wasm-module.cc |
index 2e36978440e326751a7e9348377bd0e76b186469..ba16b351431d5635bbd6b6d35ba7d512d5a079fc 100644 |
--- a/src/wasm/wasm-module.cc |
+++ b/src/wasm/wasm-module.cc |
@@ -1658,6 +1658,9 @@ class WasmInstanceBuilder { |
break; |
} |
case kExternalMemory: { |
+ // validation should have failed if more than one memory object was |
bradnelson
2017/01/10 22:21:44
Style guide calls for capitalize + period.
|
+ // provided |
+ DCHECK(!instance->has_memory_object()); |
if (!WasmJs::IsWasmMemoryObject(isolate_, value)) { |
ReportLinkError("memory import must be a WebAssembly.Memory object", |
index, module_name, import_name); |