Merge branch 'mark_die_no_return' into 'master'

declare die() as noreturn

See merge request i4/manycore/emper!8

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;