From cb1db23a12fe8b34de1d3c556f07d931c3d277c0 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 21 Feb 2012 16:50:00 +0100 Subject: [PATCH] An unsigned int cannot be negative. Remove useless asserts. --- src/gras/Transport/transport_plugin_file.c | 2 -- src/xbt/datadesc/ddt_exchange.c | 6 +----- 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/src/gras/Transport/transport_plugin_file.c b/src/gras/Transport/transport_plugin_file.c index ba81c85567..29f64f051c 100644 --- a/src/gras/Transport/transport_plugin_file.c +++ b/src/gras/Transport/transport_plugin_file.c @@ -208,7 +208,6 @@ gras_trp_file_chunk_send_raw(xbt_socket_t sock, { xbt_assert(sock->outgoing, "Cannot write on client file socket"); - xbt_assert(size >= 0, "Cannot send a negative amount of data"); while (size) { int status = 0; @@ -244,7 +243,6 @@ gras_trp_file_chunk_recv(xbt_socket_t sock, xbt_assert(sock, "Cannot recv on an NULL socket"); xbt_assert(sock->incoming, "Cannot recv on client file socket"); - xbt_assert(size >= 0, "Cannot receive a negative amount of data"); if (sock->recvd) { data[0] = sock->recvd_val; diff --git a/src/xbt/datadesc/ddt_exchange.c b/src/xbt/datadesc/ddt_exchange.c index 12f601d49d..1a23b84b55 100644 --- a/src/xbt/datadesc/ddt_exchange.c +++ b/src/xbt/datadesc/ddt_exchange.c @@ -323,12 +323,8 @@ xbt_datadesc_memcpy_rec(xbt_cbps_t state, array_count = array_data.fixed_size; if (array_count == -1) array_count = subsize; - if (array_count == -1) { + if (array_count == -1) array_count = array_data.dynamic_size(type, state, src); - xbt_assert(array_count >= 0, - "Invalid (negative) array size for type %s", - type->name); - } /* send the content */ sub_type = array_data.type; -- 2.20.1