When using C++23, use [[assume]] attribute.

diff --git a/include/deal.II/base/config.h.in b/include/deal.II/base/config.h.in
index c9943b3efea1954c76f824d6e5d509d244ec3fa5..5e468bc133251629c351ca5cf12a0e7bbb8dec27 100644 (file)
--- a/include/deal.II/base/config.h.in
+++ b/include/deal.II/base/config.h.in
@@ -183,10 +183,13 @@
  * attribute for older standards we rely on compiler intrinsics when
  * available.
  */
-#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)                                   \
+#ifdef DEAL_II_HAVE_CXX23
+#  define define DEAL_II_ASSUME(expr) [[assume(expr)]]
+#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")                                 \
@@ -195,17 +198,19 @@
         _Pragma("GCC diagnostic pop")                                  \
       }                                                                \
     while (false)
-#elif defined(_MSC_VER) || defined(__ICC)
-#  define DEAL_II_CXX23_ASSUME(expr) __assume(expr);
-#else
+#  elif defined(_MSC_VER) || defined(__ICC)
+#    define DEAL_II_CXX23_ASSUME(expr) __assume(expr);
+#  else
 /* no way with GCC to express this without evaluating 'expr' */
-#  define DEAL_II_CXX23_ASSUME(expr) \
+#    define DEAL_II_CXX23_ASSUME(expr) \
     do                               \
       {                              \
       }                              \
     while (false)
+#  endif
 #endif
 
+
 /**
  * Macro indicating that the current feature will be removed in a future
  * release.

diff --git a/include/deal.II/base/exceptions.h b/include/deal.II/base/exceptions.h
index 99dceb54503410ebb0167b6cc4b484be7de83b84..4adb7483baff5a626031b55efc40d4b9c89eefd6 100644 (file)
--- a/include/deal.II/base/exceptions.h
+++ b/include/deal.II/base/exceptions.h
@@ -1519,6 +1519,7 @@ namespace deal_II_exceptions
 } /*namespace deal_II_exceptions*/
 
 
+
 /**
  * A macro that serves as the main routine in the exception mechanism for debug
  * mode error checking. It asserts that a certain condition is fulfilled,