aboutsummaryrefslogtreecommitdiffstats
path: root/src/vnet
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/vnet
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/vnet')
-rw-r--r--src/vnet/bonding/cli.c4
-rw-r--r--src/vnet/bonding/node.c4
-rw-r--r--src/vnet/geneve/geneve.c2
-rw-r--r--src/vnet/l2/l2_api.c2
-rw-r--r--src/vnet/lisp-gpe/lisp_gpe_adjacency.c2
-rwxr-xr-xsrc/vnet/srmpls/sr_mpls_policy.c2
-rw-r--r--src/vnet/vxlan-gbp/vxlan_gbp.c2
-rw-r--r--src/vnet/vxlan-gpe/vxlan_gpe.c2
8 files changed, 10 insertions, 10 deletions
diff --git a/src/vnet/bonding/cli.c b/src/vnet/bonding/cli.c
index e6d8f1c2bc8..66aaa2e3816 100644
--- a/src/vnet/bonding/cli.c
+++ b/src/vnet/bonding/cli.c
@@ -78,8 +78,8 @@ bond_slave_sort (void *a1, void *a2)
slave_if_t *sif2 = bond_get_slave_by_sw_if_index (*s2);
bond_if_t *bif;
- ASSERT (sif1);
- ASSERT (sif2);
+ ALWAYS_ASSERT (sif1);
+ ALWAYS_ASSERT (sif2);
/*
* sort entries according to preference rules:
* 1. biggest weight
diff --git a/src/vnet/bonding/node.c b/src/vnet/bonding/node.c
index 49c1f28ed06..a606d20f19c 100644
--- a/src/vnet/bonding/node.c
+++ b/src/vnet/bonding/node.c
@@ -152,11 +152,11 @@ bond_update_next (vlib_main_t * vm, vlib_node_runtime_t * node,
*last_slave_sw_if_index = slave_sw_if_index;
sif = bond_get_slave_by_sw_if_index (slave_sw_if_index);
- ASSERT (sif);
+ ALWAYS_ASSERT (sif);
bif = bond_get_master_by_dev_instance (sif->bif_dev_instance);
- ASSERT (bif);
+ ALWAYS_ASSERT (bif);
ASSERT (vec_len (bif->slaves));
if (PREDICT_FALSE (bif->admin_up == 0))
diff --git a/src/vnet/geneve/geneve.c b/src/vnet/geneve/geneve.c
index a54a5383c46..501ab7f9845 100644
--- a/src/vnet/geneve/geneve.c
+++ b/src/vnet/geneve/geneve.c
@@ -335,7 +335,7 @@ mcast_shared_get (ip46_address_t * ip)
{
ASSERT (ip46_address_is_multicast (ip));
uword *p = hash_get_mem (geneve_main.mcast_shared, ip);
- ASSERT (p);
+ ALWAYS_ASSERT (p);
return (mcast_shared_t)
{
.as_u64 = *p};
diff --git a/src/vnet/l2/l2_api.c b/src/vnet/l2/l2_api.c
index fa852742f9f..e73d420914f 100644
--- a/src/vnet/l2/l2_api.c
+++ b/src/vnet/l2/l2_api.c
@@ -1102,7 +1102,7 @@ l2_arp_term_process (vlib_main_t * vm, vlib_node_runtime_t * rt,
({
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))
{
diff --git a/src/vnet/lisp-gpe/lisp_gpe_adjacency.c b/src/vnet/lisp-gpe/lisp_gpe_adjacency.c
index d9c22a4bbbb..ffd21a8c13e 100644
--- a/src/vnet/lisp-gpe/lisp_gpe_adjacency.c
+++ b/src/vnet/lisp-gpe/lisp_gpe_adjacency.c
@@ -264,7 +264,7 @@ lisp_gpe_increment_stats_counters (lisp_cp_main_t * lcm,
key.tunnel_index = ladj->tunnel_index;
uword *p = hash_get_mem (lgm->lisp_stats_index_by_key, &key);
- ASSERT (p);
+ ALWAYS_ASSERT (p);
/* compute payload length starting after GPE */
u32 bytes = b->current_length - (lisp_data - b->data - b->current_data);
diff --git a/src/vnet/srmpls/sr_mpls_policy.c b/src/vnet/srmpls/sr_mpls_policy.c
index 4fb80e12225..ceff11cbac8 100755
--- a/src/vnet/srmpls/sr_mpls_policy.c
+++ b/src/vnet/srmpls/sr_mpls_policy.c
@@ -700,7 +700,7 @@ sr_mpls_policy_assign_endpoint_color (mpls_label_t bsid,
/* CID 180995 This should never be NULL unless the two hash tables
* get out of sync */
- ASSERT (old_value != NULL);
+ ALWAYS_ASSERT (old_value != NULL);
fib_prefix_t pfx = { 0 };
pfx.fp_proto = FIB_PROTOCOL_MPLS;
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;
}
diff --git a/src/vnet/vxlan-gpe/vxlan_gpe.c b/src/vnet/vxlan-gpe/vxlan_gpe.c
index e5ff4f74295..07b7ac96542 100644
--- a/src/vnet/vxlan-gpe/vxlan_gpe.c
+++ b/src/vnet/vxlan-gpe/vxlan_gpe.c
@@ -428,7 +428,7 @@ mcast_shared_get (ip46_address_t * ip)
{
ASSERT (ip46_address_is_multicast (ip));
uword *p = hash_get_mem (vxlan_gpe_main.mcast_shared, ip);
- ASSERT (p);
+ ALWAYS_ASSERT (p);
return (mcast_shared_t)
{
.as_u64 = *p};