diff --git a/components/libc/compilers/armlibc/stubs.c b/components/libc/compilers/armlibc/stubs.c
index 600100c5541e8b474d5638ee3bb2a59aa82b3109..a4879be0c61904714cd0379c8e96840541c71e4c 100644
--- a/components/libc/compilers/armlibc/stubs.c
+++ b/components/libc/compilers/armlibc/stubs.c
@@ -270,6 +270,8 @@ RT_WEAK void _sys_exit(int return_code)
         rt_thread_suspend(self);
         rt_schedule();
     }
+
+    while(1); /* noreturn */
 }
 
 /**
diff --git a/components/libc/compilers/newlib/syscalls.c b/components/libc/compilers/newlib/syscalls.c
index 5ce2df284ddc59efe102e0908e0708e4d8754eb8..a0a081bd268dc1ca8a6cfe9638e36df22bcb6ef6 100644
--- a/components/libc/compilers/newlib/syscalls.c
+++ b/components/libc/compilers/newlib/syscalls.c
@@ -303,6 +303,8 @@ exit (int status)
         rt_thread_suspend(self);
         rt_schedule();
     }
+
+    while(1); /* noreturn */
 }
 
 void
@@ -334,6 +336,8 @@ void abort(void)
         rt_thread_suspend(self);
         rt_schedule();
     }
+
+    while(1); /* noreturn */
 }
 
 uid_t getuid(void)