From: Daniel Arndt <arndtd@ornl.gov>
Date: Thu, 8 Feb 2024 19:16:55 +0000 (-0500)
Subject: Remove dead code for gcc-13 and newer
X-Git-Tag: relicensing~21^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F16457%2Fhead;p=dealii.git

Remove dead code for gcc-13 and newer
---

diff --git a/include/deal.II/base/config.h.in b/include/deal.II/base/config.h.in
index 5e468bc133..d40f48a3ee 100644
--- a/include/deal.II/base/config.h.in
+++ b/include/deal.II/base/config.h.in
@@ -188,16 +188,6 @@
 #else
 #  if defined(__clang__)
 #    define DEAL_II_CXX23_ASSUME(expr) __builtin_assume(static_cast<bool>(expr))
-#  elif defined(__GNUC__) && !defined(__ICC) && __GNUC__ >= 13
-#    define DEAL_II_CXX23_ASSUME(expr)                                   \
-    do                                                                 \
-      {                                                                \
-        _Pragma("GCC diagnostic push")                                 \
-          _Pragma("GCC diagnostic ignored \"-Wimplicit-fallthrough\"") \
-            [[assume(expr)]];                                          \
-        _Pragma("GCC diagnostic pop")                                  \
-      }                                                                \
-    while (false)
 #  elif defined(_MSC_VER) || defined(__ICC)
 #    define DEAL_II_CXX23_ASSUME(expr) __assume(expr);
 #  else