Commit aac48366 authored by Etienne Renault's avatar Etienne Renault

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.
parent d998f613
......@@ -106,6 +106,11 @@ namespace spot
virtual ~swarmed_deadlock()
{
while (!todo_.empty())
{
sys_.recycle(todo_.back().it, tid_);
todo_.pop_back();
}
}
void setup()
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment