X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTAnalyses%2Forderanalysis.cc;h=60103759b0bfc61b5d060c412312c57cf3011b0f;hp=57443c12cee8136980058cc880596b226f62cced;hb=3b751b303da242b1ebb2b7d4f2e7377d2c47e045;hpb=7e245fe6ed87d92eba7da59f94bda439cd682c41

diff --git a/src/ASTAnalyses/orderanalysis.cc b/src/ASTAnalyses/orderanalysis.cc
index 57443c1..6010375 100644
--- a/src/ASTAnalyses/orderanalysis.cc
+++ b/src/ASTAnalyses/orderanalysis.cc
@@ -84,15 +84,19 @@ bool isMustBeTrueNode(OrderNode *node) {
 	HSIteratorOrderEdge *iterator = node->inEdges.iterator();
 	while (iterator->hasNext()) {
 		OrderEdge *edge = iterator->next();
-		if (!edge->mustPos)
+		if (!edge->mustPos) {
+			delete iterator;
 			return false;
+		}
 	}
 	delete iterator;
 	iterator = node->outEdges.iterator();
 	while (iterator->hasNext()) {
 		OrderEdge *edge = iterator->next();
-		if (!edge->mustPos)
+		if (!edge->mustPos) {
+			delete iterator;
 			return false;
+		}
 	}
 	delete iterator;
 	return true;