mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 02:31:05 +00:00
efidisk: fix memory leak
Found by: Coverity scan. CID: 96644
This commit is contained in:
1 parent
6c35ce72ba
commit
e9d71db53a
1 file changed
+6
@@ -85,6 +85,12 @@ make_devices (void)
|
|||||||
{
|
{
|
||||||
/* Uggh. */
|
/* Uggh. */
|
||||||
grub_free (handles);
|
grub_free (handles);
|
||||||
|
while (devices)
|
||||||
|
{
|
||||||
|
d = devices->next;
|
||||||
|
grub_free (devices);
|
||||||
|
devices = d;
|
||||||
|
}
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user