From e49d3a1ebc59da7d2e1a02ccf9a56ddc5223beef Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 14 Nov 2023 16:47:36 +0100
Subject: [PATCH] Try to fix a compiler error seen on Flag2 job of jenkins

---
 tools/cmake/Flags.cmake | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/cmake/Flags.cmake b/tools/cmake/Flags.cmake
index e7ba000eb3..b6e6222678 100644
--- a/tools/cmake/Flags.cmake
+++ b/tools/cmake/Flags.cmake
@@ -41,6 +41,10 @@ if(enable_compile_warnings)
       # workaround for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81767
       set(warnCXXFLAGS "${warnCXXFLAGS} -Wno-error=unused-variable")
     endif()
+    if (CMAKE_CXX_COMPILER_VERSION VERSION_EQUAL "13.2.0")
+      # workaround for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101361
+      set(warnCXXFLAGS "${warnCXXFLAGS} -Wno-error=stringop-overread")
+    endif()
   endif()
 
   if (CMAKE_CXX_COMPILER_ID MATCHES "Clang")
-- 
2.20.1