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 /src/plugins/nat/nat64_in2out.c | |
parent | ceb4d05ba0fb9771069b0081b928a9e75401fc87 (diff) |
NAT64: fix coverity (VPP-1032)
CIDs 180713 and 180714
Change-Id: Ia4856d1a62f176e99983f8c82eaa09d5df9d4ca5
Signed-off-by: Matus Fabian <matfabia@cisco.com>
Diffstat (limited to 'src/plugins/nat/nat64_in2out.c')
-rw-r--r-- | src/plugins/nat/nat64_in2out.c | 2 |
1 files changed, 2 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++; |