Code Review
/
vpp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
review
|
tree
raw
|
patch
| inline |
side by side
(parent:
d4721b2
)
vlib: fix coverity warning
16/32816/2
author
Dave Barach
<dave@barachs.net>
Mon, 21 Jun 2021 14:31:35 +0000
(10:31 -0400)
committer
Dave Wallace
<dwallacelf@gmail.com>
Mon, 21 Jun 2021 18:23:08 +0000
(18:23 +0000)
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ib563e2c09d46cc26fb983ffde3d5fcb88166f6a5
src/vlib/cli.c
patch
|
blob
|
history
diff --git
a/src/vlib/cli.c
b/src/vlib/cli.c
index
cad105f
..
a00ae62
100644
(file)
--- a/
src/vlib/cli.c
+++ b/
src/vlib/cli.c
@@
-1224,6
+1224,9
@@
add_sub_command (vlib_cli_main_t * cm, uword parent_index, uword child_index)
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;