From 2e63175294183501a0afb43e65213ca854e4673c Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 28 Aug 2017 23:01:25 -0700
Subject: [PATCH] Edit

---
 src/ASTTransform/analyzer.cc       | 8 ++++++--
 src/ASTTransform/integerencoding.h | 2 +-
 src/ASTTransform/pass.cc           | 1 -
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/ASTTransform/analyzer.cc b/src/ASTTransform/analyzer.cc
index bd0628f..f416110 100644
--- 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 61e1512..64924f2 100644
--- 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 b774ceb..3b54821 100644
--- a/src/ASTTransform/pass.cc
+++ b/src/ASTTransform/pass.cc
@@ -10,5 +10,4 @@ Pass::Pass(Tunables _tunable, TunableDesc* _desc):
 }
 
 Pass::~Pass(){
-	
 }
-- 
2.34.1