diff options
| author |   Matus Fabian <matfabia@cisco.com> | 2017-12-13 23:15:47 -0800 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2017-12-14 09:48:13 +0000 |
| commit | 5e52529adaa3a36402a2cc4f0f364060c5afc014 (patch) | |
| tree | 0c3f8b3353d4b81617db43d2278d6539deb3fc5f | |
| parent | ceb4d05ba0fb9771069b0081b928a9e75401fc87 (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.c | 2 | ||||
| -rw-r--r-- | src/plugins/nat/nat64_out2in.c | 2 |
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++; |