runtime/exception_raise: never return

2014-10-15 16:11:28 +08:00 · 2014-10-15 16:11:28 +08:00 · 0c9632d71b
parent cbf915c2cc
commit 0c9632d71b
1 changed files with 4 additions and 2 deletions
--- a/soc/runtime/exceptions.c
+++ b/soc/runtime/exceptions.c
@ -33,6 +33,8 @@ void exception_raise(int id)
    if(ec_top > 0) {
        stored_id = id;
        exception_longjmp(exception_contexts[--ec_top].jb);
-    } else
-        corecom_log("WARNING: uncaught exception, ID=%d\n", id);
+    } else {
+        corecom_log("ERROR: uncaught exception, ID=%d\n", id);
+        while(1);
+    }
 }