From 165c963ec5f2d80ab1871e63e0bdd602a9c430e3 Mon Sep 17 00:00:00 2001 From: Andrew Yourtchenko Date: Tue, 23 Aug 2022 17:23:47 +0000 Subject: fib: fix coverity 253539 Add an ASSERT so coverity is aware of the assumption taken, without incurring any penalty in release build. Type: fix Signed-off-by: Andrew Yourtchenko Change-Id: I3e7e1e77059492315409efbed47657f9e56d167c Signed-off-by: Andrew Yourtchenko --- src/vnet/dpo/load_balance.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/vnet/dpo') diff --git a/src/vnet/dpo/load_balance.c b/src/vnet/dpo/load_balance.c index 9001a351ccb..ff46d56e3e2 100644 --- a/src/vnet/dpo/load_balance.c +++ b/src/vnet/dpo/load_balance.c @@ -592,6 +592,7 @@ load_balance_fill_buckets_sticky (load_balance_t *lb, { /* fill the bucks from the next up path */ load_balance_set_bucket_i(lb, bucket++, buckets, &fwding_paths[fpath].path_dpo); + ASSERT(vec_len(fwding_paths) > 0); fpath = (fpath + 1) % vec_len(fwding_paths); } } -- cgit 1.2.3-korg