From b01065f1744a4e04efe62e67b5888284a432a9a6 Mon Sep 17 00:00:00 2001
From: Christopher Faylor <me@cgf.cx>
Date: Wed, 16 Jan 2013 19:20:59 +0000
Subject: [PATCH] * pthread.cc (pthread_exit): Add kludge to accommodate
 noreturn attribute.

---
 winsup/cygwin/ChangeLog  | 4 ++++
 winsup/cygwin/pthread.cc | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/winsup/cygwin/ChangeLog b/winsup/cygwin/ChangeLog
index 8f909b64d..dcc1591f6 100644
--- a/winsup/cygwin/ChangeLog
+++ b/winsup/cygwin/ChangeLog
@@ -1,3 +1,7 @@
+2013-01-16  Christopher Faylor  <me.cygwin2013@cgf.cx>
+
+	* pthread.cc (pthread_exit): Add kludge to accommodate noreturn attribute.
+
 2013-01-14  Antti Kantee  <pooka@iki.fi>
 
 	* include/pthread.h (pthread_exit): Mark as "noreturn".
diff --git a/winsup/cygwin/pthread.cc b/winsup/cygwin/pthread.cc
index 3dddf48b1..45ef80c16 100644
--- a/winsup/cygwin/pthread.cc
+++ b/winsup/cygwin/pthread.cc
@@ -39,7 +39,8 @@ pthread_atfork (void (*prepare)(void), void (*parent)(void), void (*child)(void)
 void
 pthread_exit (void *value_ptr)
 {
-  return pthread::self ()->exit (value_ptr);
+  pthread::self ()->exit (value_ptr);
+  __builtin_unreachable ();	/* FIXME: don't know why this is necessary */
 }
 
 int