mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-03 04:12:10 +08:00
901461f8eb
Currently, in some scenarios, GDB prints <optimized out> when printing outer frame registers. An <optimized out> register is a confusing concept. What this really means is that the register is call-clobbered, or IOW, not saved by the callee. This patch makes GDB say that instead. Before patch: (gdb) p/x $rax $1 = <optimized out> (gdb) info registers rax rax <optimized out> After patch: (gdb) p/x $rax $1 = <not saved> (gdb) info registers rax rax <not saved> However, if for some reason the debug info describes a variable as being in such a register (**), we still want to print <optimized out> when printing the variable. IOW, <not saved> is reserved for inspecting registers at the machine level. The patch uses lval_register+optimized_out to encode the not saved registers, and makes it so that optimized out variables always end up in !lval_register values. ** See <https://sourceware.org/ml/gdb-patches/2012-08/msg00787.html>. Current/recent enough GCC doesn't mark variables/arguments as being in call-clobbered registers in the ranges corresponding to function calls, while older GCCs did. Newer GCCs will just not say where the variable is, so GDB will end up realizing the variable is optimized out. frame_unwind_got_optimized creates not_lval optimized out registers, so by default, in most cases, we'll see <optimized out>. value_of_register is the function eval.c uses for evaluating OP_REGISTER (again, $pc, etc.), and related bits. It isn't used for anything else. This function makes sure to return lval_register values. The patch makes "info registers" and the MI equivalent use it too. I think it just makes a lot of sense, as this makes it so that when printing machine registers ($pc, etc.), we go through a central function. We're likely to need a different encoding at some point, if/when we support partially saved registers. Even then, I think value_of_register will still be the spot to tag the intention to print machine register values differently. value_from_register however may also return optimized out lval_register values, so at a couple places where we're computing a variable's location from a dwarf expression, we convert the resulting value away from lval_register to a regular optimized out value. Tested on x86_64 Fedora 17 gdb/ 2013-10-02 Pedro Alves <palves@redhat.com> * cp-valprint.c (cp_print_value_fields): Adjust calls to val_print_optimized_out. * jv-valprint.c (java_print_value_fields): Likewise. * p-valprint.c (pascal_object_print_value_fields): Likewise. * dwarf2loc.c (dwarf2_evaluate_loc_desc_full) <DWARF_VALUE_REGISTER>: If the register was not saved, return a new optimized out value. * findvar.c (address_from_register): Likewise. * frame.c (put_frame_register): Tweak error string to say the register was not saved, rather than optimized out. * infcmd.c (default_print_one_register_info): Adjust call to val_print_optimized_out. Use value_of_register instead of get_frame_register_value. * mi/mi-main.c (output_register): Use value_of_register instead of get_frame_register_value. * valprint.c (valprint_check_validity): Likewise. (val_print_optimized_out): New value parameter. If the value is lval_register, print <not saved> instead. (value_check_printable, val_print_scalar_formatted): Adjust calls to val_print_optimized_out. * valprint.h (val_print_optimized_out): New value parameter. * value.c (struct value) <optimized_out>: Extend comment. (error_value_optimized_out): New function. (require_not_optimized_out): Use it. Use a different string for lval_register values. * value.h (error_value_optimized_out): New declaration. * NEWS: Mention <not saved>. gdb/testsuite/ 2013-10-02 Pedro Alves <palves@redhat.com> * gdb.dwarf2/dw2-reg-undefined.exp <pattern_rax_rbx_rcx_print, pattern_rax_rbx_rcx_info>: Set to "<not saved>". * gdb.mi/mi-reg-undefined.exp (opt_out_pattern): Delete. (not_saved_pattern): New. Replace use of the former with the latter. gdb/doc/ 2013-10-02 Pedro Alves <palves@redhat.com> * gdb.texinfo (Registers): Expand description of saved registers in frames. Explain <not saved>.
218 lines
7.1 KiB
C
218 lines
7.1 KiB
C
/* Declarations for value printing routines for GDB, the GNU debugger.
|
|
|
|
Copyright (C) 1986-2013 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/>. */
|
|
|
|
#ifndef VALPRINT_H
|
|
#define VALPRINT_H
|
|
|
|
/* This is used to pass formatting options to various value-printing
|
|
functions. */
|
|
struct value_print_options
|
|
{
|
|
/* Pretty-formatting control. */
|
|
enum val_prettyformat prettyformat;
|
|
|
|
/* Controls pretty formatting of arrays. */
|
|
int prettyformat_arrays;
|
|
|
|
/* Controls pretty formatting of structures. */
|
|
int prettyformat_structs;
|
|
|
|
/* Controls printing of virtual tables. */
|
|
int vtblprint;
|
|
|
|
/* Controls printing of nested unions. */
|
|
int unionprint;
|
|
|
|
/* Controls printing of addresses. */
|
|
int addressprint;
|
|
|
|
/* Controls looking up an object's derived type using what we find
|
|
in its vtables. */
|
|
int objectprint;
|
|
|
|
/* Maximum number of chars to print for a string pointer value or vector
|
|
contents, or UINT_MAX for no limit. Note that "set print elements 0"
|
|
stores UINT_MAX in print_max, which displays in a show command as
|
|
"unlimited". */
|
|
unsigned int print_max;
|
|
|
|
/* Print repeat counts if there are more than this many repetitions
|
|
of an element in an array. */
|
|
unsigned int repeat_count_threshold;
|
|
|
|
/* The global output format letter. */
|
|
int output_format;
|
|
|
|
/* The current format letter. This is set locally for a given call,
|
|
e.g. when the user passes a format to "print". */
|
|
int format;
|
|
|
|
/* Stop printing at null character? */
|
|
int stop_print_at_null;
|
|
|
|
/* True if we should print the index of each element when printing
|
|
an array. */
|
|
int print_array_indexes;
|
|
|
|
/* If nonzero, then dereference references, otherwise just print
|
|
them like pointers. */
|
|
int deref_ref;
|
|
|
|
/* If nonzero, print static fields. */
|
|
int static_field_print;
|
|
|
|
/* If nonzero, print static fields for Pascal. FIXME: C++ and Java
|
|
share one flag, why not Pascal too? */
|
|
int pascal_static_field_print;
|
|
|
|
/* If non-zero don't do Python pretty-printing. */
|
|
int raw;
|
|
|
|
/* If nonzero, print the value in "summary" form.
|
|
If raw and summary are both non-zero, don't print non-scalar values
|
|
("..." is printed instead). */
|
|
int summary;
|
|
|
|
/* If nonzero, when printing a pointer, print the symbol to which it
|
|
points, if any. */
|
|
int symbol_print;
|
|
};
|
|
|
|
/* The global print options set by the user. In general this should
|
|
not be directly accessed, except by set/show commands. Ordinary
|
|
code should call get_user_print_options instead. */
|
|
extern struct value_print_options user_print_options;
|
|
|
|
/* Initialize *OPTS to be a copy of the user print options. */
|
|
extern void get_user_print_options (struct value_print_options *opts);
|
|
|
|
/* Initialize *OPTS to be a copy of the user print options, but with
|
|
pretty-formatting disabled. */
|
|
extern void get_no_prettyformat_print_options (struct value_print_options *);
|
|
|
|
/* Initialize *OPTS to be a copy of the user print options, but using
|
|
FORMAT as the formatting option. */
|
|
extern void get_formatted_print_options (struct value_print_options *opts,
|
|
char format);
|
|
|
|
extern void maybe_print_array_index (struct type *index_type, LONGEST index,
|
|
struct ui_file *stream,
|
|
const struct value_print_options *);
|
|
|
|
extern void val_print_array_elements (struct type *, const gdb_byte *, int,
|
|
CORE_ADDR, struct ui_file *, int,
|
|
const struct value *,
|
|
const struct value_print_options *,
|
|
unsigned int);
|
|
|
|
extern void val_print_type_code_int (struct type *, const gdb_byte *,
|
|
struct ui_file *);
|
|
|
|
extern void val_print_type_code_flags (struct type *type,
|
|
const gdb_byte *valaddr,
|
|
struct ui_file *stream);
|
|
|
|
extern void val_print_scalar_formatted (struct type *,
|
|
const gdb_byte *, int,
|
|
const struct value *,
|
|
const struct value_print_options *,
|
|
int,
|
|
struct ui_file *);
|
|
|
|
extern void print_binary_chars (struct ui_file *, const gdb_byte *,
|
|
unsigned int, enum bfd_endian);
|
|
|
|
extern void print_octal_chars (struct ui_file *, const gdb_byte *,
|
|
unsigned int, enum bfd_endian);
|
|
|
|
extern void print_decimal_chars (struct ui_file *, const gdb_byte *,
|
|
unsigned int, enum bfd_endian);
|
|
|
|
extern void print_hex_chars (struct ui_file *, const gdb_byte *,
|
|
unsigned int, enum bfd_endian);
|
|
|
|
extern void print_char_chars (struct ui_file *, struct type *,
|
|
const gdb_byte *, unsigned int, enum bfd_endian);
|
|
|
|
extern void print_function_pointer_address (const struct value_print_options *options,
|
|
struct gdbarch *gdbarch,
|
|
CORE_ADDR address,
|
|
struct ui_file *stream);
|
|
|
|
extern int read_string (CORE_ADDR addr, int len, int width,
|
|
unsigned int fetchlimit,
|
|
enum bfd_endian byte_order, gdb_byte **buffer,
|
|
int *bytes_read);
|
|
|
|
extern void val_print_optimized_out (const struct value *val,
|
|
struct ui_file *stream);
|
|
|
|
extern void val_print_unavailable (struct ui_file *stream);
|
|
|
|
extern void val_print_invalid_address (struct ui_file *stream);
|
|
|
|
/* An instance of this is passed to generic_val_print and describes
|
|
some language-specific ways to print things. */
|
|
|
|
struct generic_val_print_decorations
|
|
{
|
|
/* Printing complex numbers: what to print before, between the
|
|
elements, and after. */
|
|
|
|
const char *complex_prefix;
|
|
const char *complex_infix;
|
|
const char *complex_suffix;
|
|
|
|
/* Boolean true and false. */
|
|
|
|
const char *true_name;
|
|
const char *false_name;
|
|
|
|
/* What to print when we see TYPE_CODE_VOID. */
|
|
|
|
const char *void_name;
|
|
};
|
|
|
|
|
|
extern void generic_val_print (struct type *type, const gdb_byte *valaddr,
|
|
int embedded_offset, CORE_ADDR address,
|
|
struct ui_file *stream, int recurse,
|
|
const struct value *original_value,
|
|
const struct value_print_options *options,
|
|
const struct generic_val_print_decorations *);
|
|
|
|
extern void generic_emit_char (int c, struct type *type, struct ui_file *stream,
|
|
int quoter, const char *encoding);
|
|
|
|
extern void generic_printstr (struct ui_file *stream, struct type *type,
|
|
const gdb_byte *string, unsigned int length,
|
|
const char *encoding, int force_ellipses,
|
|
int quote_char, int c_style_terminator,
|
|
const struct value_print_options *options);
|
|
|
|
/* Run the "output" command. ARGS and FROM_TTY are the usual
|
|
arguments passed to all command implementations, except ARGS is
|
|
const. */
|
|
|
|
extern void output_command_const (const char *args, int from_tty);
|
|
|
|
extern int val_print_scalar_type_p (struct type *type);
|
|
|
|
#endif
|