X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=predicate.cc;h=c8e3989133fddedb009a8bc8544dfe48d893fdb4;hp=5bc23098ecb62d57018a2c47e473fa5e4a15dd42;hb=d80e8e4cb554d09807e2ec5e9acadd917579f600;hpb=ae3b87a50d4122a8feb95eddc6b0f208f6c7d5cc;ds=sidebyside

diff --git a/predicate.cc b/predicate.cc
index 5bc23098..c8e39891 100644
--- a/predicate.cc
+++ b/predicate.cc
@@ -3,10 +3,10 @@
 Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
 	func_inst(func_inst),
 	entry_predicate(is_entry),
-	pred_expressions(),
+	pred_expressions(16),
 	children(),
 	parent(NULL),
-	backedge(NULL)
+	backedges(16)
 {}
 
 unsigned int pred_expr_hash(struct pred_expr * expr)
@@ -93,6 +93,9 @@ void Predicate::print_pred_subtree()
 		model_print("\"%p\" -> \"%p\"\n", this, child);
 	}
 
-	if (backedge != NULL)
+	PredSetIter * it = backedges.iterator();
+	while (it->hasNext()) {
+		Predicate * backedge = it->next();
 		model_print("\"%p\" -> \"%p\"[style=dashed, color=grey]\n", this, backedge);
+	}
 }