fix assert_unreachable

Author: tjhei

include/deal.II/base/exception_macros.h

@@ -870,43 +870,33 @@
  * This macro is first used in step-7, where we show another example of
  * a context where it is frequently used.
  */
-#if DEAL_II_KOKKOS_VERSION_GTE(3, 6, 0)
-#  define DEAL_II_ASSERT_UNREACHABLE() \
-    Kokkos::abort("ASSERT_UNREACHABLE reached.");
-#else
-#  define DEAL_II_ASSERT_UNREACHABLE()                             \
-    ::dealii::deal_II_exceptions::internals::issue_error_noreturn( \
-      ::dealii::deal_II_exceptions::internals::ExceptionHandling:: \
-        abort_or_throw_on_exception,                               \
-      __FILE__,                                                    \
-      __LINE__,                                                    \
-      __PRETTY_FUNCTION__,                                         \
-      nullptr,                                                     \
-      nullptr,                                                     \
-      ::dealii::StandardExceptions::ExcMessage(                    \
-        "The program has hit a line of code that the programmer "  \
-        "marked with the macro DEAL_II_ASSERT_UNREACHABLE() to "   \
-        "indicate that the program should never reach this "       \
-        "location. You will have to find out (best done in a "     \
-        "debugger) why that happened. Typical reasons include "    \
-        "passing invalid arguments to functions (for example, if " \
-        "a function takes an 'enum' with two possible values "     \
-        "as argument, but you call the function with a third "     \
-        "value), or if the programmer of the code that triggered " \
-        "the error believed that a variable can only have "        \
-        "specific values, but either that assumption is wrong "    \
-        "or the computation of that value is buggy."               \
-        "\n\n"                                                     \
-        "In those latter conditions, where some internal "         \
-        "assumption is not satisfied, there may not be very "      \
-        "much you can do if you encounter such an exception, "     \
-        "since it indicates an error in deal.II, not in your "     \
-        "own program. If that is the situation you encounter, "    \
-        "try to come up with "                                     \
-        "the smallest possible program that still demonstrates "   \
-        "the error and contact the deal.II mailing lists with it " \
-        "to obtain help."))
-#endif
+#define DEAL_II_ASSERT_UNREACHABLE()                           \
+  ::dealii::deal_II_exceptions::internals::do_unreachable(     \
+    __FILE__,                                                  \
+    __LINE__,                                                  \
+    __PRETTY_FUNCTION__,                                       \
+    "The program has hit a line of code that the programmer "  \
+    "marked with the macro DEAL_II_ASSERT_UNREACHABLE() to "   \
+    "indicate that the program should never reach this "       \
+    "location. You will have to find out (best done in a "     \
+    "debugger) why that happened. Typical reasons include "    \
+    "passing invalid arguments to functions (for example, if " \
+    "a function takes an 'enum' with two possible values "     \
+    "as argument, but you call the function with a third "     \
+    "value), or if the programmer of the code that triggered " \
+    "the error believed that a variable can only have "        \
+    "specific values, but either that assumption is wrong "    \
+    "or the computation of that value is buggy."               \
+    "\n\n"                                                     \
+    "In those latter conditions, where some internal "         \
+    "assumption is not satisfied, there may not be very "      \
+    "much you can do if you encounter such an exception, "     \
+    "since it indicates an error in deal.II, not in your "     \
+    "own program. If that is the situation you encounter, "    \
+    "try to come up with "                                     \
+    "the smallest possible program that still demonstrates "   \
+    "the error and contact the deal.II mailing lists with it " \
+    "to obtain help.")
 
 /**
  * Special assertion for dimension mismatch.

include/deal.II/base/exceptions.h

@@ -1077,6 +1077,40 @@ namespace deal_II_exceptions
         }
     }
 
+    /**
+     * Internal function that performs the error handling when
+     * DEAL_II_ASSERT_UNREACHABLE is triggered.
+     */
+    DEAL_II_HOST_DEVICE void
+    do_unreachable(const char *file,
+                   int         line,
+                   const char *function,
+                   const char *msg)
+    {
+#if DEAL_II_KOKKOS_VERSION_GTE(3, 6, 0)
+      KOKKOS_IF_ON_DEVICE(({ Kokkos::abort(msg); }))
+      KOKKOS_IF_ON_HOST(({
+        issue_error_noreturn(::dealii::deal_II_exceptions::internals::
+                               ExceptionHandling::abort_or_throw_on_exception,
+                             file,
+                             line,
+                             function,
+                             nullptr,
+                             nullptr,
+                             ::dealii::StandardExceptions::ExcMessage(msg));
+      }))
+#else
+      issue_error_noreturn(::dealii::deal_II_exceptions::internals::
+                             ExceptionHandling::abort_or_throw_on_exception,
+                           file,
+                           line,
+                           function,
+                           nullptr,
+                           nullptr,
+                           ::dealii::StandardExceptions::ExcMessage(msg));
+#endif
+    }
+
     /**
      * Internal function that does the work of issue_error_nothrow.
      */