session: fix coverity warning

Type: fix

Signed-off-by: Florin Coras <[email protected]>
Change-Id: I6ddb172d7b4f0ba06b0117d71853a22702a3466b

diff --git a/src/vnet/session/session_debug.c b/src/vnet/session/session_debug.c
index f62af1c..8e4588e 100644 (file)
--- 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;