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/plugins/igmp | |
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/plugins/igmp')
-rw-r--r-- | src/plugins/igmp/igmp_proxy.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) |