From 189eb79d0e4479231f92c87b20af7f61d3e13c7f Mon Sep 17 00:00:00 2001
From: Remi Delmas <delmasrd@amazon.com>
Date: Wed, 7 Feb 2024 17:19:56 -0500
Subject: [PATCH] Fix `missing braces around initializer` GCC warning

Fixes build failures with older GCC versions
---
 unit/goto-symex/shadow_memory_util.cpp | 36 +++++++++++++-------------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/unit/goto-symex/shadow_memory_util.cpp b/unit/goto-symex/shadow_memory_util.cpp
index fba733b43b8..3fec5ef0c4c 100644
--- a/unit/goto-symex/shadow_memory_util.cpp
+++ b/unit/goto-symex/shadow_memory_util.cpp
@@ -162,15 +162,15 @@ TEST_CASE(
 
   // Using mp_integer types otherwise on 32-bit machines n << 48 wraps around.
   std::array<mp_integer, 7> values = GENERATE(
-    std::array<mp_integer, 7>{0, 0, 0, 0, 0, 0, 0},
-    std::array<mp_integer, 7>{1, 2, 3, 4, 5, 6, 7},
-    std::array<mp_integer, 7>{2, 3, 4, 5, 6, 7, 1},
-    std::array<mp_integer, 7>{3, 4, 5, 6, 7, 1, 2},
-    std::array<mp_integer, 7>{4, 5, 6, 7, 1, 2, 3},
-    std::array<mp_integer, 7>{5, 6, 7, 1, 2, 3, 4},
-    std::array<mp_integer, 7>{6, 7, 1, 2, 3, 4, 5},
-    std::array<mp_integer, 7>{7, 1, 2, 3, 4, 5, 6},
-    std::array<mp_integer, 7>{8, 8, 8, 8, 8, 8, 8});
+    std::array<mp_integer, 7>{{0, 0, 0, 0, 0, 0, 0}},
+    std::array<mp_integer, 7>{{1, 2, 3, 4, 5, 6, 7}},
+    std::array<mp_integer, 7>{{2, 3, 4, 5, 6, 7, 1}},
+    std::array<mp_integer, 7>{{3, 4, 5, 6, 7, 1, 2}},
+    std::array<mp_integer, 7>{{4, 5, 6, 7, 1, 2, 3}},
+    std::array<mp_integer, 7>{{5, 6, 7, 1, 2, 3, 4}},
+    std::array<mp_integer, 7>{{6, 7, 1, 2, 3, 4, 5}},
+    std::array<mp_integer, 7>{{7, 1, 2, 3, 4, 5, 6}},
+    std::array<mp_integer, 7>{{8, 8, 8, 8, 8, 8, 8}});
 
   SECTION("test set " + std::to_string(values[0].to_long()))
   {
@@ -279,15 +279,15 @@ TEST_CASE(
 
   // Using mp_integer types otherwise on 32-bit machines n << 48 wraps around.
   std::array<mp_integer, 7> values = GENERATE(
-    std::array<mp_integer, 7>{0, 0, 0, 0, 0, 0, 0},
-    std::array<mp_integer, 7>{2, 0, 0, 0, 0, 0, 0},
-    std::array<mp_integer, 7>{0, 2, 0, 0, 0, 0, 0},
-    std::array<mp_integer, 7>{0, 0, 2, 0, 0, 0, 0},
-    std::array<mp_integer, 7>{0, 0, 0, 2, 0, 0, 0},
-    std::array<mp_integer, 7>{0, 0, 0, 0, 2, 0, 0},
-    std::array<mp_integer, 7>{0, 0, 0, 0, 0, 2, 0},
-    std::array<mp_integer, 7>{0, 0, 0, 0, 0, 0, 2},
-    std::array<mp_integer, 7>{8, 8, 8, 8, 8, 8, 8});
+    std::array<mp_integer, 7>{{0, 0, 0, 0, 0, 0, 0}},
+    std::array<mp_integer, 7>{{2, 0, 0, 0, 0, 0, 0}},
+    std::array<mp_integer, 7>{{0, 2, 0, 0, 0, 0, 0}},
+    std::array<mp_integer, 7>{{0, 0, 2, 0, 0, 0, 0}},
+    std::array<mp_integer, 7>{{0, 0, 0, 2, 0, 0, 0}},
+    std::array<mp_integer, 7>{{0, 0, 0, 0, 2, 0, 0}},
+    std::array<mp_integer, 7>{{0, 0, 0, 0, 0, 2, 0}},
+    std::array<mp_integer, 7>{{0, 0, 0, 0, 0, 0, 2}},
+    std::array<mp_integer, 7>{{8, 8, 8, 8, 8, 8, 8}});
 
   SECTION("test set " + std::to_string(values[0].to_long()))
   {