tcp: tcp_bt_flush_samples coverity fix

Type: fix

Change-Id: I844ac34c929a000dff4fd0f607b5543ad2876eb8
Signed-off-by: Matus Fabian <[email protected]>

diff --git a/src/vnet/tcp/tcp_bt.c b/src/vnet/tcp/tcp_bt.c
index 3cb57a5..3624cd8 100644 (file)
--- a/src/vnet/tcp/tcp_bt.c
+++ b/src/vnet/tcp/tcp_bt.c
@@ -635,6 +635,8 @@ tcp_bt_flush_samples (tcp_connection_t * tc)
   tcp_bt_sample_t *bts;
   u32 *samples = 0, *si;
 
+  ASSERT (pool_elts (bt->samples) != 0);
+
   vec_validate (samples, pool_elts (bt->samples) - 1);
   vec_reset_length (samples);