diff --git a/grub-core/kern/efi/efi.c b/grub-core/kern/efi/efi.c index 2942b8e35..67394bb6f 100644 --- a/grub-core/kern/efi/efi.c +++ b/grub-core/kern/efi/efi.c @@ -410,6 +410,7 @@ grub_efi_get_filename (grub_efi_device_path_t *dp0) { grub_error (GRUB_ERR_OUT_OF_RANGE, "malformed EFI Device Path node has length=%d", len); + grub_free (name); return NULL; }