Try to fix a compiler error seen on Flag2 job of jenkins

diff --git a/tools/cmake/Flags.cmake b/tools/cmake/Flags.cmake
index e7ba000..b6e6222 100644 (file)
--- 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")