Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/arch/amd64/src/userspace.c	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -75,7 +75,5 @@
 	);
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/arch/arm32/src/userspace.c	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -114,7 +114,5 @@
 	);
 
-	/* unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/arch/ia32/src/userspace.c	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -79,7 +79,5 @@
 	    : "eax");
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -297,7 +297,5 @@
 	    (uintptr_t) kernel_uarg->uspace_entry);
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/generic/include/panic.h
===================================================================
--- kernel/generic/include/panic.h	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/generic/include/panic.h	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -53,4 +53,8 @@
 	panic_common(PANIC_MEMTRAP, istate, access, addr, fmt, ##__VA_ARGS__)
 
+#define unreachable() \
+	panic_assert("%s() at %s:%u:\nUnreachable line reached.", \
+	    __func__, __FILE__, __LINE__);
+
 typedef enum {
 	PANIC_OTHER,
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/generic/src/proc/task.c	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -628,7 +628,5 @@
 {
 	task_kill_self(notify);
-
-	/* Unreachable */
-	return EOK;
+	unreachable();
 }
 
Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision c5fe7f7ed268153497d07a1ce79084224b93ed1b)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision 88e43bc385a97c7449a8a8bdd10a598a9497c134)
@@ -294,7 +294,5 @@
 	}
 
-	/* Unreachable */
-	assert(false);
-	return NULL;
+	unreachable();
 }