diff options
| author |   Dave Barach <dave@barachs.net> | 2020-05-04 14:47:45 -0400 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2020-05-06 10:24:21 +0000 |
| commit | c72950e811880c22e5b350c4b1cb5e31b0735b4d (patch) | |
| tree | 27d8263ae8ca9f408b5855527af0e98406900514 /src/vlib/linux/pci.c | |
| parent | 971c5be27996985e40f178c8d540a5807a428283 (diff) | |
misc: fix coverity warnings
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I51660e4b02f449bd2db12a8cfd395c6c343d2dee
Diffstat (limited to 'src/vlib/linux/pci.c')
| -rw-r--r-- | src/vlib/linux/pci.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vlib/linux/pci.c b/src/vlib/linux/pci.c index 8af1cdab0d4..722fb888117 100644 --- a/src/vlib/linux/pci.c +++ b/src/vlib/linux/pci.c @@ -1137,7 +1137,7 @@ vlib_pci_map_region_int (vlib_main_t * vm, vlib_pci_dev_handle_t h, if (*result == (void *) -1) { error = clib_error_return_unix (0, "mmap `BAR%u'", bar); - if (p->type == LINUX_PCI_DEVICE_TYPE_UIO) + if (p->type == LINUX_PCI_DEVICE_TYPE_UIO && (fd != -1)) close (fd); return error; } |