From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 6 Apr 2018 22:57:46 +0000 (-0600)
Subject: Mark a couple of functions as '[[noreturn]]'.
X-Git-Tag: v9.0.0-rc1~207^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6189%2Fhead;p=dealii.git

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

diff --git a/include/deal.II/base/exceptions.h b/include/deal.II/base/exceptions.h
index 9e8847304b..e1371a9fba 100644
--- 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 b2b113ed3e..73ac867491 100644
--- 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)