Hi,

Please find the latest report on new defect(s) introduced to GRUB found with Coverity Scan.

2 new defect(s) introduced to GRUB found with Coverity Scan.

New defect(s) Reported-by: Coverity Scan
Showing 2 of 2 defect(s)

** CID 407976:  Null pointer dereferences  (NULL_RETURNS)
/grub-core/loader/efi/linux.c: 217 in grub_arch_efi_linux_boot_image()

________________________________________________________________________________________________________
*** CID 407976:  Null pointer dereferences  (NULL_RETURNS)
/grub-core/loader/efi/linux.c: 217 in grub_arch_efi_linux_boot_image()
211         return grub_error (GRUB_ERR_BAD_OS, "cannot load image");
212
213       grub_dprintf ("linux", "linux command line: '%s'\n", args);
214
215       /* Convert command line to UCS-2 */
216       loaded_image = grub_efi_get_loaded_image (image_handle);
>>>     CID 407976:  Null pointer dereferences  (NULL_RETURNS)
>>>     Dereferencing "loaded_image", which is known to be "NULL".
217       loaded_image->load_options_size = len =
218         (grub_strlen (args) + 1) * sizeof (grub_efi_char16_t);
219       loaded_image->load_options =
220         grub_efi_allocate_any_pages (GRUB_EFI_BYTES_TO_PAGES (loaded_image->load_options_size));
221       if (!loaded_image->load_options)
222         return grub_errno;

** CID 407975:  Possible Control flow issues  (DEADCODE)
/grub-core/loader/efi/linux.c: 437 in grub_cmd_initrd()

________________________________________________________________________________________________________
*** CID 407975:  Possible Control flow issues  (DEADCODE)
/grub-core/loader/efi/linux.c: 437 in grub_cmd_initrd()
431       grub_dprintf ("linux", "[addr=%p, size=0x%x]\n",
432     		(void *) initrd_start, initrd_size);
433     #endif
434
435      fail:
436       grub_initrd_close (&initrd_ctx);
>>>     CID 407975:  Possible Control flow issues  (DEADCODE)
>>>     Execution cannot reach the expression "initrd_start" inside this statement: "if (initrd_mem && !initrd_s...".
437       if (initrd_mem && !initrd_start)
438         grub_efi_free_pages ((grub_addr_t) initrd_mem, initrd_pages);
439
440       return grub_errno;
441     }
442

________________________________________________________________________________________________________