From: Daniel Arndt 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=46c0e6c156071d8c225962dc0f1631ce09368094;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(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