diff options
| author |   Dave Barach <dave@barachs.net> | 2020-02-18 10:12:23 -0500 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2020-02-18 18:42:42 +0000 |
| commit | ffd15463b2f377cf4b2177cfd76ce4e77461ba68 (patch) | |
| tree | c5ff67d5baa6967b94bfc0537812e7c2e6b4d59e /src/vnet/vxlan-gbp/vxlan_gbp.c | |
| parent | 000a029e4a6a481f35b978dfe474c82d8da88e95 (diff) | |
misc: fix coverity warnings
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I402b1b06db736b2a7a242ce70ffd409c7c0a4fc2
Diffstat (limited to 'src/vnet/vxlan-gbp/vxlan_gbp.c')
| -rw-r--r-- | src/vnet/vxlan-gbp/vxlan_gbp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vnet/vxlan-gbp/vxlan_gbp.c b/src/vnet/vxlan-gbp/vxlan_gbp.c index 9a8158e9ab0..d17a2c82b02 100644 --- a/src/vnet/vxlan-gbp/vxlan_gbp.c +++ b/src/vnet/vxlan-gbp/vxlan_gbp.c @@ -317,7 +317,7 @@ mcast_shared_get (ip46_address_t * ip) { ASSERT (ip46_address_is_multicast (ip)); uword *p = hash_get_mem (vxlan_gbp_main.mcast_shared, ip); - ASSERT (p); + ALWAYS_ASSERT (p); mcast_shared_t ret = {.as_u64 = *p }; return ret; } |