FIX: mark OS_Exit and OS_Crash functions as noreturn

Oldes · Jan 21, 2023 · 13e361a · 13e361a
1 parent 0a0757e
commit 13e361a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/src/os/posix/host-lib.c b/src/os/posix/host-lib.c
@@ -3,6 +3,7 @@
 **  REBOL [R3] Language Interpreter and Run-time Environment
 **
 **  Copyright 2012 REBOL Technologies
+**  Copyright 2012-2023 Rebol Open Source Developers
 **  REBOL is a trademark of REBOL Technologies
 **
 **  Licensed under the Apache License, Version 2.0 (the "License");
@@ -369,7 +370,7 @@ RL_LIB *RL; // Link back to reb-lib from embedded extensions (like for now: host
 
 /***********************************************************************
 **
-*/	void OS_Exit(int code)
+*/	REB_NORETURN void OS_Exit(int code)
 /*
 **		Called in all cases when REBOL quits
 **
@@ -387,7 +388,7 @@ RL_LIB *RL; // Link back to reb-lib from embedded extensions (like for now: host
 
 /***********************************************************************
 **
-*/	void OS_Crash(const REBYTE *title, const REBYTE *content)
+*/	REB_NORETURN void OS_Crash(const REBYTE *title, const REBYTE *content)
 /*
 **		Tell user that REBOL has crashed. This function must use
 **		the most obvious and reliable method of displaying the

diff --git a/src/os/win32/host-lib.c b/src/os/win32/host-lib.c
@@ -3,6 +3,7 @@
 **  REBOL [R3] Language Interpreter and Run-time Environment
 **
 **  Copyright 2012 REBOL Technologies
+**  Copyright 2012-2023 Rebol Open Source Developers
 **  REBOL is a trademark of REBOL Technologies
 **
 **  Licensed under the Apache License, Version 2.0 (the "License");
@@ -371,7 +372,7 @@ static void *Task_Ready;
 
 /***********************************************************************
 **
-*/	void OS_Exit(int code)
+*/	REB_NORETURN void OS_Exit(int code)
 /*
 **		Called in all cases when REBOL quits
 **
@@ -397,7 +398,7 @@ static void *Task_Ready;
 
 /***********************************************************************
 **
-*/	void OS_Crash(const REBYTE *title, const REBYTE *content)
+*/	REB_NORETURN void OS_Crash(const REBYTE *title, const REBYTE *content)
 /*
 **		Tell user that REBOL has crashed. This function must use
 **		the most obvious and reliable method of displaying the