From ffd15463b2f377cf4b2177cfd76ce4e77461ba68 Mon Sep 17 00:00:00 2001 From: Dave Barach Date: Tue, 18 Feb 2020 10:12:23 -0500 Subject: misc: fix coverity warnings Type: fix Ticket: VPP-1837 Signed-off-by: Dave Barach Change-Id: I402b1b06db736b2a7a242ce70ffd409c7c0a4fc2 --- src/plugins/gtpu/gtpu.c | 2 +- src/plugins/igmp/igmp_proxy.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/plugins') 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) -- cgit 1.2.3-korg