mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-27 04:52:05 +08:00
c334512419
This is the second part of enhancing the debugger to print the value of arrays of records whose size is variable when only standard DWARF info is available (no GNAT encoding). For instance: subtype Small_Type is Integer range 0 .. 10; type Record_Type (I : Small_Type := 0) is record S : String (1 .. I); end record; type Array_Type is array (Integer range <>) of Record_Type; A1 : Array_Type := (1 => (I => 0, S => <>), 2 => (I => 1, S => "A"), 3 => (I => 2, S => "AB")); Currently, GDB prints the following output: (gdb) p a1 $1 = ( The error happens while the ada-valprint module is trying to print the value of an element of our array. Because of the fact that the array's element (type Record_Type) has a variant size, the DWARF info for our array provide the array's stride: <1><749>: Abbrev Number: 10 (DW_TAG_array_type) <74a> DW_AT_name : (indirect string, offset: 0xb6d): pck__T18s <74e> DW_AT_byte_stride : 16 <74f> DW_AT_type : <0x6ea> And because our array has a stride, ada-valprint treats it the same way as packed arrays (see ada-valprint.c::ada_val_print_array): if (TYPE_FIELD_BITSIZE (type, 0) > 0) val_print_packed_array_elements (type, valaddr, offset_aligned, 0, stream, recurse, original_value, options); The first thing that we should notice in the call above is that the "valaddr" buffer and the associated offset (OFFSET_ALIGNED) is passed, but that the corresponding array's address is not. This can be explained by looking inside val_print_packed_array_elements, where we see that the function unpacks each element of our array from the buffer alone (ada_value_primitive_packed_val), and then prints the resulting artificial value instead: v0 = ada_value_primitive_packed_val (NULL, valaddr + offset, (i0 * bitsize) / HOST_CHAR_BIT, (i0 * bitsize) % HOST_CHAR_BIT, bitsize, elttype); [...] val_print (elttype, value_contents_for_printing (v0), value_embedded_offset (v0), 0, stream, recurse + 1, v0, &opts, current_language); Of particular interest, here, is the fact that we call val_print with a null address, which is OK, since we're providing a buffer instead (value_contents_for_printing). Also, providing an address might not always possible, since packing could place elements at boundaries that are not byte-aligned. Things go south when val_print tries to see if there is a pretty-printer that could be applied. In particular, one of the first things that the Python pretty-printer does is to create a value using our buffer, and the given address, which in this case is null (see call to value_from_contents_and_address in gdbpy_apply_val_pretty_printer). value_from_contents_and_address, in turn immediately tries to resolve the type, using the given address, which is null. But, because our array element is a record containing an array whose bound is the value of one of its elements (the "s" component), the debugging info for the array's upper bound is a reference... <3><71a>: Abbrev Number: 7 (DW_TAG_subrange_type) <71b> DW_AT_type : <0x724> <71f> DW_AT_upper_bound : <0x703> ... to component "i" of our record... <2><703>: Abbrev Number: 5 (DW_TAG_member) <704> DW_AT_name : i <706> DW_AT_decl_file : 2 <707> DW_AT_decl_line : 6 <708> DW_AT_type : <0x6d1> <70c> DW_AT_data_member_location: 0 ... where that component is located at offset 0 of the start of the record. dwarf2_evaluate_property correctly determines the offset where to load the value of the bound from, but then tries to read that value from inferior memory using the address that was given, which is null. See case PROP_ADDR_OFFSET in dwarf2_evaluate_property: val = value_at (baton->offset_info.type, pinfo->addr + baton->offset_info.offset); This triggers a memory error, which then causes the printing to terminate. Since there are going to be situations where providing an address alone is not going to be sufficient (packed arrays where array elements are not stored at byte boundaries), this patch fixes the issue by enhancing the type resolution to take both address and data. This follows the same principle as the val_print module, where both address and buffer ("valaddr") can be passed as arguments. If the data has already been fetched from inferior memory (or provided by the debugging info in some form -- Eg a constant), then use that data instead of reading it from inferior memory. Note that this should also be a good step towards being able to handle dynamic types whose value is stored outside of inferior memory (Eg: in a register). With this patch, GDB isn't able to print all of A1, but does perform a little better: (gdb) p a1 $1 = ((i => 0, s => , (i => 1, s => , (i => 2, s => ) There is another issue which is independent of this one, and will therefore be patched separately. gdb/ChangeLog: * dwarf2loc.h (struct property_addr_info): Add "valaddr" field. * dwarf2loc.c (dwarf2_evaluate_property): Add handling of pinfo->valaddr. * gdbtypes.h (resolve_dynamic_type): Add "valaddr" parameter. * gdbtypes.c (resolve_dynamic_struct): Set pinfo.valaddr. (resolve_dynamic_type_internal): Set pinfo.valaddr. Add handling of addr_stack->valaddr. (resolve_dynamic_type): Add "valaddr" parameter. Set pinfo.valaddr field. * ada-lang.c (ada_discrete_type_high_bound): Update call to resolve_dynamic_type. (ada_discrete_type_low_bound): Likewise. * findvar.c (default_read_var_value): Likewise. * value.c (value_from_contents_and_address): Likewise.
295 lines
10 KiB
C
295 lines
10 KiB
C
/* DWARF 2 location expression support for GDB.
|
|
|
|
Copyright (C) 2003-2015 Free Software Foundation, Inc.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#if !defined (DWARF2LOC_H)
|
|
#define DWARF2LOC_H
|
|
|
|
#include "dwarf2expr.h"
|
|
|
|
struct symbol_computed_ops;
|
|
struct objfile;
|
|
struct dwarf2_per_cu_data;
|
|
struct dwarf2_loclist_baton;
|
|
struct agent_expr;
|
|
struct axs_value;
|
|
|
|
/* This header is private to the DWARF-2 reader. It is shared between
|
|
dwarf2read.c and dwarf2loc.c. */
|
|
|
|
/* `set debug entry-values' setting. */
|
|
extern unsigned int entry_values_debug;
|
|
|
|
/* Return the OBJFILE associated with the compilation unit CU. If CU
|
|
came from a separate debuginfo file, then the master objfile is
|
|
returned. */
|
|
struct objfile *dwarf2_per_cu_objfile (struct dwarf2_per_cu_data *cu);
|
|
|
|
/* Return the address size given in the compilation unit header for CU. */
|
|
int dwarf2_per_cu_addr_size (struct dwarf2_per_cu_data *cu);
|
|
|
|
/* Return the DW_FORM_ref_addr size given in the compilation unit header for
|
|
CU. */
|
|
int dwarf2_per_cu_ref_addr_size (struct dwarf2_per_cu_data *cu);
|
|
|
|
/* Return the offset size given in the compilation unit header for CU. */
|
|
int dwarf2_per_cu_offset_size (struct dwarf2_per_cu_data *cu);
|
|
|
|
/* Return the text offset of the CU. The returned offset comes from
|
|
this CU's objfile. If this objfile came from a separate debuginfo
|
|
file, then the offset may be different from the corresponding
|
|
offset in the parent objfile. */
|
|
CORE_ADDR dwarf2_per_cu_text_offset (struct dwarf2_per_cu_data *cu);
|
|
|
|
/* Find a particular location expression from a location list. */
|
|
const gdb_byte *dwarf2_find_location_expression
|
|
(struct dwarf2_loclist_baton *baton,
|
|
size_t *locexpr_length,
|
|
CORE_ADDR pc);
|
|
|
|
struct dwarf2_locexpr_baton dwarf2_fetch_die_loc_sect_off
|
|
(sect_offset offset_in_cu, struct dwarf2_per_cu_data *per_cu,
|
|
CORE_ADDR (*get_frame_pc) (void *baton),
|
|
void *baton);
|
|
|
|
struct dwarf2_locexpr_baton dwarf2_fetch_die_loc_cu_off
|
|
(cu_offset offset_in_cu, struct dwarf2_per_cu_data *per_cu,
|
|
CORE_ADDR (*get_frame_pc) (void *baton),
|
|
void *baton);
|
|
|
|
extern const gdb_byte *dwarf2_fetch_constant_bytes (sect_offset,
|
|
struct dwarf2_per_cu_data *,
|
|
struct obstack *,
|
|
LONGEST *);
|
|
|
|
struct type *dwarf2_get_die_type (cu_offset die_offset,
|
|
struct dwarf2_per_cu_data *per_cu);
|
|
|
|
/* Find the frame base information for FRAMEFUNC at PC. START is an
|
|
out parameter which is set to point to the DWARF expression to
|
|
compute. LENGTH is an out parameter which is set to the length of
|
|
the DWARF expression. This throws an exception on error or if an
|
|
expression is not found; the returned length will never be
|
|
zero. */
|
|
|
|
extern void func_get_frame_base_dwarf_block (struct symbol *framefunc,
|
|
CORE_ADDR pc,
|
|
const gdb_byte **start,
|
|
size_t *length);
|
|
|
|
/* Evaluate a location description, starting at DATA and with length
|
|
SIZE, to find the current location of variable of TYPE in the context
|
|
of FRAME. */
|
|
|
|
struct value *dwarf2_evaluate_loc_desc (struct type *type,
|
|
struct frame_info *frame,
|
|
const gdb_byte *data,
|
|
size_t size,
|
|
struct dwarf2_per_cu_data *per_cu);
|
|
|
|
/* A chain of addresses that might be needed to resolve a dynamic
|
|
property. */
|
|
|
|
struct property_addr_info
|
|
{
|
|
/* The type of the object whose dynamic properties, if any, are
|
|
being resolved. */
|
|
struct type *type;
|
|
|
|
/* If not NULL, a buffer containing the object's value. */
|
|
const gdb_byte *valaddr;
|
|
|
|
/* The address of that object. */
|
|
CORE_ADDR addr;
|
|
|
|
/* If not NULL, a pointer to the info for the object containing
|
|
the object described by this node. */
|
|
struct property_addr_info *next;
|
|
};
|
|
|
|
/* Converts a dynamic property into a static one. ADDR_STACK is the stack
|
|
of addresses that might be needed to evaluate the property.
|
|
Returns 1 if PROP could be converted and the static value is passed back
|
|
into VALUE, otherwise returns 0. */
|
|
|
|
int dwarf2_evaluate_property (const struct dynamic_prop *prop,
|
|
struct property_addr_info *addr_stack,
|
|
CORE_ADDR *value);
|
|
|
|
/* A helper for the compiler interface that compiles a single dynamic
|
|
property to C code.
|
|
|
|
STREAM is where the C code is to be written.
|
|
RESULT_NAME is the name of the generated variable.
|
|
GDBARCH is the architecture to use.
|
|
REGISTERS_USED is a bit-vector that is filled to note which
|
|
registers are required by the generated expression.
|
|
PROP is the property for which code is generated.
|
|
ADDRESS is the address at which the property is considered to be
|
|
evaluated.
|
|
SYM the originating symbol, used for error reporting. */
|
|
|
|
void dwarf2_compile_property_to_c (struct ui_file *stream,
|
|
const char *result_name,
|
|
struct gdbarch *gdbarch,
|
|
unsigned char *registers_used,
|
|
const struct dynamic_prop *prop,
|
|
CORE_ADDR address,
|
|
struct symbol *sym);
|
|
|
|
CORE_ADDR dwarf2_read_addr_index (struct dwarf2_per_cu_data *per_cu,
|
|
unsigned int addr_index);
|
|
|
|
/* The symbol location baton types used by the DWARF-2 reader (i.e.
|
|
SYMBOL_LOCATION_BATON for a LOC_COMPUTED symbol). "struct
|
|
dwarf2_locexpr_baton" is for a symbol with a single location
|
|
expression; "struct dwarf2_loclist_baton" is for a symbol with a
|
|
location list. */
|
|
|
|
struct dwarf2_locexpr_baton
|
|
{
|
|
/* Pointer to the start of the location expression. Valid only if SIZE is
|
|
not zero. */
|
|
const gdb_byte *data;
|
|
|
|
/* Length of the location expression. For optimized out expressions it is
|
|
zero. */
|
|
size_t size;
|
|
|
|
/* The compilation unit containing the symbol whose location
|
|
we're computing. */
|
|
struct dwarf2_per_cu_data *per_cu;
|
|
};
|
|
|
|
struct dwarf2_loclist_baton
|
|
{
|
|
/* The initial base address for the location list, based on the compilation
|
|
unit. */
|
|
CORE_ADDR base_address;
|
|
|
|
/* Pointer to the start of the location list. */
|
|
const gdb_byte *data;
|
|
|
|
/* Length of the location list. */
|
|
size_t size;
|
|
|
|
/* The compilation unit containing the symbol whose location
|
|
we're computing. */
|
|
struct dwarf2_per_cu_data *per_cu;
|
|
|
|
/* Non-zero if the location list lives in .debug_loc.dwo.
|
|
The format of entries in this section are different. */
|
|
unsigned char from_dwo;
|
|
};
|
|
|
|
/* The baton used when a dynamic property is an offset to a parent
|
|
type. This can be used, for instance, then the bound of an array
|
|
inside a record is determined by the value of another field inside
|
|
that record. */
|
|
|
|
struct dwarf2_offset_baton
|
|
{
|
|
/* The offset from the parent type where the value of the property
|
|
is stored. In the example provided above, this would be the offset
|
|
of the field being used as the array bound. */
|
|
LONGEST offset;
|
|
|
|
/* The type of the object whose property is dynamic. In the example
|
|
provided above, this would the the array's index type. */
|
|
struct type *type;
|
|
};
|
|
|
|
/* A dynamic property is either expressed as a single location expression
|
|
or a location list. If the property is an indirection, pointing to
|
|
another die, keep track of the targeted type in REFERENCED_TYPE. */
|
|
|
|
struct dwarf2_property_baton
|
|
{
|
|
/* If the property is an indirection, we need to evaluate the location
|
|
in the context of the type REFERENCED_TYPE.
|
|
If NULL, the location is the actual value of the property. */
|
|
struct type *referenced_type;
|
|
union
|
|
{
|
|
/* Location expression. */
|
|
struct dwarf2_locexpr_baton locexpr;
|
|
|
|
/* Location list to be evaluated in the context of REFERENCED_TYPE. */
|
|
struct dwarf2_loclist_baton loclist;
|
|
|
|
/* The location is an offset to REFERENCED_TYPE. */
|
|
struct dwarf2_offset_baton offset_info;
|
|
};
|
|
};
|
|
|
|
extern const struct symbol_computed_ops dwarf2_locexpr_funcs;
|
|
extern const struct symbol_computed_ops dwarf2_loclist_funcs;
|
|
|
|
extern const struct symbol_block_ops dwarf2_block_frame_base_locexpr_funcs;
|
|
extern const struct symbol_block_ops dwarf2_block_frame_base_loclist_funcs;
|
|
|
|
/* Compile a DWARF location expression to an agent expression.
|
|
|
|
EXPR is the agent expression we are building.
|
|
LOC is the agent value we modify.
|
|
ARCH is the architecture.
|
|
ADDR_SIZE is the size of addresses, in bytes.
|
|
OP_PTR is the start of the location expression.
|
|
OP_END is one past the last byte of the location expression.
|
|
|
|
This will throw an exception for various kinds of errors -- for
|
|
example, if the expression cannot be compiled, or if the expression
|
|
is invalid. */
|
|
|
|
extern void dwarf2_compile_expr_to_ax (struct agent_expr *expr,
|
|
struct axs_value *loc,
|
|
struct gdbarch *arch,
|
|
unsigned int addr_size,
|
|
const gdb_byte *op_ptr,
|
|
const gdb_byte *op_end,
|
|
struct dwarf2_per_cu_data *per_cu);
|
|
|
|
/* Determined tail calls for constructing virtual tail call frames. */
|
|
|
|
struct call_site_chain
|
|
{
|
|
/* Initially CALLERS == CALLEES == LENGTH. For partially ambiguous result
|
|
CALLERS + CALLEES < LENGTH. */
|
|
int callers, callees, length;
|
|
|
|
/* Variably sized array with LENGTH elements. Later [0..CALLERS-1] contain
|
|
top (GDB "prev") sites and [LENGTH-CALLEES..LENGTH-1] contain bottom
|
|
(GDB "next") sites. One is interested primarily in the PC field. */
|
|
struct call_site *call_site[1];
|
|
};
|
|
|
|
struct call_site_stuff;
|
|
extern struct call_site_chain *call_site_find_chain (struct gdbarch *gdbarch,
|
|
CORE_ADDR caller_pc,
|
|
CORE_ADDR callee_pc);
|
|
|
|
/* A helper function to convert a DWARF register to an arch register.
|
|
ARCH is the architecture.
|
|
DWARF_REG is the register.
|
|
This will throw an exception if the DWARF register cannot be
|
|
translated to an architecture register. */
|
|
|
|
extern int dwarf2_reg_to_regnum_or_error (struct gdbarch *arch, int dwarf_reg);
|
|
|
|
#endif /* dwarf2loc.h */
|