From 2c0a5c766c080639a4efaa58fafe94805d0513bf Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Thu, 15 Oct 2020 15:19:18 +0200
Subject: [PATCH] mark die() as noreturn

---
 emper/Common.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emper/Common.hpp b/emper/Common.hpp
index 8e21d83f..66363e09 100644
--- a/emper/Common.hpp
+++ b/emper/Common.hpp
@@ -20,6 +20,6 @@ typedef std::function<void(void)> func_t;
 
 #define ALIGN_TO_CACHE_LINE alignas(64)
 
-void die(const char* message, bool usePerror);
+[[noreturn]] void die(const char* message, bool usePerror);
 
 typedef unsigned int WORD;
-- 
GitLab