summaryrefslogtreecommitdiffstats
path: root/src/vnet/session
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 /src/vnet/session
parenteb89b9093bc5c7b0b1511cf3d59454e15f9e4d92 (diff)
svm: fix coverity warnings
Type: fix Signed-off-by: Florin Coras <fcoras@cisco.com> Change-Id: I2d5cb7cccb67a3193ce5a25323e70bc05737e023
Diffstat (limited to 'src/vnet/session')
-rw-r--r--src/vnet/session/segment_manager.c3
1 files changed, 1 insertions, 2 deletions
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;