From: David Wells <wellsd2@rpi.edu>
Date: Fri, 4 May 2018 00:28:37 +0000 (-0400)
Subject: Mark a few things as [[noreturn]].
X-Git-Tag: v9.0.0-rc1~23^2~5
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d7eda9b4c1a39c52d04ce98c1bf5d3a5e417929;p=dealii.git

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 1f76292b0a..ab8b140c36 100644
--- 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 dc57a10b3c..aa9c859d3c 100644
--- 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