From f6c7aec95f82feb0c64b3ddd8558f41c33923bac Mon Sep 17 00:00:00 2001 From: Dave Wallace Date: Mon, 13 May 2019 19:23:24 -0400 Subject: Coverity: Fix CID-198494 & CID-198388 Change-Id: I5fa4a3fa512b732fc444e908729582a109db538c Signed-off-by: Dave Wallace --- src/tests/vnet/session/quic_echo.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/tests/vnet/session') diff --git a/src/tests/vnet/session/quic_echo.c b/src/tests/vnet/session/quic_echo.c index c125d3be94c..af6666193f6 100644 --- a/src/tests/vnet/session/quic_echo.c +++ b/src/tests/vnet/session/quic_echo.c @@ -614,8 +614,8 @@ recv_data_chunk (echo_main_t * em, echo_session_t * s, u8 * rx_buf) n_to_read -= n_read; s->bytes_received += n_read; + ASSERT (s->bytes_to_receive >= n_read); s->bytes_to_receive -= n_read; - ASSERT (s->bytes_to_receive >= 0); } else break; -- cgit 1.2.3-korg