diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2022-08-23 17:23:47 +0000 |
|---|---|---|
| committer |   Neale Ranns <neale@graphiant.com> | 2022-08-29 23:52:13 +0000 |
| commit | 165c963ec5f2d80ab1871e63e0bdd602a9c430e3 (patch) | |
| tree | d07d6c244e509c49a817132ccbe635766c9065b3 /src/vnet/dpo/mpls_label_dpo.c | |
| 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/dpo/mpls_label_dpo.c')
0 files changed, 0 insertions, 0 deletions