IP reassembly: workaround coverity warnings

Change-Id: Ide577f036d9d8dcedd99cdb4666a0eaf8a19b92e
Signed-off-by: Klement Sekera <ksekera@cisco.com>

diff --git a/src/vnet/ip/ip4_reassembly.c b/src/vnet/ip/ip4_reassembly.c
index 6b8d665..7a10271 100644 (file)
--- a/src/vnet/ip/ip4_reassembly.c
+++ b/src/vnet/ip/ip4_reassembly.c
@@ -412,6 +412,7 @@ ip4_reass_finalize (vlib_main_t * vm, vlib_node_runtime_t * node,
          trim_front = 0;
          trim_end = vlib_buffer_length_in_chain (vm, tmp) - data_len -
            ip4_header_bytes (ip);
+         ASSERT (vlib_buffer_length_in_chain (vm, tmp) - trim_end > 0);
        }
       u32 keep_data =
        vlib_buffer_length_in_chain (vm, tmp) - trim_front - trim_end;

diff --git a/src/vnet/ip/ip6_reassembly.c b/src/vnet/ip/ip6_reassembly.c
index d448032..5a7c081 100644 (file)
--- a/src/vnet/ip/ip6_reassembly.c
+++ b/src/vnet/ip/ip6_reassembly.c
@@ -451,6 +451,7 @@ ip6_reass_finalize (vlib_main_t * vm, vlib_node_runtime_t * node,
          trim_end = vlib_buffer_length_in_chain (vm, tmp) - data_len -
            (vnet_buffer (tmp)->ip.reass.ip6_frag_hdr_offset +
             sizeof (*frag_hdr));
+         ASSERT (vlib_buffer_length_in_chain (vm, tmp) - trim_end > 0);
        }
       u32 keep_data =
        vlib_buffer_length_in_chain (vm, tmp) - trim_front - trim_end;