aboutsummaryrefslogtreecommitdiffstats
path: root/src/plugins
diff options
context:
space:
mode:
authorDave Barach <dave@barachs.net>2020-02-18 10:12:23 -0500
committerFlorin Coras <florin.coras@gmail.com>2020-02-18 18:42:42 +0000
commitffd15463b2f377cf4b2177cfd76ce4e77461ba68 (patch)
treec5ff67d5baa6967b94bfc0537812e7c2e6b4d59e /src/plugins
parent000a029e4a6a481f35b978dfe474c82d8da88e95 (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/plugins')
-rw-r--r--src/plugins/gtpu/gtpu.c2
-rw-r--r--src/plugins/igmp/igmp_proxy.c2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/plugins/gtpu/gtpu.c b/src/plugins/gtpu/gtpu.c
index b0d7839f519..0abac0053db 100644
--- a/src/plugins/gtpu/gtpu.c
+++ b/src/plugins/gtpu/gtpu.c
@@ -341,7 +341,7 @@ mcast_shared_get (ip46_address_t * ip)
{
ASSERT (ip46_address_is_multicast (ip));
uword *p = hash_get_mem (gtpu_main.mcast_shared, ip);
- ASSERT (p);
+ ALWAYS_ASSERT (p);
return (mcast_shared_t)
{
.as_u64 = *p};
diff --git a/src/plugins/igmp/igmp_proxy.c b/src/plugins/igmp/igmp_proxy.c
index c2f3e06fb1f..dc2b4c13791 100644
--- a/src/plugins/igmp/igmp_proxy.c
+++ b/src/plugins/igmp/igmp_proxy.c
@@ -326,7 +326,7 @@ igmp_proxy_device_merge_group (igmp_proxy_device_t * proxy_device,
igmp_src_t *src;
proxy_config = igmp_config_lookup (proxy_device->upstream_if);
- ASSERT (proxy_config);
+ ALWAYS_ASSERT (proxy_config);
proxy_group = igmp_group_lookup (proxy_config, group->key);
if (!proxy_group)