From 5237e7def20fdbdace592ea60bd68ab51f9389b5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 3 Sep 2024 11:17:47 -0700
Subject: [PATCH] Adjust memory reallocation to consider SIZE_T_ALIGN in
 memory_manager

---
 src/util/memory_manager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/memory_manager.cpp b/src/util/memory_manager.cpp
index 4ef1cac66..8c6bfc7e7 100644
--- a/src/util/memory_manager.cpp
+++ b/src/util/memory_manager.cpp
@@ -322,7 +322,7 @@ void* memory::reallocate(void *p, size_t s) {
     if (sz >= s)
         return p;
 #else
-    size_t *sz_p = reinterpret_cast<size_t*>(p)-1;
+    size_t *sz_p = reinterpret_cast<size_t*>(p) - SIZE_T_ALIGN;
     size_t sz = *sz_p;
     void *real_p = reinterpret_cast<void*>(sz_p);
     s = s + SIZE_T_ALIGN * sizeof(size_t); // we allocate an extra field!