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: 	* bsd_mutex.cc (msleep_sync_array::~msleep_sync_array): New
 destructor 	to make Coverity happy (CID 59838).

---
 winsup/cygserver/bsd_mutex.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'winsup/cygserver/bsd_mutex.cc')

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;
-- 
cgit v1.2.3