aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorin Coras <fcoras@cisco.com>2020-02-25 22:28:27 +0000
committerDave Barach <openvpp@barachs.net>2020-02-26 15:28:45 +0000
commit8c79a4ebb1f349b9bf1058c2e0511c0ea75b8552 (patch)
tree3a7f286b74aabcda89dbbbf48bf92d30a10686d6
parenteb89b9093bc5c7b0b1511cf3d59454e15f9e4d92 (diff)
svm: fix coverity warnings
Type: fix Signed-off-by: Florin Coras <fcoras@cisco.com> Change-Id: I2d5cb7cccb67a3193ce5a25323e70bc05737e023
-rw-r--r--src/svm/fifo_segment.c1
-rw-r--r--src/vnet/session/segment_manager.c3
2 files changed, 1 insertions, 3 deletions
diff --git a/src/svm/fifo_segment.c b/src/svm/fifo_segment.c
index ec6f082398e..e19113fd449 100644
--- a/src/svm/fifo_segment.c
+++ b/src/svm/fifo_segment.c
@@ -75,7 +75,6 @@ static inline uword
fsh_n_cached_bytes (fifo_segment_header_t * fsh)
{
uword n_cached = clib_atomic_load_relax_n (&fsh->n_cached_bytes);
- ASSERT (n_cached >= 0);
return n_cached;
}
diff --git a/src/vnet/session/segment_manager.c b/src/vnet/session/segment_manager.c
index db38097602c..cbd44432e8a 100644
--- a/src/vnet/session/segment_manager.c
+++ b/src/vnet/session/segment_manager.c
@@ -981,8 +981,7 @@ void
segment_manager_set_watermarks (segment_manager_t * sm,
u8 high_watermark, u8 low_watermark)
{
- ASSERT (high_watermark >= 0 && high_watermark <= 100 &&
- low_watermark >= 0 && low_watermark <= 100 &&
+ ASSERT (high_watermark <= 100 && low_watermark <= 100 &&
low_watermark <= high_watermark);
sm->high_watermark = high_watermark;