Edit

diff --git a/src/ASTTransform/analyzer.cc b/src/ASTTransform/analyzer.cc
index bd0628fd6350cdcd06ace0e1cec4281be7528efc..f4161105fc6afef892c22a976b30f3bf46422230 100644 (file)
--- a/src/ASTTransform/analyzer.cc
+++ b/src/ASTTransform/analyzer.cc
@@ -22,8 +22,10 @@ void orderAnalysis(CSolver *This) {
        for (uint i = 0; i < size; i++) {
                Order *order = orders->get(i);
                DecomposeOrderTransform* decompose = new DecomposeOrderTransform(This, order, DECOMPOSEORDER, &onoff);
-               if (!decompose->canExecuteTransform())
+               if (!decompose->canExecuteTransform()){
                        continue;
+                       delete decompose;
+               }
 
                OrderGraph *graph = buildOrderGraph(order);
                if (order->type == PARTIAL) {
@@ -64,8 +66,10 @@ void orderAnalysis(CSolver *This) {
 
                
                IntegerEncodingTransform* integerEncoding = new IntegerEncodingTransform(This, order, ORDERINTEGERENCODING, &offon);
-               if(!integerEncoding->canExecuteTransform())
+               if(!integerEncoding->canExecuteTransform()){
                        continue;
+                       delete integerEncoding;
+               }
                integerEncoding->doTransform();
                delete integerEncoding;
        }

diff --git a/src/ASTTransform/integerencoding.h b/src/ASTTransform/integerencoding.h
index 61e1512c42df30a334a49a297303c2e311a4bcbe..64924f26a33d304cbd48c8172ff81004203e0913 100644 (file)
--- a/src/ASTTransform/integerencoding.h
+++ b/src/ASTTransform/integerencoding.h
@@ -17,7 +17,7 @@ public:
        void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
        void doTransform();
        bool canExecuteTransform();
-       ~IntegerEncodingTransform();
+       virtual ~IntegerEncodingTransform();
 private:
        Order* order;
        // In future we can use a singleton class instead of static variable for keeping data that needed

diff --git a/src/ASTTransform/pass.cc b/src/ASTTransform/pass.cc
index b774ceb414faa2d55d128057d33e5c0797f994b8..3b54821dc564e3aff0f2fcdf514b0b2a32a2ecf4 100644 (file)
--- a/src/ASTTransform/pass.cc
+++ b/src/ASTTransform/pass.cc
@@ -10,5 +10,4 @@ Pass::Pass(Tunables _tunable, TunableDesc* _desc):
 }
 
 Pass::~Pass(){
-       
 }