Fix some memory leaks

[satune.git] / src / ASTAnalyses / Encoding / encodinggraph.cc

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
index 5416ed0e2d7778444bff22640de8f127dd6ef187..9f9bb047a1908bda9858b14a96087225ab9f5072 100644 (file)
--- a/src/ASTAnalyses/Encoding/encodinggraph.cc
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -14,6 +14,12 @@ EncodingGraph::EncodingGraph(CSolver *_solver) :
        solver(_solver) {
 }
 
+EncodingGraph::~EncodingGraph() {
+       subgraphs.resetAndDelete();
+       encodingMap.resetAndDeleteVals();
+       edgeMap.resetAndDeleteVals();
+}
+
 int sortEncodingEdge(const void *p1, const void *p2) {
        const EncodingEdge *e1 = *(const EncodingEdge **) p1;
        const EncodingEdge *e2 = *(const EncodingEdge **) p2;