experiment with adding NULLITY predicate

[c11tester.git] / predicate.cc

diff --git a/predicate.cc b/predicate.cc
index 77f362dafd9c4f8ea29e465a3c01f5f99ea9172c..128ac3dc4155ddcec0a8cbda9143b9d0e4fa5089 100644 (file)
--- a/predicate.cc
+++ b/predicate.cc
@@ -5,7 +5,7 @@ Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
        entry_predicate(is_entry),
        pred_expressions(),
        children(),
-       parents(),
+       parent(NULL),
        backedge(NULL)
 {}
 
@@ -37,12 +37,6 @@ void Predicate::add_child(Predicate * child)
        children.push_back(child);
 }
 
-void Predicate::add_parent(Predicate * parent)
-{
-       /* check duplication? */
-       parents.push_back(parent);
-}
-
 void Predicate::print_predicate()
 {
        model_print("\"%p\" [shape=box, label=\"\n", this);