diff options
| author |   Chris Luke <chrisy@flirble.org> | 2018-03-29 12:56:58 -0700 |
|---|---|---|
| committer | Chris Luke <chrisy@flirble.org> | 2018-03-29 15:23:56 -0700 |
| commit | 30684ac044bbb8e11ef100a24c01eb37ba7a8876 (patch) | |
| tree | ac5d526793fbafed606355c22d8e627e66d95786 /build-root/deb/debian/source | |
| parent | f3a3bad8006afb0b379761dfe4d5d25de07b32cc (diff) | |
Coverity fixes (VPP-1204)
Minor bug fixes
CID 183000: double close
CID 180996: dead code
CID 180995: NULL deref
CID 181957: NULL deref
CID 182676: NULL deref
CID 182675: NULL deref
Change-Id: Id35e391c95fafb8cd771984ee8a1a6e597056d37
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'build-root/deb/debian/source')
0 files changed, 0 insertions, 0 deletions