Move initialization of node bucket.

[r24414]

diff --git a/bucket.c b/bucket.c
index a610ddc..c82f542 100644 (file)
--- a/bucket.c
+++ b/bucket.c
@@ -136,7 +136,6 @@ void node_bucket_deep_copy(pbqp *pbqp, pbqp_node_bucket *dst, pbqp_node_bucket s
        unsigned          bucket_index;
        unsigned          bucket_length;
 
-       node_bucket_init(dst);
        bucket_length = node_bucket_get_length(src);
 
        for (bucket_index = 0; bucket_index < bucket_length; ++bucket_index) {

diff --git a/heuristical.c b/heuristical.c
index 0e74e6f..90296b5 100644 (file)
--- a/heuristical.c
+++ b/heuristical.c
@@ -880,6 +880,8 @@ static unsigned get_minimal_alternative(pbqp *pbqp, pbqp_node *node)
                unsigned         bucket_0_length;
                unsigned         bucket_red_length;
 
+               node_bucket_init(&bucket_deg3);
+
                /* Some node buckets and the edge bucket should be empty. */
                assert(node_bucket_get_length(node_buckets[1]) == 0);
                assert(node_bucket_get_length(node_buckets[2]) == 0);