commit bfb9a66fab43e935772806e9d2f6b0ecf7146d67
author Dave Barach <dave@barachs.net> Mon Jun 21 10:31:35 2021 -0400
committer Dave Wallace <dwallacelf@gmail.com> Mon Jun 21 18:23:08 2021 +0000
tree 26adafa13cd8dd3d6581bdd5a56df2a2dfa5983a
parent d4721b2152b245558f5753a60d909b5b233af493

vlib: fix coverity warning

Type: fix

Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ib563e2c09d46cc26fb983ffde3d5fcb88166f6a5

src/vlib/cli.c

diff --git a/src/vlib/cli.c b/src/vlib/cli.c
index cad105f..a00ae62 100644
--- a/src/vlib/cli.c
+++ b/src/vlib/cli.c
@@ -1224,6 +1224,9 @@
       vec_add (sub_name, c->path + l + 1, vec_len (c->path) - (l + 1));
     }
 
+  /* "Can't happen," check mainly to shut up coverity */
+  ALWAYS_ASSERT (sub_name != 0);
+
   if (sub_name[0] == '%')
     {
       uword *q;