aboutsummaryrefslogtreecommitdiffstats
path: root/src/plugins
diff options
context:
space:
mode:
authorBenoît Ganne <bganne@cisco.com>2019-10-22 18:19:00 +0200
committerFlorin Coras <florin.coras@gmail.com>2019-10-22 18:17:27 +0000
commit70d5d4fa09520bd5825b49960ae896beca3535e8 (patch)
treeea3af153534efde6c3e130922e90ca8edcb4b6a2 /src/plugins
parent3ad078d75d1430b3f71c28a0e8dc7a880b28d332 (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>
Diffstat (limited to 'src/plugins')
0 files changed, 0 insertions, 0 deletions