From 11006f0ef5f7ffa0311661779dcc4622f39deb6a Mon Sep 17 00:00:00 2001
From: Thomas Krijnen <t.krijnen@gmail.com>
Date: Mon, 13 Apr 2026 21:18:58 +0200
Subject: [PATCH] deque

---
 src/ifcparse/storage.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/ifcparse/storage.h b/src/ifcparse/storage.h
index 3e9ce83a8b..06592b8477 100644
--- a/src/ifcparse/storage.h
+++ b/src/ifcparse/storage.h
@@ -32,6 +32,7 @@ namespace rocksdb {
 #include <type_traits>
 #include <iostream>
 #include <vector>
+#include <deque>
 #include <list>
 #include <set>
 
@@ -250,7 +251,10 @@ namespace ifcopenshell {
     };
 
     struct parse_context_pool {
-        std::vector<parse_context> nodes_;
+        // parse_context::push() stores child handles on the current context after
+        // requesting a new pool slot. The pool therefore needs stable addresses
+        // for existing contexts while it grows.
+        std::deque<parse_context> nodes_;
         uint32_t used_ = 0;
 
         void reset() { used_ = 0; }