diff options
| author |   Benoît Ganne <bganne@cisco.com> | 2019-10-22 18:19:00 +0200 |
|---|---|---|
| committer |   Andrew Yourtchenko <ayourtch@gmail.com> | 2019-10-31 12:15:48 +0000 |
| commit | abe07c8a25a566fd5f7441503a1541b5421c1ad7 (patch) | |
| tree | cb61457d275236752c09932de2ebcbd9fd9514f9 /src/vnet/tcp | |
| parent | 952d4e7fb9fce28c36f8ff05a0a20ce528aa45f7 (diff) | |
vppinfra: make coverity happy with vec_set_len
Coverity gets confused by ASSERT((l) <= vec_max_len(v)) when l is 0.
Type: fix
Change-Id: I247d7015b148233d8f195bcf41e9a047b7a21309
Signed-off-by: Benoît Ganne <bganne@cisco.com>
(cherry picked from commit 70d5d4fa09520bd5825b49960ae896beca3535e8)
Diffstat (limited to 'src/vnet/tcp')
0 files changed, 0 insertions, 0 deletions