From 016507e2f9575c2ee41587803bf3c6cecbde99a0 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 18 Jul 2018 11:21:17 +0200
Subject: [PATCH] Memory leak.

---
 src/smpi/internals/instr_smpi.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/smpi/internals/instr_smpi.cpp b/src/smpi/internals/instr_smpi.cpp
index b55f098116..9c43bde030 100644
--- a/src/smpi/internals/instr_smpi.cpp
+++ b/src/smpi/internals/instr_smpi.cpp
@@ -138,8 +138,10 @@ static std::string TRACE_smpi_get_key(int src, int dst, int tag, int send)
   } else {
     key = it->second->front();
     it->second->pop_front();
-    if (it->second->empty())
+    if (it->second->empty()) {
+      delete it->second;
       keys.erase(it);
+    }
   }
   return key;
 }
-- 
2.20.1