fix bug - 'backedge' in predicate.cc uninitialized
[c11tester.git] / predicate.h
index c4390f1..2f15a12 100644 (file)
@@ -58,10 +58,12 @@ public:
 private:
        FuncInst * func_inst;
        bool entry_predicate;
 private:
        FuncInst * func_inst;
        bool entry_predicate;
+
        /* may have multiple predicates */
        PredExprSet pred_expressions;
        ModelVector<Predicate *> children;
        ModelVector<Predicate *> parents;
        /* may have multiple predicates */
        PredExprSet pred_expressions;
        ModelVector<Predicate *> children;
        ModelVector<Predicate *> parents;
+
        /* assume almost one back edge exists */
        Predicate * backedge;
 };
        /* assume almost one back edge exists */
        Predicate * backedge;
 };