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 5e468bc133251629c351ca5cf12a0e7bbb8dec27..d40f48a3eeccd545a323092f9f215616cea2e610 100644 (file)
--- 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