dwarflint: Plug a leak

diff --git a/src/dwarflint/checks.hh b/src/dwarflint/checks.hh
index a903b15c2eb27733b55b9143b81295a81446f761..aba996e918c2bf9785bd4cacb5049073c0c0505b 100644 (file)
--- a/src/dwarflint/checks.hh
+++ b/src/dwarflint/checks.hh
@@ -34,6 +34,7 @@ struct check_base
 {
   struct failed {};
   struct unscheduled: public failed {};
+  virtual ~check_base () {}
 };
 
 template<class T>

diff --git a/src/dwarflint/dwarflint.cc b/src/dwarflint/dwarflint.cc
index 50a2fa528b587cd28a0c2109557e5b2044007f56..3e23ec239253468cb8538fc689ee89fe40b77f87 100644 (file)
--- a/src/dwarflint/dwarflint.cc
+++ b/src/dwarflint/dwarflint.cc
@@ -25,6 +25,8 @@
 
 #include "dwarflint.hh"
 #include "messages.h"
+#include "checks.hh"
+
 #include <fcntl.h>
 #include <cstring>
 #include <cerrno>
@@ -62,4 +64,7 @@ dwarflint::~dwarflint ()
     // Not that we can do anything about it...
     wr_error () << "Couldn't close the file " << _m_fname << ": "
                << strerror (errno) << "." << std::endl;
+  for (check_map::const_iterator it = _m_checks.begin ();
+       it != _m_checks.end (); ++it)
+    delete it->second;
 }