Delete set iterator pointers to prevent memory leaks and enable updating of predicate...

[c11tester.git] / funcnode.h

diff --git a/funcnode.h b/funcnode.h
index f4db0e86d6662cd8c43a2a51e6f7a71cd84f8432..7aec0bd047e8f21fa672c3a8efbc928d42971769 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -118,7 +118,10 @@ private:
 
        /* Run-time position in the predicate tree for each thread */
        ModelVector<Predicate *> predicate_tree_position;
+
        PredSet predicate_leaves;
+       ModelVector<Predicate *> leaves_tmp_storage;
+       ModelVector<Predicate *> weight_debug_vec;
 
        /* Store the relation between this FuncNode and other FuncNodes */
        HashTable<FuncNode *, edge_type_t, uintptr_t, 0, model_malloc, model_calloc, model_free> edge_table;