diff options
| author | Alex Auvolat <alex@adnab.me> | 2016-07-14 10:47:53 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2016-07-14 10:47:53 +0200 |
| commit | 477911553e0443fcafad5bd96c97314aa2f8d9ea (patch) | |
| tree | 3825cba2552c0c4fe9cf64aecf065402db90f39e /src/kernel/core | |
| parent | d09f8a08bdd9477bd463a2de03397ff56b5ce75d (diff) | |
| download | kogata-477911553e0443fcafad5bd96c97314aa2f8d9ea.tar.gz kogata-477911553e0443fcafad5bd96c97314aa2f8d9ea.zip | |
Integration of scan-build and splint
Diffstat (limited to 'src/kernel/core')
| -rw-r--r-- | src/kernel/core/sys.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 |