From 111727904fa40cf7783bdf52b238bc12c2f80926 Mon Sep 17 00:00:00 2001
From: Corinna Vinschen <corinna@vinschen.de>
Date: Mon, 19 May 2014 09:52:43 +0000
Subject: [PATCH] 	* bsd_mutex.cc
 (msleep_sync_array::~msleep_sync_array): New destructor 	to make
 Coverity happy (CID 59838).

---
 winsup/cygserver/ChangeLog    | 5 +++++
 winsup/cygserver/bsd_mutex.cc | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/winsup/cygserver/ChangeLog b/winsup/cygserver/ChangeLog
index bd37073f2..0f081acd5 100644
--- a/winsup/cygserver/ChangeLog
+++ b/winsup/cygserver/ChangeLog
@@ -1,3 +1,8 @@
+2014-05-19  Corinna Vinschen  <corinna@vinschen.de>
+
+	* bsd_mutex.cc (msleep_sync_array::~msleep_sync_array): New destructor
+	to make Coverity happy (CID 59838).
+
 2014-05-19  Corinna Vinschen  <corinna@vinschen.de>
 
 	* bsd_helper.cc (ipcexit_creat_hookthread): Delete shs to make
diff --git a/winsup/cygserver/bsd_mutex.cc b/winsup/cygserver/bsd_mutex.cc
index 02896bb6d..66c4b2398 100644
--- a/winsup/cygserver/bsd_mutex.cc
+++ b/winsup/cygserver/bsd_mutex.cc
@@ -227,6 +227,8 @@ public:
       panic ("Allocating msleep records failed: %d", errno);
   }
 
+  ~msleep_sync_array () { delete a; }
+
   HANDLE enter (void *ident)
   {
     HANDLE evt = NULL;