fix bug - 'backedge' in predicate.cc uninitialized

[c11tester.git] / predicate.h

diff --git a/predicate.h b/predicate.h
index c4390f11f33b0d4da8e808bc363c073c9571e44c..2f15a126653f724e510c3c7a1fb0145fe781a1cd 100644 (file)
--- a/predicate.h
+++ b/predicate.h
@@ -58,10 +58,12 @@ public:
 private:
        FuncInst * func_inst;
        bool entry_predicate;
+
        /* may have multiple predicates */
        PredExprSet pred_expressions;
        ModelVector<Predicate *> children;
        ModelVector<Predicate *> parents;
+
        /* assume almost one back edge exists */
        Predicate * backedge;
 };