Index: uspace/srv/loader/main.c
===================================================================
--- uspace/srv/loader/main.c	(revision b19e892c22afbf67aa5988554dd3f003efeadc04)
+++ uspace/srv/loader/main.c	(revision db8626d33fa833ea7e61d8d157724b3b47ba0cfa)
@@ -309,5 +309,6 @@
  * @return 0 on success, !0 on error.
  */
-static void ldr_run(ipc_callid_t rid, ipc_call_t *request)
+static __attribute__((noreturn)) void ldr_run(ipc_callid_t rid,
+    ipc_call_t *request)
 {
 	DPRINTF("Set task name\n");