efidisk: fix memory leak

Found by: Coverity scan.
CID: 96644

diff --git a/grub-core/disk/efi/efidisk.c b/grub-core/disk/efi/efidisk.c
index a8783a3c17764678e0f8acd456a332a12ae0731d..1c00e3ec8f702e1cf12d383ab6099bb710e4d79a 100644 (file)
--- a/grub-core/disk/efi/efidisk.c
+++ b/grub-core/disk/efi/efidisk.c
@@ -85,6 +85,12 @@ make_devices (void)
        {
          /* Uggh.  */
          grub_free (handles);
+         while (devices)
+           {
+             d = devices->next;
+             grub_free (devices);
+             devices = d;
+           }
          return 0;
        }