commit ffd15463b2f377cf4b2177cfd76ce4e77461ba68
author Dave Barach <dave@barachs.net> Tue Feb 18 10:12:23 2020 -0500
committer Florin Coras <florin.coras@gmail.com> Tue Feb 18 18:42:42 2020 +0000
tree c5ff67d5baa6967b94bfc0537812e7c2e6b4d59e
parent 000a029e4a6a481f35b978dfe474c82d8da88e95

misc: fix coverity warnings

Type: fix
Ticket: VPP-1837

Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I402b1b06db736b2a7a242ce70ffd409c7c0a4fc2

src/vnet/l2/l2_api.c

diff --git a/src/vnet/l2/l2_api.c b/src/vnet/l2/l2_api.c
index fa85274..e73d420 100644
--- a/src/vnet/l2/l2_api.c
+++ b/src/vnet/l2/l2_api.c
@@ -1102,7 +1102,7 @@
             ({
               vl_api_registration_t *vl_reg;
               vl_reg = vl_api_client_index_to_registration (reg->client_index);
-              ASSERT (vl_reg != NULL);
+              ALWAYS_ASSERT (vl_reg != NULL);
 
               if (reg && vl_api_can_send_msg (vl_reg))
                 {