summaryrefslogtreecommitdiffstats
path: root/vnet
diff options
context:
space:
mode:
authorFilip Tehlar <ftehlar@cisco.com>2016-10-26 14:58:18 +0200
committerFlorin Coras <florin.coras@gmail.com>2016-10-27 13:43:09 +0000
commit218170be70aee7e26e327392af9b637354c33b2a (patch)
tree32a73f7fe7221ebaf99d13cdf6e8814b7fda88b8 /vnet
parentad41b351bdbc706bd984a7b7162b4794deb2f589 (diff)
Fix coverity issues in LISP
Change-Id: Ifef27540f02f423070e8843951be5cba0acea8cf Signed-off-by: Filip Tehlar <ftehlar@cisco.com>
Diffstat (limited to 'vnet')
-rw-r--r--vnet/vnet/lisp-cp/gid_dictionary.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/vnet/vnet/lisp-cp/gid_dictionary.c b/vnet/vnet/lisp-cp/gid_dictionary.c
index 0632ef0373f..9efc1a08cd2 100644
--- a/vnet/vnet/lisp-cp/gid_dictionary.c
+++ b/vnet/vnet/lisp-cp/gid_dictionary.c
@@ -39,7 +39,7 @@ foreach_sfib4_subprefix (BVT (clib_bihash_kv) * kvp, void *arg)
ip4_address_t *mask;
u8 plen = ip_prefix_len (&a->src);
- ASSERT (plen >= 0 && plen <= 32);
+ ASSERT (plen <= 32);
mask = &a->ip4_table->ip4_fib_masks[plen];
u32 src_ip = clib_host_to_net_u32 (ip_prefix_v4 (&a->src).as_u32);
@@ -394,6 +394,7 @@ gid_dictionary_sd_lookup (gid_dictionary_t * db, gid_address_t * dst,
gid_address_sd_dst_type (dst));
break;
}
+ break;
default:
clib_warning ("address type %d not supported!", gid_address_type (dst));
break;