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;