diff options
| -rw-r--r-- | winsup/cygserver/ChangeLog | 5 | ||||
| -rw-r--r-- | winsup/cygserver/bsd_mutex.cc | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/winsup/cygserver/ChangeLog b/winsup/cygserver/ChangeLog index bd37073..0f081ac 100644 --- a/winsup/cygserver/ChangeLog +++ b/winsup/cygserver/ChangeLog @@ -1,5 +1,10 @@ 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 Coverity happy (CID 59993). * transport_pipes.cc (transport_layer_pipes::listen): Make listen_pipe diff --git a/winsup/cygserver/bsd_mutex.cc b/winsup/cygserver/bsd_mutex.cc index 02896bb..66c4b23 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; |