diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2016-07-29 22:30:20 +0200 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-07-31 19:16:45 +0200 |
| commit | 030c73031defb881fe379c002729b55919c5be3a (patch) | |
| tree | f205f2d0625faad41994bdf8c82b93c5b2f771f9 /util/gitconfig | |
| parent | be8f0fa2bb43f80915d0635c06fbfda0285f113f (diff) | |
util/inteltool: fix memory leak
A struct pci_dev was allocated but not freed.
Change-Id: I6a8bbef6a118fc1f0aa7037e72c4d0dda9208f4b
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Found-by: Coverity Scan #1353037
Reviewed-on: https://review.coreboot.org/15971
Tested-by: build bot (Jenkins)
Reviewed-by: Duncan Laurie <dlaurie@chromium.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/gitconfig')
0 files changed, 0 insertions, 0 deletions