From 0c9632d71b8ad39b804be26840101cfa88c9be62 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 15 Oct 2014 16:11:28 +0800
Subject: [PATCH] runtime/exception_raise: never return

---
 soc/runtime/exceptions.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/soc/runtime/exceptions.c b/soc/runtime/exceptions.c
index edf54c95a..836716817 100644
--- 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);
+    }
 }