Changes in kernel/arch/arm32/src/exception.c [48a209a:5481a22e] in mainline

File:

• kernel/arch/arm32/src/exception.c (modified) (2 diffs)

kernel/arch/arm32/src/exception.c

@@ -167 +167 @@
 static void undef_insn_exception(unsigned int exc_no, istate_t *istate)
 {
-        if (!handle_if_fpu_exception()) {
-                fault_if_from_uspace(istate, "Undefined instruction.");
-                panic_badtrap(istate, exc_no, "Undefined instruction.");
-        } else {
+#ifdef CONFIG_FPU
+        if (handle_if_fpu_exception()) {
                 /*
                  * Retry the failing instruction,
@@ -177 +175 @@
                  */
                 istate->pc -= 4;
+                return;
         }
+#endif
+        fault_if_from_uspace(istate, "Undefined instruction.");
+        panic_badtrap(istate, exc_no, "Undefined instruction.");
 }