From: Matus Fabian <matfabia@cisco.com>
Date: Fri, 25 Apr 2025 12:29:16 +0000 (-0400)
Subject: tcp: tcp_bt_flush_samples coverity fix
X-Git-Tag: v25.10-rc0~58
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F96%2F42896%2F3;p=vpp.git

tcp: tcp_bt_flush_samples coverity fix

Type: fix

Change-Id: I844ac34c929a000dff4fd0f607b5543ad2876eb8
Signed-off-by: Matus Fabian <matfabia@cisco.com>
---

diff --git a/src/vnet/tcp/tcp_bt.c b/src/vnet/tcp/tcp_bt.c
index 3cb57a550de..3624cd8158a 100644
--- 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);