Fix potential out of bounds scope allocation

include/Ark/VM/ScopeView.hpp

@@ -46,16 +46,18 @@ namespace Ark::internal
          *
          * @param id The symbol id of the variable
          * @param val The value linked to the symbol
+         * @return bool true if the allocation succeeded, false otherwise
          */
-        void push_back(uint16_t id, Value&& val) noexcept;
+        bool push_back(uint16_t id, Value&& val) noexcept;
 
         /**
          * @brief Put a value in the scope
          *
          * @param id The symbol id of the variable
          * @param val The value linked to the symbol
+         * @return bool true if the allocation succeeded, false otherwise
          */
-        void push_back(uint16_t id, const Value& val) noexcept;
+        bool push_back(uint16_t id, const Value& val) noexcept;
 
         /**
          * @brief Check if the scope maybe holds a specific symbol in memory

include/Ark/VM/VM.inl

@@ -130,7 +130,10 @@ inline void VM::store(const uint16_t id, const Value* val, internal::ExecutionCo
     // avoid adding the pair (id, _) multiple times, with different values
     Value* local = context.locals.back()[id];
     if (local == nullptr) [[likely]]
-        context.locals.back().push_back(id, *val);
+    {
+        if (!context.locals.back().push_back(id, *val))
+            throw Error(fmt::format("Can not create variable: no more heap space (limit: {}). If you are using a recursive algorithm, try making use of tail call optimization to reduce the number of allocated scopes.", ScopeStackSize));
+    }
     else
         *local = *val;
 }

src/arkreactor/VM/ScopeView.cpp

@@ -8,26 +8,34 @@ namespace Ark::internal
         m_storage(storage), m_start(start), m_size(0), m_min_id(std::numeric_limits<uint16_t>::max()), m_max_id(0)
     {}
 
-    void ScopeView::push_back(uint16_t id, Value&& val) noexcept
+    bool ScopeView::push_back(uint16_t id, Value&& val) noexcept
     {
+        if (m_start + m_size >= ScopeStackSize) [[unlikely]]
+            return false;
+
         if (id < m_min_id)
             m_min_id = id;
         if (id > m_max_id)
             m_max_id = id;
 
         m_storage[m_start + m_size] = std::make_pair(id, std::move(val));
         ++m_size;
+        return true;
     }
 
-    void ScopeView::push_back(uint16_t id, const Value& val) noexcept
+    bool ScopeView::push_back(uint16_t id, const Value& val) noexcept
     {
+        if (m_start + m_size >= ScopeStackSize) [[unlikely]]
+            return false;
+
         if (id < m_min_id)
             m_min_id = id;
         if (id > m_max_id)
             m_max_id = id;
 
         m_storage[m_start + m_size] = std::make_pair(id, val);
         ++m_size;
+        return true;
     }
 
     bool ScopeView::maybeHas(const uint16_t id) const noexcept