]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Mark a few things as [[noreturn]].
authorDavid Wells <wellsd2@rpi.edu>
Fri, 4 May 2018 00:28:37 +0000 (20:28 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Fri, 4 May 2018 01:25:01 +0000 (21:25 -0400)
include/deal.II/base/thread_management.h
source/base/thread_management.cc

index 1f76292b0a5a0a17a76b8ef600ef1fbae07b7a8e..ab8b140c365f75fedfe7030b2e3742942c4c6463 100644 (file)
@@ -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 ();
 
     /**
index dc57a10b3c0d4a370b902c8d068d66e03b19fa27..aa9c859d3cdfafeefde36faa381bbb8c7461e67d 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.