浏览代码

LibWasm: Make MemoryInstance allocation fail if initial growth fails

...instead of silently ignoring the failure in the constructor.
Ali Mohammad Pur 3 年之前
父节点
当前提交
4f2d898a51

+ 5 - 1
Userland/Libraries/LibWasm/AbstractMachine/AbstractMachine.cpp

@@ -43,7 +43,11 @@ Optional<TableAddress> Store::allocate(TableType const& type)
 Optional<MemoryAddress> Store::allocate(MemoryType const& type)
 Optional<MemoryAddress> Store::allocate(MemoryType const& type)
 {
 {
     MemoryAddress address { m_memories.size() };
     MemoryAddress address { m_memories.size() };
-    m_memories.empend(MemoryInstance { type });
+    auto instance = MemoryInstance::create(type);
+    if (instance.is_error())
+        return {};
+
+    m_memories.append(instance.release_value());
     return address;
     return address;
 }
 }
 
 

+ 12 - 3
Userland/Libraries/LibWasm/AbstractMachine/AbstractMachine.h

@@ -331,10 +331,14 @@ private:
 
 
 class MemoryInstance {
 class MemoryInstance {
 public:
 public:
-    explicit MemoryInstance(MemoryType const& type)
-        : m_type(type)
+    static ErrorOr<MemoryInstance> create(MemoryType const& type)
     {
     {
-        grow(m_type.limits().min() * Constants::page_size);
+        MemoryInstance instance { type };
+
+        if (!instance.grow(type.limits().min() * Constants::page_size))
+            return Error::from_string_literal("Failed to grow to requested size");
+
+        return { move(instance) };
     }
     }
 
 
     auto& type() const { return m_type; }
     auto& type() const { return m_type; }
@@ -364,6 +368,11 @@ public:
     }
     }
 
 
 private:
 private:
+    explicit MemoryInstance(MemoryType const& type)
+        : m_type(type)
+    {
+    }
+
     MemoryType const& m_type;
     MemoryType const& m_type;
     size_t m_size { 0 };
     size_t m_size { 0 };
     ByteBuffer m_data;
     ByteBuffer m_data;