From f8dcf7648015550e6c49c132ef9f904aaa34be30 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 7 Oct 2014 15:20:04 +0200
Subject: [PATCH] dde_kit: panic does not return

The attributes enables to use panic as final statement in branches of
functions declared to return.
---
 repos/os/include/dde_kit/panic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/dde_kit/panic.h b/repos/os/include/dde_kit/panic.h
index d98672b7e3..df58a544f0 100644
--- a/repos/os/include/dde_kit/panic.h
+++ b/repos/os/include/dde_kit/panic.h
@@ -19,7 +19,7 @@
  *
  * \param fmt  message format string
  */
-void dde_kit_panic(const char *fmt, ...);
+__attribute__((noreturn)) void dde_kit_panic(const char *fmt, ...);
 
 /**
  * Print debug message and block