aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatus Fabian <matfabia@cisco.com>2017-12-13 23:15:47 -0800
committerDamjan Marion <dmarion.lists@gmail.com>2017-12-14 09:48:13 +0000
commit5e52529adaa3a36402a2cc4f0f364060c5afc014 (patch)
tree0c3f8b3353d4b81617db43d2278d6539deb3fc5f
parentceb4d05ba0fb9771069b0081b928a9e75401fc87 (diff)
NAT64: fix coverity (VPP-1032)
CIDs 180713 and 180714 Change-Id: Ia4856d1a62f176e99983f8c82eaa09d5df9d4ca5 Signed-off-by: Matus Fabian <matfabia@cisco.com>
-rw-r--r--src/plugins/nat/nat64_in2out.c2
-rw-r--r--src/plugins/nat/nat64_out2in.c2
2 files changed, 4 insertions, 0 deletions
diff --git a/src/plugins/nat/nat64_in2out.c b/src/plugins/nat/nat64_in2out.c
index 9f77ca33fa4..7a0bf85d96c 100644
--- a/src/plugins/nat/nat64_in2out.c
+++ b/src/plugins/nat/nat64_in2out.c
@@ -1692,6 +1692,8 @@ nat64_in2out_handoff_node_fn (vlib_main_t * vm, vlib_node_runtime_t * node,
current_worker_index = next_worker_index;
}
+ ASSERT (to_next_worker != 0);
+
/* enqueue to correct worker thread */
to_next_worker[0] = bi0;
to_next_worker++;
diff --git a/src/plugins/nat/nat64_out2in.c b/src/plugins/nat/nat64_out2in.c
index 1ba73a4f84a..17513c5efb8 100644
--- a/src/plugins/nat/nat64_out2in.c
+++ b/src/plugins/nat/nat64_out2in.c
@@ -1003,6 +1003,8 @@ nat64_out2in_handoff_node_fn (vlib_main_t * vm, vlib_node_runtime_t * node,
current_worker_index = next_worker_index;
}
+ ASSERT (to_next_worker != 0);
+
/* enqueue to correct worker thread */
to_next_worker[0] = bi0;
to_next_worker++;