Mark a few things as [[noreturn]].

diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h
index 1f76292b0a5a0a17a76b8ef600ef1fbae07b7a8e..ab8b140c365f75fedfe7030b2e3742942c4c6463 100644 (file)
--- a/include/deal.II/base/thread_management.h
+++ b/include/deal.II/base/thread_management.h
@@ -586,6 +586,7 @@ namespace Threads
      * <code>std::exception</code> is caught, it passes over control to this
      * function, which will then provide some output.
      */
+    [[noreturn]]
     void handle_std_exception (const std::exception &exc);
 
     /**
@@ -595,6 +596,7 @@ namespace Threads
      * <code>std::exception</code>, so there is little way to provide
      * something more useful.
      */
+    [[noreturn]]
     void handle_unknown_exception ();
 
     /**

diff --git a/source/base/thread_management.cc b/source/base/thread_management.cc
index dc57a10b3c0d4a370b902c8d068d66e03b19fa27..aa9c859d3cdfafeefde36faa381bbb8c7461e67d 100644 (file)
--- a/source/base/thread_management.cc
+++ b/source/base/thread_management.cc
@@ -50,6 +50,7 @@ namespace Threads
 
 
 
+    [[noreturn]]
     void handle_std_exception (const std::exception &exc)
     {
       // lock the following context
@@ -87,6 +88,7 @@ namespace Threads
 
 
 
+    [[noreturn]]
     void handle_unknown_exception ()
     {
       // lock the following context