diff options
author | Florin Coras <fcoras@cisco.com> | 2022-03-31 07:57:47 -0700 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2022-03-31 15:43:54 +0000 |
commit | 8f60318aca8f1df267f1b9069bc9697e9c4b65b0 (patch) | |
tree | d4f46a5526830a897b5789e447052c14ade458c8 | |
parent | d04ea4443ffedcb3f07bb0accfdbf2da2b8911f4 (diff) |
session: fix coverity warning
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I6ddb172d7b4f0ba06b0117d71853a22702a3466b
-rw-r--r-- | src/vnet/session/session_debug.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vnet/session/session_debug.c b/src/vnet/session/session_debug.c index f62af1cf839..8e4588ecd0b 100644 --- a/src/vnet/session/session_debug.c +++ b/src/vnet/session/session_debug.c @@ -144,6 +144,8 @@ dump_thread_0_event_queue (void) { case SESSION_IO_EVT_TX: s0 = session_get_if_valid (e->session_index, my_thread_index); + if (!s0) + break; fformat (stdout, "[%04d] TX session %d\n", i, s0->session_index); break; @@ -155,6 +157,8 @@ dump_thread_0_event_queue (void) case SESSION_IO_EVT_BUILTIN_RX: s0 = session_get_if_valid (e->session_index, my_thread_index); + if (!s0) + break; fformat (stdout, "[%04d] builtin_rx %d\n", i, s0->session_index); break; |