diff options
author | 2022-08-23 17:23:47 +0000 | |
---|---|---|
committer | 2022-08-29 23:52:13 +0000 | |
commit | 165c963ec5f2d80ab1871e63e0bdd602a9c430e3 (patch) | |
tree | d07d6c244e509c49a817132ccbe635766c9065b3 /src/vnet/fib | |
parent | b46a4e69e5db18ef792415439d04a0ab22c59386 (diff) |
fib: fix coverity 253539
Add an ASSERT so coverity is aware of the assumption taken,
without incurring any penalty in release build.
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Change-Id: I3e7e1e77059492315409efbed47657f9e56d167c
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'src/vnet/fib')
0 files changed, 0 insertions, 0 deletions