Mark a couple of functions as '[[noreturn]]'.

diff --git a/include/deal.II/base/exceptions.h b/include/deal.II/base/exceptions.h
index 9e8847304b0e806db111460da00986fd3642a9fb..e1371a9fbae8de09a291bb3793947902f7ee37e3 100644 (file)
--- a/include/deal.II/base/exceptions.h
+++ b/include/deal.II/base/exceptions.h
@@ -241,6 +241,7 @@ namespace deal_II_exceptions
      * error message provided by @p exc and calling <tt>std::abort()</tt>, or
      * throws @p exc instead.
      */
+    [[noreturn]]
     void abort (const ExceptionBase &exc);
 
     /**

diff --git a/source/base/exceptions.cc b/source/base/exceptions.cc
index b2b113ed3e166ad84615d5e4de59b64bef2e1329..73ac86749158f1bb07b252509caae9a0636e45b6 100644 (file)
--- a/source/base/exceptions.cc
+++ b/source/base/exceptions.cc
@@ -392,6 +392,7 @@ namespace StandardExceptions
 
 namespace
 {
+  [[noreturn]]
   void internal_abort (const ExceptionBase &exc) noexcept
   {
     // first print the error
@@ -464,6 +465,7 @@ namespace deal_II_exceptions
 
 
 
+    [[noreturn]]
     void abort (const ExceptionBase &exc)
     {
       if (dealii::deal_II_exceptions::abort_on_exception)