hare

commit eb220aa979f40372915c2dab9cd240db68e5dd20
parent b2f0d7d58a84dd6474bdeccd01d7a0f23aec3bbc
Author: Bor Grošelj Simić <bgs@turminal.net>
Date:   Sun, 14 May 2023 23:14:06 +0200

rt: mark platform_abort as @noreturn

Signed-off-by: Bor Grošelj Simić <bgs@turminal.net>

Diffstat:
M
rt/+freebsd/platform_abort.ha
 | 
2
+-
M
rt/+linux/platform_abort.ha
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/rt/+freebsd/platform_abort.ha b/rt/+freebsd/platform_abort.ha
@@ -1,7 +1,7 @@
 // License: MPL-2.0
 // (c) 2021 Drew DeVault <sir@cmpwn.com>
 
-fn platform_abort(loc: str, msg: str) void = {
+@noreturn fn platform_abort(loc: str, msg: str) void = {
 	const prefix = "Abort: ";
 	const sep = ": ";
 	const linefeed = "\n";
diff --git a/rt/+linux/platform_abort.ha b/rt/+linux/platform_abort.ha
@@ -1,7 +1,7 @@
 // License: MPL-2.0
 // (c) 2021 Drew DeVault <sir@cmpwn.com>
 
-fn platform_abort(loc: str, msg: str) void = {
+@noreturn fn platform_abort(loc: str, msg: str) void = {
 	const prefix = "Abort: ";
 	const sep = ": ";
 	const linefeed = "\n";