experiment with adding NULLITY predicate

[c11tester.git] / predicate.cc

diff --git a/predicate.cc b/predicate.cc
index 77f362d..128ac3d 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(),
        entry_predicate(is_entry),
        pred_expressions(),
        children(),

-       parents(),
+       parent(NULL),

        backedge(NULL)
 {}
 
        backedge(NULL)
 {}
 


@@ -37,12 +37,6 @@ void Predicate::add_child(Predicate * child)
        children.push_back(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);
 void Predicate::print_predicate()
 {
        model_print("\"%p\" [shape=box, label=\"\n", this);