Bug#1072167: grub-pc-dbg: newly-added symbol file "..." does not provide any symbols

[lucas]

Package: grub-pc-dbg
Version: 2.12-2
Severity: grave
Justification: renders package unusable

Dear Maintainer,


I am following the recommended procedure to debug GRUB from the GRUB Developers 
Manual, ch. 7 Debugging, section i386. [1]

gdb refuses to start, because it cannot load the symbols from the *.image files
for some reason.


$  gdb -x gdb_grub
GNU gdb (Debian 13.2-1+b1) 13.2
Copyright (C) 2023 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "x86_64-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
    <http://www.gnu.org/software/gdb/documentation/>.

For help, type "help".
Type "apropos word" to search for commands related to "word".
add symbol table from file "boot.image"
warning: newly-added symbol file "boot.image" does not provide any symbols
add symbol table from file "diskboot.image"
warning: newly-added symbol file "diskboot.image" does not provide any symbols
add symbol table from file "lzma_decompress.image"
warning: newly-added symbol file "lzma_decompress.image" does not provide any symbols
gdb_grub:137: Error in sourced command file:
No symbol table is loaded.  Use the "file" command.


[1] https://www.gnu.org/software/grub/manual/grub-dev/html_node/i386_002dpc.html