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 | |
| parent | eb89b9093bc5c7b0b1511cf3d59454e15f9e4d92 (diff) | |
svm: fix coverity warnings
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I2d5cb7cccb67a3193ce5a25323e70bc05737e023
Diffstat (limited to 'src')
| -rw-r--r-- | src/svm/fifo_segment.c | 1 | ||||
| -rw-r--r-- | src/vnet/session/segment_manager.c | 3 |
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; |