From 477911553e0443fcafad5bd96c97314aa2f8d9ea Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex@adnab.me>
Date: Thu, 14 Jul 2016 10:47:53 +0200
Subject: Integration of scan-build and splint

---
 src/kernel/core/sys.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel/core')

diff --git a/src/kernel/core/sys.c b/src/kernel/core/sys.c
index 02b66e5..e852274 100644
--- a/src/kernel/core/sys.c
+++ b/src/kernel/core/sys.c
@@ -32,10 +32,12 @@ static void panic_do(const char* type, const char *msg, const char* file, int li
 
 void panic(const char* message, const char* file, int line) {
 	panic_do("PANIC", message, file, line);
+	while(true);
 }
 
 void panic_assert(const char* assertion, const char* file, int line) {
 	panic_do("ASSERT FAILED", assertion, file, line);
+	while(true);
 }
 
 //  ---- kernel symbol map
-- 
cgit v1.2.3