stub: get_extra_dir() can return NULL
authorLennart Poettering <lennart@poettering.net>
Tue, 28 Nov 2023 20:21:37 +0000 (21:21 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Tue, 28 Nov 2023 23:53:30 +0000 (23:53 +0000)
commitec43827bf746c0ccccdac6341f4288d2a622d492
tree33e960c3317feec92f91bd288c497dba1cd103c5
parent0e38893a0fe4859fef05cb3c5a7e0306575c9ec2
stub: get_extra_dir() can return NULL

If we have a device path that is not the usual file system directory
get_extra_dir() will return NULL. Handle that gracefully.

Fixes: #30228
src/boot/efi/cpio.c
src/boot/efi/stub.c