[Bug target/53888] gthr-win32.h defines __gthread_mutex_destroy with wrong return type

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53888

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-07 18:39:45 UTC ---
Untested patch

diff --git a/libgcc/config/i386/gthr-win32.h b/libgcc/config/i386/gthr-win32.h
index 53f8396..f2dded2 100644
--- a/libgcc/config/i386/gthr-win32.h
+++ b/libgcc/config/i386/gthr-win32.h
@@ -474,6 +474,7 @@ static inline void
 __gthread_mutex_destroy (__gthread_mutex_t *__mutex)
 {
   __gthr_win32_mutex_destroy (__mutex);
+  return 0;
 }

 static inline int
@@ -635,6 +636,7 @@ static inline void
 __gthread_mutex_destroy (__gthread_mutex_t *__mutex)
 {
   CloseHandle ((HANDLE) __mutex->sema);
+  return 0;
 }

 static inline int