[PATCH 07/13] gdb/dwarf: read DW_AT_ranges value as unsigned in partial_die_info::read
Simon Marchi
simon.marchi@polymtl.ca
Wed Jan 20 05:39:19 GMT 2021
From: Simon Marchi <simon.marchi@efficios.com>
While writing a test for this series, I made a function
(DW_AT_subprogram) with a DW_AT_ranges attribute using the
DW_FORM_rnglistx form:
0x00000012: DW_TAG_subprogram
DW_AT_name [DW_FORM_string] ("foo")
DW_AT_ranges [DW_FORM_rnglistx] (indexed (0x0) rangelist = 0x00000036
[0x0000000000004000, 0x0000000000005000))
And strangely I couldn't print it:
(gdb) p foo
No symbol "foo" in current context.
This is because of the `attr.constant_value (0)` in the DW_AT_ranges
handling of partial_die_info::read. Since DW_FORM_rnglistx is not
recognized as a constant value by attribute::constant_value, the default
value (0) is returned. Down the line, this causes
dwarf2_rnglists_process to try read a range list at offset 0 in the
.debug_rnglists section, which is obviously wrong. In the end, no
symbol is created for foo because we didn't find an address range.
Use attr->as_unsigned instead. This is what is done for the equivalent
code in dwarf2_get_pc_bounds. With this, GDB processes the subprogram
DIE and we are able to print the function symbol:
(gdb) p foo
$1 = {void (void)} 0x4000
Note that I didn't see an actual compiler use DW_FORM_rnglistx for a
subprogram's range. However, in the binary attached to PR 26813, there
are some lexical blocks with it:
0x0000d34a: DW_TAG_lexical_block
DW_AT_ranges [DW_FORM_rnglistx] (indexed (0x2) rangelist = 0x000000d4
[0x0000000000005db1, 0x0000000000005e36)
[0x0000000000005e48, 0x0000000000005f3c)
[0x0000000000006045, 0x0000000000006053))
Their ranges are read incorrectly just like the ranges of the
subprograms. With this patch applied, they are read correctly.
gdb/ChangeLog:
* dwarf2/read.c (partial_die_info::read): Use
attribute::as_unsigned instead of attribute::constant_value
for DW_AT_ranges.
Change-Id: I285381a15588574058d934bbc88f06029e8a3bd1
---
gdb/dwarf2/read.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gdb/dwarf2/read.c b/gdb/dwarf2/read.c
index 9701d422a338..5277e2a09e3f 100644
--- a/gdb/dwarf2/read.c
+++ b/gdb/dwarf2/read.c
@@ -19805,7 +19805,7 @@ partial_die_info::read (const struct die_reader_specs *reader,
/* It would be nice to reuse dwarf2_get_pc_bounds here,
but that requires a full DIE, so instead we just
reimplement it. */
- unsigned int ranges_offset = (attr.constant_value (0)
+ unsigned int ranges_offset = (attr.as_unsigned ()
+ (need_ranges_base
? cu->ranges_base
: 0));
--
2.30.0
More information about the Gdb-patches
mailing list