X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fkaps%2Fbucket.c;h=af6d16ec5f8dda49ed3ca36d7817b98c06d97a04;hb=c69072442cf3ca182916752eb6d976a79f8f1d4c;hp=77e85990637dfed5a3d323657654b0c564a21d22;hpb=1a3b7d363474ab544c13093a2f0b578718d37c7a;p=libfirm diff --git a/ir/kaps/bucket.c b/ir/kaps/bucket.c index 77e859906..af6d16ec5 100644 --- a/ir/kaps/bucket.c +++ b/ir/kaps/bucket.c @@ -22,7 +22,6 @@ * @brief Buckets for nodes and edges. * @date 30.11.2008 * @author Sebastian Buchwald - * @version $Id$ */ #include "config.h" @@ -35,8 +34,6 @@ int edge_bucket_contains(pbqp_edge_bucket_t bucket, pbqp_edge_t *edge) { - assert(edge); - return edge->bucket_index < edge_bucket_get_length(bucket) && bucket[edge->bucket_index] == edge; } @@ -85,8 +82,6 @@ void node_bucket_shrink(pbqp_node_bucket_t *bucket, unsigned len) int node_bucket_contains(pbqp_node_bucket_t bucket, pbqp_node_t *node) { - assert(node); - return node->bucket_index < node_bucket_get_length(bucket) && bucket[node->bucket_index] == node; } @@ -141,7 +136,6 @@ pbqp_node_t *node_bucket_pop(pbqp_node_bucket_t *bucket) assert(bucket_len > 0); node = (*bucket)[bucket_len - 1]; - assert(node); ARR_SHRINKLEN(*bucket, (int)bucket_len - 1); node->bucket_index = UINT_MAX; @@ -155,9 +149,7 @@ void node_bucket_remove(pbqp_node_bucket_t *bucket, pbqp_node_t *node) unsigned node_index; pbqp_node_t *other; - assert(node); assert(node_bucket_contains(*bucket, node)); - assert(bucket_len > 0); node_index = node->bucket_index; other = (*bucket)[bucket_len - 1];