From 010d57bf8dbbf9ce0fb58bd3b279390cd971f6a6 Mon Sep 17 00:00:00 2001
From: Iliyas Jorio <iliyas@jor.io>
Date: Sun, 20 Mar 2022 09:03:59 +0100
Subject: [PATCH] ExitToShell: noreturn

---
 src/Pomme.h | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/Pomme.h b/src/Pomme.h
index e26f3ac..690233a 100644
--- a/src/Pomme.h
+++ b/src/Pomme.h
@@ -31,6 +31,12 @@ static inline float __frsqrte(float f)
 
 #define nil NULL
 
+#ifdef __cplusplus
+#define POMME_NORETURN [[ noreturn ]]
+#else
+#define POMME_NORETURN _Noreturn
+#endif
+
 #ifdef __cplusplus
 extern "C"
 {
@@ -307,7 +313,7 @@ void RestoreDeviceClut(GDHandle gdh);
 //-----------------------------------------------------------------------------
 // Misc
 
-void ExitToShell();
+POMME_NORETURN void ExitToShell();
 
 void SysBeep(short duration);