diff options
| author |   Florin Coras <fcoras@cisco.com> | 2020-02-25 22:28:27 +0000 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-02-26 15:28:45 +0000 |
| commit | 8c79a4ebb1f349b9bf1058c2e0511c0ea75b8552 (patch) | |
| tree | 3a7f286b74aabcda89dbbbf48bf92d30a10686d6 /src/vnet/session/segment_manager.c | |
| parent | eb89b9093bc5c7b0b1511cf3d59454e15f9e4d92 (diff) | |
svm: fix coverity warnings
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I2d5cb7cccb67a3193ce5a25323e70bc05737e023
Diffstat (limited to 'src/vnet/session/segment_manager.c')
| -rw-r--r-- | src/vnet/session/segment_manager.c | 3 |
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; |