diff options
author | 2016-10-26 14:58:18 +0200 | |
---|---|---|
committer | 2016-10-27 13:43:09 +0000 | |
commit | 218170be70aee7e26e327392af9b637354c33b2a (patch) | |
tree | 32a73f7fe7221ebaf99d13cdf6e8814b7fda88b8 /vnet | |
parent | ad41b351bdbc706bd984a7b7162b4794deb2f589 (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.c | 3 |
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 0632ef03..9efc1a08 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; |