From eb02ab07da3fca60def0dd90d4f73d401c97c33f Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 16 Aug 2024 04:30:37 +1200
Subject: [PATCH] minisat: Use reallocarray

Avoid gcc warning about non-trivial copying.
---
 libs/minisat/Vec.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/minisat/Vec.h b/libs/minisat/Vec.h
index 6e398801f..9e6d21174 100644
--- a/libs/minisat/Vec.h
+++ b/libs/minisat/Vec.h
@@ -100,7 +100,7 @@ void vec<T,_Size>::capacity(Size min_cap) {
     Size add = max((min_cap - cap + 1) & ~1, ((cap >> 1) + 2) & ~1);   // NOTE: grow by approximately 3/2
     const Size size_max = std::numeric_limits<Size>::max();
     if ( ((size_max <= std::numeric_limits<int>::max()) && (add > size_max - cap))
-    ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
+    ||   (((data = (T*)::reallocarray(data, (cap += add), sizeof(T))) == NULL) && errno == ENOMEM) )
         throw OutOfMemoryException();
  }