From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 1 Oct 2019 02:29:29 +0000 (-0700)
Subject: Free memory
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=454023967726d69dac45735ec83de960078dbe02;p=c11tester.git

Free memory
---

diff --git a/funcnode.cc b/funcnode.cc
index af268aad..18c18997 100644
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -365,6 +365,7 @@ bool FuncNode::follow_branch(Predicate ** curr_pred, FuncInst * next_inst, Model
 					break;
 			}
 		}
+		delete concrete_pred;
 
 		if (predicate_correct) {
 			*curr_pred = branch;
diff --git a/predicate.cc b/predicate.cc
index fd9e78fa..9e2f1621 100644
--- a/predicate.cc
+++ b/predicate.cc
@@ -93,7 +93,6 @@ ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id
 	return concrete;
 }
 
-
 void Predicate::print_predicate()
 {
 	model_print("\"%p\" [shape=box, label=\"\n", this);