diff options
author | Jacob Garber <jgarber1@ualberta.ca> | 2020-03-07 14:55:35 -0700 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-03-09 08:23:41 +0000 |
commit | f8cd291344f2a8b8ecc90cfb7bb5ca864dcc9441 (patch) | |
tree | d11dd99092d15b6fc9dbdba3a1e41e89df95eda2 /util/lint | |
parent | 4ce52903b00efa45d2ad8cd1f886553e2b21cf91 (diff) |
drivers/ipmi: Fix buffer double-free
If reading the data for the asset_tag fails, that buffer should be
freed, not the one for serial_number.
Change-Id: I2ecaf7fd0f23f2fb5a6aa0961c7e17fff04847f4
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Found-by: Coverity CID 1419481, 1419485
Reviewed-on: https://review.coreboot.org/c/coreboot/+/39378
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions