From a4b3d1b4607971390de13b0489bf5c25a39ea8f3 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Mon, 10 Aug 2015 15:43:12 +1000
Subject: [PATCH] except: mark errno_error::throw_code as noreturn

---
 except.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/except.hpp b/except.hpp
index 0d211100..2619241f 100644
--- a/except.hpp
+++ b/except.hpp
@@ -57,8 +57,8 @@ namespace util {
             static void try_code (void);
             static void try_code (int code);
 
-            static void throw_code (void);
-            static void throw_code (int code);
+            static void throw_code [[gnu::noreturn]] (void);
+            static void throw_code [[gnu::noreturn]] (int code);
     };
 }