From 2dd2d4490787aad6d19eb78bade8eda912c05c67 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 11 Jul 2018 14:29:44 +0000
Subject: [PATCH] deadlock: fix memory leak

Do not forget to recycle iterator, otherwise the todo
stack will be trashed without cleaning iterators.

* spot/mc/deadlock.hh: Here.
---
 spot/mc/deadlock.hh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/spot/mc/deadlock.hh b/spot/mc/deadlock.hh
index f51341b3d..73a5df7a5 100644
--- a/spot/mc/deadlock.hh
+++ b/spot/mc/deadlock.hh
@@ -106,6 +106,11 @@ namespace spot
 
     virtual ~swarmed_deadlock()
     {
+      while (!todo_.empty())
+        {
+          sys_.recycle(todo_.back().it, tid_);
+          todo_.pop_back();
+        }
     }
 
     void setup()