From 5d7eda9b4c1a39c52d04ce98c1bf5d3a5e417929 Mon Sep 17 00:00:00 2001 From: David Wells Date: Thu, 3 May 2018 20:28:37 -0400 Subject: [PATCH] Mark a few things as [[noreturn]]. --- include/deal.II/base/thread_management.h | 2 ++ source/base/thread_management.cc | 2 ++ 2 files changed, 4 insertions(+) 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 * std::exception 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 * std::exception, 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 -- 2.39.5