/usr/src/gnu/usr.bin/binutils/gdb/printcmd.c

Bug Summary

File:	src/gnu/usr.bin/binutils/gdb/printcmd.c
Warning:	line 1850, column 12 Branch condition evaluates to a garbage value
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name printcmd.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -pic-is-pie -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/gnu/usr.bin/binutils/obj/gdb -resource-dir /usr/local/lib/clang/13.0.0 -D PIE_DEFAULT=1 -I . -I /usr/src/gnu/usr.bin/binutils/gdb -I /usr/src/gnu/usr.bin/binutils/gdb/config -D LOCALEDIR="/usr/share/locale" -D HAVE_CONFIG_H -I /usr/src/gnu/usr.bin/binutils/gdb/../include/opcode -I ../bfd -I /usr/src/gnu/usr.bin/binutils/gdb/../bfd -I /usr/src/gnu/usr.bin/binutils/gdb/../include -I ../intl -I /usr/src/gnu/usr.bin/binutils/gdb/../intl -D MI_OUT=1 -D TUI=1 -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/gnu/usr.bin/binutils/obj/gdb -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -fcommon -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/gnu/usr.bin/binutils/gdb/printcmd.c
1/* Print values for GNU debugger GDB.

 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004 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 2 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, write to the Free Software
 Foundation, Inc., 59 Temple Place - Suite 330,
 Boston, MA 02111-1307, USA.  */

24#include "defs.h"
25#include "gdb_string.h"
26#include "frame.h"
27#include "symtab.h"
28#include "gdbtypes.h"
29#include "value.h"
30#include "language.h"
31#include "expression.h"
32#include "gdbcore.h"
33#include "gdbcmd.h"
34#include "target.h"
35#include "breakpoint.h"
36#include "demangle.h"
37#include "valprint.h"
38#include "annotate.h"
39#include "symfile.h"		/* for overlay functions */
40#include "objfiles.h"		/* ditto */
41#include "completer.h"		/* for completion functions */
42#include "ui-out.h"
43#include "gdb_assert.h"
44#include "block.h"
45#include "disasm.h"

47#ifdef TUI1
48#include "tui/tui.h"		/* For tui_active et.al.   */
49#endif

51extern int asm_demangle;	/* Whether to demangle syms in asm printouts */
52extern int addressprint;	/* Whether to print hex addresses in HLL " */

54struct format_data
{
  int count;
  char format;
  char size;
};

61/* Last specified output format.  */

63static char last_format = 'x';

65/* Last specified examination size.  'b', 'h', 'w' or `q'.  */

67static char last_size = 'w';

69/* Default address to examine next.  */

71static CORE_ADDR next_address;

73/* Default section to examine next. */

75static asection *next_section;

77/* Last address examined.  */

79static CORE_ADDR last_examine_address;

81/* Contents of last address examined.
 This is not valid past the end of the `x' command!  */

84static struct value *last_examine_value;

86/* Largest offset between a symbolic value and an address, that will be
 printed as `0x1234 <symbol+offset>'.  */

89static unsigned int max_symbolic_offset = UINT_MAX(2147483647 *2U +1U);

91/* Append the source filename and linenumber of the symbol when
 printing a symbolic value as `<symbol at filename:linenum>' if set.  */
93static int print_symbol_filename = 0;

95/* Number of auto-display expression currently being displayed.
 So that we can disable it if we get an error or a signal within it.
 -1 when not doing one.  */

99int current_display_number;

101/* Flag to low-level print routines that this value is being printed
 in an epoch window.  We'd like to pass this as a parameter, but
 every routine would need to take it.  Perhaps we can encapsulate
 this in the I/O stream once we have GNU stdio. */

106int inspect_it = 0;

108struct display
{
  /* Chain link to next auto-display item.  */
  struct display *next;
  /* Expression to be evaluated and displayed.  */
  struct expression *exp;
  /* Item number of this auto-display item.  */
  int number;
  /* Display format specified.  */
  struct format_data format;
  /* Innermost block required by this expression when evaluated */
  struct block *block;
  /* Status of this display (enabled or disabled) */
  int enabled_p;
};

124/* Chain of expressions whose values should be displayed
 automatically each time the program stops.  */

127static struct display *display_chain;

129static int display_number;

131/* Prototypes for exported functions. */

133void output_command (char *, int);

135void _initialize_printcmd (void);

137/* Prototypes for local functions. */

139static void delete_display (int);

141static void enable_display (char *, int);

143static void disable_display_command (char *, int);

145static void printf_command (char *, int);

147static void display_info (char *, int);

149static void do_one_display (struct display *);

151static void undisplay_command (char *, int);

153static void free_display (struct display *);

155static void display_command (char *, int);

157void x_command (char *, int);

159static void address_info (char *, int);

161static void set_command (char *, int);

163static void call_command (char *, int);

165static void inspect_command (char *, int);

167static void print_command (char *, int);

169static void print_command_1 (char *, int, int);

171static void validate_format (struct format_data, char *);

173static void do_examine (struct format_data, CORE_ADDR addr,
	asection * section);

176static void print_formatted (struct value *, int, int, struct ui_file *);

178static struct format_data decode_format (char **, int, int);

180static void sym_info (char *, int);
181

183/* Decode a format specification.  *STRING_PTR should point to it.
 OFORMAT and OSIZE are used as defaults for the format and size
 if none are given in the format specification.
 If OSIZE is zero, then the size field of the returned value
 should be set only if a size is explicitly specified by the
 user.
 The structure returned describes all the data
 found in the specification.  In addition, *STRING_PTR is advanced
 past the specification and past all whitespace following it.  */

193static struct format_data
194decode_format (char **string_ptr, int oformat, int osize)
195{
struct format_data val;
char *p = *string_ptr;

val.format = '?';
val.size = '?';
val.count = 1;

if (*p >= '0' && *p <= '9')
  val.count = atoi (p);
while (*p >= '0' && *p <= '9')
  p++;

/* Now process size or format letters that follow.  */

while (1)
  {
    if (*p == 'b' || *p == 'h' || *p == 'w' || *p == 'g')
val.size = *p++;
    else if (*p >= 'a' && *p <= 'z')
val.format = *p++;
    else
break;
  }

while (*p == ' ' || *p == '\t')
  p++;
*string_ptr = p;

/* Set defaults for format and size if not specified.  */
if (val.format == '?')
  {
    if (val.size == '?')
{
 /* Neither has been specified.  */
 val.format = oformat;
 val.size = osize;
}
    else
/* If a size is specified, any format makes a reasonable
  default except 'i'.  */
val.format = oformat == 'i' ? 'x' : oformat;
  }
else if (val.size == '?')
  switch (val.format)
    {
    case 'a':
    case 's':
/* Pick the appropriate size for an address.  */
if (TARGET_PTR_BIT(gdbarch_ptr_bit (current_gdbarch)) == 64)
 val.size = osize ? 'g' : osize;
else if (TARGET_PTR_BIT(gdbarch_ptr_bit (current_gdbarch)) == 32)
 val.size = osize ? 'w' : osize;
else if (TARGET_PTR_BIT(gdbarch_ptr_bit (current_gdbarch)) == 16)
 val.size = osize ? 'h' : osize;
else
 /* Bad value for TARGET_PTR_BIT */
 internal_error (__FILE__"/usr/src/gnu/usr.bin/binutils/gdb/printcmd.c", __LINE__252, "failed internal consistency check");
break;
    case 'f':
/* Floating point has to be word or giantword.  */
if (osize == 'w' || osize == 'g')
 val.size = osize;
else
 /* Default it to giantword if the last used size is not
    appropriate.  */
 val.size = osize ? 'g' : osize;
break;
    case 'c':
/* Characters default to one byte.  */
val.size = osize ? 'b' : osize;
break;
    default:
/* The default is the size most recently specified.  */
val.size = osize;
    }

return val;
273}
274
275/* Print value VAL on stream according to FORMAT, a letter or 0.
 Do not end with a newline.
 0 means print VAL according to its own type.
 SIZE is the letter for the size of datum being printed.
 This is used to pad hex numbers so they line up.  */

281static void
282print_formatted (struct value *val, int format, int size,
 struct ui_file *stream)
284{
struct type *type = check_typedef (VALUE_TYPE (val)(val)->type);
int len = TYPE_LENGTH (type)(type)->length;

if (VALUE_LVAL (val)(val)->lval == lval_memory)
  {
    next_address = VALUE_ADDRESS (val)(val)->location.address + len;
    next_section = VALUE_BFD_SECTION (val)((val)->bfd_section);
  }

switch (format)
  {
  case 's':
    /* FIXME: Need to handle wchar_t's here... */
    next_address = VALUE_ADDRESS (val)(val)->location.address
+ val_print_string (VALUE_ADDRESS (val)(val)->location.address, -1, 1, stream);
    next_section = VALUE_BFD_SECTION (val)((val)->bfd_section);
    break;

  case 'i':
    /* The old comment says
       "Force output out, print_insn not using _filtered".
       I'm not completely sure what that means, I suspect most print_insn
       now do use _filtered, so I guess it's obsolete.
       --Yes, it does filter now, and so this is obsolete.  -JB  */

    /* We often wrap here if there are long symbolic names.  */
    wrap_here ("    ");
    next_address = VALUE_ADDRESS (val)(val)->location.address
+ gdb_print_insn (VALUE_ADDRESS (val)(val)->location.address, stream);
    next_section = VALUE_BFD_SECTION (val)((val)->bfd_section);
    break;

  default:
    if (format == 0
 || TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_ARRAY
 || TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_STRING
 || TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_STRUCT
 || TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_UNION
 || TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_NAMESPACE)
/* If format is 0, use the 'natural' format for
* that type of value.  If the type is non-scalar,
* we have to use language rules to print it as
* a series of scalars.
*/
value_print (val, stream, format, Val_pretty_default);
    else
/* User specified format, so don't look to the
* the type to tell us what to do.
*/
print_scalar_formatted (VALUE_CONTENTS (val)((void)((val)->lazy && value_fetch_lazy(val)), ((char
 *) (val)->aligner.contents + (val)->embedded_offset)), type,
		format, size, stream);
  }
337}

339/* Print a scalar of data of type TYPE, pointed to in GDB by VALADDR,
 according to letters FORMAT and SIZE on STREAM.
 FORMAT may not be zero.  Formats s and i are not supported at this level.

 This is how the elements of an array or structure are printed
 with a format.  */

346void
347print_scalar_formatted (void *valaddr, struct type *type, int format, int size,
	struct ui_file *stream)
349{
LONGESTlong val_long = 0;
unsigned int len = TYPE_LENGTH (type)(type)->length;

if (len > sizeof(LONGESTlong) &&
    (TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_INT
     || TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_ENUM))
  {
    switch (format)
{
case 'o':
 print_octal_chars (stream, valaddr, len);
 return;
case 'u':
case 'd':
 print_decimal_chars (stream, valaddr, len);
 return;
case 't':
 print_binary_chars (stream, valaddr, len);
 return;
case 'x':
 print_hex_chars (stream, valaddr, len);
 return;
case 'c':
 print_char_chars (stream, valaddr, len);
 return;
default:
 break;
};
  }

if (format != 'f')
  val_long = unpack_long (type, valaddr);

/* If the value is a pointer, and pointers and addresses are not the
   same, then at this point, the value's length (in target bytes) is
   TARGET_ADDR_BIT/TARGET_CHAR_BIT, not TYPE_LENGTH (type).  */
if (TYPE_CODE (type)(type)->main_type->code == TYPE_CODE_PTR)
  len = TARGET_ADDR_BIT(gdbarch_addr_bit (current_gdbarch)) / TARGET_CHAR_BIT8;

/* If we are printing it as unsigned, truncate it in case it is actually
   a negative signed value (e.g. "print/u (short)-1" should print 65535
   (if shorts are 16 bits) instead of 4294967295).  */
if (format != 'd')
  {
    if (len < sizeof (LONGESTlong))
val_long &= ((LONGESTlong) 1 << HOST_CHAR_BIT8 * len) - 1;
  }

switch (format)
  {
  case 'x':
    if (!size)
{
 /* no size specified, like in print.  Print varying # of digits. */
 print_longest (stream, 'x', 1, val_long);
}
    else
switch (size)
 {
 case 'b':
 case 'h':
 case 'w':
 case 'g':
   print_longest (stream, size, 1, val_long);
   break;
 default:
   error ("Undefined output size \"%c\".", size);
 }
    break;

  case 'd':
    print_longest (stream, 'd', 1, val_long);
    break;

  case 'u':
    print_longest (stream, 'u', 0, val_long);
    break;

  case 'o':
    if (val_long)
print_longest (stream, 'o', 1, val_long);
    else
fprintf_filtered (stream, "0");
    break;

  case 'a':
    {
CORE_ADDR addr = unpack_pointer (type, valaddr);
print_address (addr, stream);
    }
    break;

  case 'c':
    value_print (value_from_longest (builtin_type_true_char, val_long),
   stream, 0, Val_pretty_default);
    break;

  case 'f':
    if (len == TYPE_LENGTH (builtin_type_float)(builtin_type_float)->length)
      type = builtin_type_float;
    else if (len == TYPE_LENGTH (builtin_type_double)(builtin_type_double)->length)
      type = builtin_type_double;
    else if (len == TYPE_LENGTH (builtin_type_long_double)(builtin_type_long_double)->length)
      type = builtin_type_long_double;
    print_floating (valaddr, type, stream);
    break;

  case 0:
    internal_error (__FILE__"/usr/src/gnu/usr.bin/binutils/gdb/printcmd.c", __LINE__458, "failed internal consistency check");

  case 't':
    /* Binary; 't' stands for "two".  */
    {
char bits[8 * (sizeof val_long) + 1];
char buf[8 * (sizeof val_long) + 32];
char *cp = bits;
int width;

if (!size)
 width = 8 * (sizeof val_long);
else
 switch (size)
   {
   case 'b':
     width = 8;
     break;
   case 'h':
     width = 16;
     break;
   case 'w':
     width = 32;
     break;
   case 'g':
     width = 64;
     break;
   default:
     error ("Undefined output size \"%c\".", size);
   }

bits[width] = '\0';
while (width-- > 0)
 {
   bits[width] = (val_long & 1) ? '1' : '0';
   val_long >>= 1;
 }
if (!size)
 {
   while (*cp && *cp == '0')
     cp++;
   if (*cp == '\0')
     cp--;
 }
strcpy (buf, cp);
fputs_filtered (buf, stream);
    }
    break;

  default:
    error ("Undefined output format \"%c\".", format);
  }
510}

512/* Specify default address for `x' command.
 `info lines' uses this.  */

515void
516set_next_address (CORE_ADDR addr)
517{
next_address = addr;

/* Make address available to the user as $_.  */
set_internalvar (lookup_internalvar ("_"),
   value_from_pointer (lookup_pointer_type (builtin_type_void),
		       addr));
524}

526/* Optionally print address ADDR symbolically as <SYMBOL+OFFSET> on STREAM,
 after LEADIN.  Print nothing if no symbolic name is found nearby.
 Optionally also print source file and line number, if available.
 DO_DEMANGLE controls whether to print a symbol in its native "raw" form,
 or to interpret it as a possible C++ name and convert it back to source
 form.  However note that DO_DEMANGLE can be overridden by the specific
 settings of the demangle and asm_demangle variables.  */

534void
535print_address_symbolic (CORE_ADDR addr, struct ui_file *stream, int do_demangle,
	char *leadin)
537{
char *name = NULL((void*)0);
char *filename = NULL((void*)0);
int unmapped = 0;
int offset = 0;
int line = 0;

/* throw away both name and filename */
struct cleanup *cleanup_chain = make_cleanup (free_current_contents, &name);
make_cleanup (free_current_contents, &filename);

if (build_address_symbolic (addr, do_demangle, &name, &offset, &filename, &line, &unmapped))
  {
    do_cleanups (cleanup_chain);
    return;
  }

fputs_filtered (leadin, stream);
if (unmapped)
  fputs_filtered ("<*", stream);
else
  fputs_filtered ("<", stream);
fputs_filtered (name, stream);
if (offset != 0)
  fprintf_filtered (stream, "+%u", (unsigned int) offset);

/* Append source filename and line number if desired.  Give specific
   line # of this addr, if we have it; else line # of the nearest symbol.  */
if (print_symbol_filename && filename != NULL((void*)0))
  {
    if (line != -1)
fprintf_filtered (stream, " at %s:%d", filename, line);
    else
fprintf_filtered (stream, " in %s", filename);
  }
if (unmapped)
  fputs_filtered ("*>", stream);
else
  fputs_filtered (">", stream);

do_cleanups (cleanup_chain);
578}

580/* Given an address ADDR return all the elements needed to print the
 address in a symbolic form. NAME can be mangled or not depending
 on DO_DEMANGLE (and also on the asm_demangle global variable,
 manipulated via ''set print asm-demangle''). Return 0 in case of
 success, when all the info in the OUT paramters is valid. Return 1
 otherwise. */
586int
587build_address_symbolic (CORE_ADDR addr,  /* IN */
	int do_demangle, /* IN */
	char **name,     /* OUT */
	int *offset,     /* OUT */
	char **filename, /* OUT */
	int *line,       /* OUT */
	int *unmapped)   /* OUT */
594{
struct minimal_symbol *msymbol;
struct symbol *symbol;
struct symtab *symtab = 0;
CORE_ADDR name_location = 0;
asection *section = 0;
char *name_temp = "";

/* Let's say it is unmapped. */
*unmapped = 0;

/* Determine if the address is in an overlay, and whether it is
   mapped. */
if (overlay_debugging)
  {
    section = find_pc_overlay (addr);
    if (pc_in_unmapped_range (addr, section))
{
 *unmapped = 1;
 addr = overlay_mapped_address (addr, section);
}
  }

/* First try to find the address in the symbol table, then
   in the minsyms.  Take the closest one.  */

/* This is defective in the sense that it only finds text symbols.  So
   really this is kind of pointless--we should make sure that the
   minimal symbols have everything we need (by changing that we could
   save some memory, but for many debug format--ELF/DWARF or
   anything/stabs--it would be inconvenient to eliminate those minimal
   symbols anyway).  */
msymbol = lookup_minimal_symbol_by_pc_section (addr, section);
symbol = find_pc_sect_function (addr, section);

if (symbol)
  {
    name_location = BLOCK_START (SYMBOL_BLOCK_VALUE (symbol))((symbol)->ginfo.value.block)->startaddr;
    if (do_demangle || asm_demangle)
name_temp = SYMBOL_PRINT_NAME (symbol)(demangle ? (symbol_natural_name (&(symbol)->ginfo)) :
 (symbol)->ginfo.name);
    else
name_temp = DEPRECATED_SYMBOL_NAME (symbol)(symbol)->ginfo.name;
  }

if (msymbol != NULL((void*)0))
  {
    if (SYMBOL_VALUE_ADDRESS (msymbol)(msymbol)->ginfo.value.address > name_location || symbol == NULL((void*)0))
{
 /* The msymbol is closer to the address than the symbol;
    use the msymbol instead.  */
 symbol = 0;
 symtab = 0;
 name_location = SYMBOL_VALUE_ADDRESS (msymbol)(msymbol)->ginfo.value.address;
 if (do_demangle || asm_demangle)
   name_temp = SYMBOL_PRINT_NAME (msymbol)(demangle ? (symbol_natural_name (&(msymbol)->ginfo)) :
 (msymbol)->ginfo.name);
 else
   name_temp = DEPRECATED_SYMBOL_NAME (msymbol)(msymbol)->ginfo.name;
}
  }
if (symbol == NULL((void*)0) && msymbol == NULL((void*)0))
  return 1;

/* If the nearest symbol is too far away, don't print anything symbolic.  */

/* For when CORE_ADDR is larger than unsigned int, we do math in
   CORE_ADDR.  But when we detect unsigned wraparound in the
   CORE_ADDR math, we ignore this test and print the offset,
   because addr+max_symbolic_offset has wrapped through the end
   of the address space back to the beginning, giving bogus comparison.  */
if (addr > name_location + max_symbolic_offset
    && name_location + max_symbolic_offset > name_location)
  return 1;

*offset = addr - name_location;

*name = xstrdup (name_temp);

if (print_symbol_filename)
  {
    struct symtab_and_line sal;

    sal = find_pc_sect_line (addr, section, 0);

    if (sal.symtab)
{
 *filename = xstrdup (sal.symtab->filename);
 *line = sal.line;
}
    else if (symtab && symbol && symbol->line)
{
 *filename = xstrdup (symtab->filename);
 *line = symbol->line;
}
    else if (symtab)
{
 *filename = xstrdup (symtab->filename);
 *line = -1;
}
  }
return 0;
694}

696/* Print address ADDR on STREAM.  USE_LOCAL means the same thing as for
 print_longest.  */
698void
699print_address_numeric (CORE_ADDR addr, int use_local, struct ui_file *stream)
700{
/* Truncate address to the size of a target address, avoiding shifts
   larger or equal than the width of a CORE_ADDR.  The local
   variable ADDR_BIT stops the compiler reporting a shift overflow
   when it won't occur. */
/* NOTE: This assumes that the significant address information is
   kept in the least significant bits of ADDR - the upper bits were
   either zero or sign extended.  Should ADDRESS_TO_POINTER() or
   some ADDRESS_TO_PRINTABLE() be used to do the conversion?  */

int addr_bit = TARGET_ADDR_BIT(gdbarch_addr_bit (current_gdbarch));

if (addr_bit < (sizeof (CORE_ADDR) * HOST_CHAR_BIT8))
  addr &= ((CORE_ADDR) 1 << addr_bit) - 1;
print_longest (stream, 'x', use_local, (ULONGESTunsigned long) addr);
715}

717/* Print address ADDR symbolically on STREAM.
 First print it as a number.  Then perhaps print
 <SYMBOL + OFFSET> after the number.  */

721void
722print_address (CORE_ADDR addr, struct ui_file *stream)
723{
print_address_numeric (addr, 1, stream);
print_address_symbolic (addr, stream, asm_demangle, " ");
726}

728/* Print address ADDR symbolically on STREAM.  Parameter DEMANGLE
 controls whether to print the symbolic name "raw" or demangled.
 Global setting "addressprint" controls whether to print hex address
 or not.  */

733void
734print_address_demangle (CORE_ADDR addr, struct ui_file *stream, int do_demangle)
735{
if (addr == 0)
  {
    fprintf_filtered (stream, "0");
  }
else if (addressprint)
  {
    print_address_numeric (addr, 1, stream);
    print_address_symbolic (addr, stream, do_demangle, " ");
  }
else
  {
    print_address_symbolic (addr, stream, do_demangle, "");
  }
749}
750

752/* These are the types that $__ will get after an examine command of one
 of these sizes.  */

755static struct type *examine_i_type;

757static struct type *examine_b_type;
758static struct type *examine_h_type;
759static struct type *examine_w_type;
760static struct type *examine_g_type;

762/* Examine data at address ADDR in format FMT.
 Fetch it from memory and print on gdb_stdout.  */

765static void
766do_examine (struct format_data fmt, CORE_ADDR addr, asection *sect)
767{
char format = 0;
char size;
int count = 1;
struct type *val_type = NULL((void*)0);
int i;
int maxelts;

format = fmt.format;
size = fmt.size;
count = fmt.count;
next_address = addr;
next_section = sect;

/* String or instruction format implies fetch single bytes
   regardless of the specified size.  */
if (format == 's' || format == 'i')
  size = 'b';

if (format == 'i')
  val_type = examine_i_type;
else if (size == 'b')
  val_type = examine_b_type;
else if (size == 'h')
  val_type = examine_h_type;
else if (size == 'w')
  val_type = examine_w_type;
else if (size == 'g')
  val_type = examine_g_type;

maxelts = 8;
if (size == 'w')
  maxelts = 4;
if (size == 'g')
  maxelts = 2;
if (format == 's' || format == 'i')
  maxelts = 1;

/* Print as many objects as specified in COUNT, at most maxelts per line,
   with the address of the next one at the start of each line.  */

while (count > 0)
  {
    QUIT{ if (quit_flag) quit (); if (deprecated_interactive_hook) deprecated_interactive_hook
 (); };
    print_address (next_address, gdb_stdout);
    printf_filtered (":");
    for (i = maxelts;
  i > 0 && count > 0;
  i--, count--)
{
 printf_filtered ("\t");
 /* Note that print_formatted sets next_address for the next
    object.  */
 last_examine_address = next_address;

 if (last_examine_value)
   value_free (last_examine_value)xfree (last_examine_value);

 /* The value to be displayed is not fetched greedily.
    Instead, to avoid the posibility of a fetched value not
    being used, its retreval is delayed until the print code
    uses it.  When examining an instruction stream, the
    disassembler will perform its own memory fetch using just
    the address stored in LAST_EXAMINE_VALUE.  FIXME: Should
    the disassembler be modified so that LAST_EXAMINE_VALUE
    is left with the byte sequence from the last complete
    instruction fetched from memory? */
 last_examine_value = value_at_lazy (val_type, next_address, sect);

 if (last_examine_value)
   release_value (last_examine_value);

 print_formatted (last_examine_value, format, size, gdb_stdout);
}
    printf_filtered ("\n");
    gdb_flush (gdb_stdout);
  }
844}
845
846static void
847validate_format (struct format_data fmt, char *cmdname)
848{
if (fmt.size != 0)
  error ("Size letters are meaningless in \"%s\" command.", cmdname);
if (fmt.count != 1)
  error ("Item count other than 1 is meaningless in \"%s\" command.",
  cmdname);
if (fmt.format == 'i' || fmt.format == 's')
  error ("Format letter \"%c\" is meaningless in \"%s\" command.",
  fmt.format, cmdname);
857}

859/*  Evaluate string EXP as an expression in the current language and
 print the resulting value.  EXP may contain a format specifier as the
 first argument ("/x myvar" for example, to print myvar in hex).
*/

864static void
865print_command_1 (char *exp, int inspect, int voidprint)
866{
struct expression *expr;
struct cleanup *old_chain = 0;
char format = 0;
struct value *val;
struct format_data fmt;
int cleanup = 0;

/* Pass inspect flag to the rest of the print routines in a global (sigh). */
inspect_it = inspect;

if (exp && *exp == '/')
  {
    exp++;
    fmt = decode_format (&exp, last_format, 0);
    validate_format (fmt, "print");
    last_format = format = fmt.format;
  }
else
  {
    fmt.count = 1;
    fmt.format = 0;
    fmt.size = 0;
  }

if (exp && *exp)
  {
    struct type *type;
    expr = parse_expression (exp);
    old_chain = make_cleanup (free_current_contents, &expr);
    cleanup = 1;
    val = evaluate_expression (expr);
  }
else
  val = access_value_history (0);

if (voidprint || (val && VALUE_TYPE (val)(val)->type &&
    TYPE_CODE (VALUE_TYPE (val))((val)->type)->main_type->code != TYPE_CODE_VOID))
  {
    int histindex = record_latest_value (val);

    if (histindex >= 0)
annotate_value_history_begin (histindex, VALUE_TYPE (val)(val)->type);
    else
annotate_value_begin (VALUE_TYPE (val)(val)->type);

    if (inspect)
printf_unfiltered ("\031(gdb-makebuffer \"%s\"  %d '(\"", exp, histindex);
    else if (histindex >= 0)
printf_filtered ("$%d = ", histindex);

    if (histindex >= 0)
annotate_value_history_value ();

    print_formatted (val, format, fmt.size, gdb_stdout);
    printf_filtered ("\n");

    if (histindex >= 0)
annotate_value_history_end ();
    else
annotate_value_end ();

    if (inspect)
printf_unfiltered ("\") )\030");
  }

if (cleanup)
  do_cleanups (old_chain);
inspect_it = 0;		/* Reset print routines to normal */
935}

937static void
938print_command (char *exp, int from_tty)
939{
print_command_1 (exp, 0, 1);
941}

943/* Same as print, except in epoch, it gets its own window */
944static void
945inspect_command (char *exp, int from_tty)
946{
extern int epoch_interface;

print_command_1 (exp, epoch_interface, 1);
950}

952/* Same as print, except it doesn't print void results. */
953static void
954call_command (char *exp, int from_tty)
955{
print_command_1 (exp, 0, 0);
957}

959void
960output_command (char *exp, int from_tty)
961{
struct expression *expr;
struct cleanup *old_chain;
char format = 0;
struct value *val;
struct format_data fmt;

if (exp && *exp == '/')
  {
    exp++;
    fmt = decode_format (&exp, 0, 0);
    validate_format (fmt, "output");
    format = fmt.format;
  }

expr = parse_expression (exp);
old_chain = make_cleanup (free_current_contents, &expr);

val = evaluate_expression (expr);

annotate_value_begin (VALUE_TYPE (val)(val)->type);

print_formatted (val, format, fmt.size, gdb_stdout);

annotate_value_end ();

wrap_here ("");
gdb_flush (gdb_stdout);

do_cleanups (old_chain);
991}

993static void
994set_command (char *exp, int from_tty)
995{
struct expression *expr = parse_expression (exp);
struct cleanup *old_chain =
  make_cleanup (free_current_contents, &expr);
evaluate_expression (expr);
do_cleanups (old_chain);
1001}

1003static void
1004sym_info (char *arg, int from_tty)
1005{
struct minimal_symbol *msymbol;
struct objfile *objfile;
struct obj_section *osect;
asection *sect;
CORE_ADDR addr, sect_addr;
int matches = 0;
unsigned int offset;

if (!arg)
  error_no_arg ("address");

addr = parse_and_eval_address (arg);
ALL_OBJSECTIONS (objfile, osect)for ((objfile) = object_files; (objfile) != ((void*)0); (objfile
) = (objfile)->next) for (osect = objfile->sections; osect
 < objfile->sections_end; osect++)
{
  sect = osect->the_bfd_section;
  sect_addr = overlay_mapped_address (addr, sect);

  if (osect->addr <= sect_addr && sect_addr < osect->endaddr &&
(msymbol = lookup_minimal_symbol_by_pc_section (sect_addr, sect)))
    {
matches = 1;
offset = sect_addr - SYMBOL_VALUE_ADDRESS (msymbol)(msymbol)->ginfo.value.address;
if (offset)
 printf_filtered ("%s + %u in ",
	   SYMBOL_PRINT_NAME (msymbol)(demangle ? (symbol_natural_name (&(msymbol)->ginfo)) :
 (msymbol)->ginfo.name), offset);
else
 printf_filtered ("%s in ",
	   SYMBOL_PRINT_NAME (msymbol)(demangle ? (symbol_natural_name (&(msymbol)->ginfo)) :
 (msymbol)->ginfo.name));
if (pc_in_unmapped_range (addr, sect))
 printf_filtered ("load address range of ");
if (section_is_overlay (sect))
 printf_filtered ("%s overlay ",
	   section_is_mapped (sect) ? "mapped" : "unmapped");
printf_filtered ("section %s", sect->name);
printf_filtered ("\n");
    }
}
if (matches == 0)
  printf_filtered ("No symbol matches %s.\n", arg);
1045}

1047static void
1048address_info (char *exp, int from_tty)
1049{
struct symbol *sym;
struct minimal_symbol *msymbol;
long val;
long basereg;
asection *section;
CORE_ADDR load_addr;
int is_a_field_of_this;	/* C++: lookup_symbol sets this to nonzero
		   if exp is a field of `this'. */

if (exp == 0)
  error ("Argument required.");

sym = lookup_symbol (exp, get_selected_block (0), VAR_DOMAIN,
       &is_a_field_of_this, (struct symtab **) NULL((void*)0));
if (sym == NULL((void*)0))
  {
    if (is_a_field_of_this)
{
 printf_filtered ("Symbol \"");
 fprintf_symbol_filtered (gdb_stdout, exp,
		   current_language->la_language, DMGL_ANSI(1 << 1));
 printf_filtered ("\" is a field of the local class variable ");
 if (current_language->la_language == language_objc)
   printf_filtered ("`self'\n");	/* ObjC equivalent of "this" */
 else
   printf_filtered ("`this'\n");
 return;
}

    msymbol = lookup_minimal_symbol (exp, NULL((void*)0), NULL((void*)0));

    if (msymbol != NULL((void*)0))
{
 load_addr = SYMBOL_VALUE_ADDRESS (msymbol)(msymbol)->ginfo.value.address;

 printf_filtered ("Symbol \"");
 fprintf_symbol_filtered (gdb_stdout, exp,
		   current_language->la_language, DMGL_ANSI(1 << 1));
 printf_filtered ("\" is at ");
 print_address_numeric (load_addr, 1, gdb_stdout);
 printf_filtered (" in a file compiled without debugging");
 section = SYMBOL_BFD_SECTION (msymbol)(msymbol)->ginfo.bfd_section;
 if (section_is_overlay (section))
   {
     load_addr = overlay_unmapped_address (load_addr, section);
     printf_filtered (",\n -- loaded at ");
     print_address_numeric (load_addr, 1, gdb_stdout);
     printf_filtered (" in overlay section %s", section->name);
   }
 printf_filtered (".\n");
}
    else
error ("No symbol \"%s\" in current context.", exp);
    return;
  }

printf_filtered ("Symbol \"");
fprintf_symbol_filtered (gdb_stdout, DEPRECATED_SYMBOL_NAME (sym)(sym)->ginfo.name,
	   current_language->la_language, DMGL_ANSI(1 << 1));
printf_filtered ("\" is ");
val = SYMBOL_VALUE (sym)(sym)->ginfo.value.ivalue;
basereg = SYMBOL_BASEREG (sym)(sym)->aux_value.basereg;
section = SYMBOL_BFD_SECTION (sym)(sym)->ginfo.bfd_section;

switch (SYMBOL_CLASS (sym)(sym)->aclass)
  {
  case LOC_CONST:
  case LOC_CONST_BYTES:
    printf_filtered ("constant");
    break;

  case LOC_LABEL:
    printf_filtered ("a label at address ");
    print_address_numeric (load_addr = SYMBOL_VALUE_ADDRESS (sym)(sym)->ginfo.value.address,
	     1, gdb_stdout);
    if (section_is_overlay (section))
{
 load_addr = overlay_unmapped_address (load_addr, section);
 printf_filtered (",\n -- loaded at ");
 print_address_numeric (load_addr, 1, gdb_stdout);
 printf_filtered (" in overlay section %s", section->name);
}
    break;

  case LOC_COMPUTED:
  case LOC_COMPUTED_ARG:
    /* FIXME: cagney/2004-01-26: It should be possible to
unconditionally call the SYMBOL_OPS method when available.
Unfortunately DWARF 2 stores the frame-base (instead of the
function) location in a function's symbol.  Oops!  For the
moment enable this when/where applicable.  */
    SYMBOL_OPS (sym)(sym)->ops->describe_location (sym, gdb_stdout);
    break;

  case LOC_REGISTER:
    printf_filtered ("a variable in register %s", REGISTER_NAME (val)(gdbarch_register_name (current_gdbarch, val)));
    break;

  case LOC_STATIC:
    printf_filtered ("static storage at address ");
    print_address_numeric (load_addr = SYMBOL_VALUE_ADDRESS (sym)(sym)->ginfo.value.address,
	     1, gdb_stdout);
    if (section_is_overlay (section))
{
 load_addr = overlay_unmapped_address (load_addr, section);
 printf_filtered (",\n -- loaded at ");
 print_address_numeric (load_addr, 1, gdb_stdout);
 printf_filtered (" in overlay section %s", section->name);
}
    break;

  case LOC_INDIRECT:
    printf_filtered ("external global (indirect addressing), at address *(");
    print_address_numeric (load_addr = SYMBOL_VALUE_ADDRESS (sym)(sym)->ginfo.value.address,
	     1, gdb_stdout);
    printf_filtered (")");
    if (section_is_overlay (section))
{
 load_addr = overlay_unmapped_address (load_addr, section);
 printf_filtered (",\n -- loaded at ");
 print_address_numeric (load_addr, 1, gdb_stdout);
 printf_filtered (" in overlay section %s", section->name);
}
    break;

  case LOC_REGPARM:
    printf_filtered ("an argument in register %s", REGISTER_NAME (val)(gdbarch_register_name (current_gdbarch, val)));
    break;

  case LOC_REGPARM_ADDR:
    printf_filtered ("address of an argument in register %s", REGISTER_NAME (val)(gdbarch_register_name (current_gdbarch, val)));
    break;

  case LOC_ARG:
    printf_filtered ("an argument at offset %ld", val);
    break;

  case LOC_LOCAL_ARG:
    printf_filtered ("an argument at frame offset %ld", val);
    break;

  case LOC_LOCAL:
    printf_filtered ("a local variable at frame offset %ld", val);
    break;

  case LOC_REF_ARG:
    printf_filtered ("a reference argument at offset %ld", val);
    break;

  case LOC_BASEREG:
    printf_filtered ("a variable at offset %ld from register %s",
       val, REGISTER_NAME (basereg)(gdbarch_register_name (current_gdbarch, basereg)));
    break;

  case LOC_BASEREG_ARG:
    printf_filtered ("an argument at offset %ld from register %s",
       val, REGISTER_NAME (basereg)(gdbarch_register_name (current_gdbarch, basereg)));
    break;

  case LOC_TYPEDEF:
    printf_filtered ("a typedef");
    break;

  case LOC_BLOCK:
    printf_filtered ("a function at address ");
    print_address_numeric (load_addr = BLOCK_START (SYMBOL_BLOCK_VALUE (sym))((sym)->ginfo.value.block)->startaddr,
	     1, gdb_stdout);
    if (section_is_overlay (section))
{
 load_addr = overlay_unmapped_address (load_addr, section);
 printf_filtered (",\n -- loaded at ");
 print_address_numeric (load_addr, 1, gdb_stdout);
 printf_filtered (" in overlay section %s", section->name);
}
    break;

  case LOC_UNRESOLVED:
    {
struct minimal_symbol *msym;

msym = lookup_minimal_symbol (DEPRECATED_SYMBOL_NAME (sym)(sym)->ginfo.name, NULL((void*)0), NULL((void*)0));
if (msym == NULL((void*)0))
 printf_filtered ("unresolved");
else
 {
   section = SYMBOL_BFD_SECTION (msym)(msym)->ginfo.bfd_section;
   printf_filtered ("static storage at address ");
   print_address_numeric (load_addr = SYMBOL_VALUE_ADDRESS (msym)(msym)->ginfo.value.address,
		   1, gdb_stdout);
   if (section_is_overlay (section))
     {
load_addr = overlay_unmapped_address (load_addr, section);
printf_filtered (",\n -- loaded at ");
print_address_numeric (load_addr, 1, gdb_stdout);
printf_filtered (" in overlay section %s", section->name);
     }
 }
    }
    break;

  case LOC_HP_THREAD_LOCAL_STATIC:
    printf_filtered (
	"a thread-local variable at offset %ld from the thread base register %s",
	val, REGISTER_NAME (basereg)(gdbarch_register_name (current_gdbarch, basereg)));
    break;

  case LOC_OPTIMIZED_OUT:
    printf_filtered ("optimized out");
    break;

  default:
    printf_filtered ("of unknown (botched) type");
    break;
  }
printf_filtered (".\n");
1265}
1266
1267void
1268x_command (char *exp, int from_tty)
1269{
struct expression *expr;
struct format_data fmt;
struct cleanup *old_chain;
struct value *val;

fmt.format = last_format;
fmt.size = last_size;
fmt.count = 1;

if (exp && *exp == '/')
  {
    exp++;
    fmt = decode_format (&exp, last_format, last_size);
  }

/* If we have an expression, evaluate it and use it as the address.  */

if (exp != 0 && *exp != 0)
  {
    expr = parse_expression (exp);
    /* Cause expression not to be there any more
       if this command is repeated with Newline.
       But don't clobber a user-defined command's definition.  */
    if (from_tty)
*exp = 0;
    old_chain = make_cleanup (free_current_contents, &expr);
    val = evaluate_expression (expr);
    if (TYPE_CODE (VALUE_TYPE (val))((val)->type)->main_type->code == TYPE_CODE_REF)
val = value_ind (val);
    /* In rvalue contexts, such as this, functions are coerced into
       pointers to functions.  This makes "x/i main" work.  */
    if (/* last_format == 'i'  && */ 
 TYPE_CODE (VALUE_TYPE (val))((val)->type)->main_type->code == TYPE_CODE_FUNC
  && VALUE_LVAL (val)(val)->lval == lval_memory)
next_address = VALUE_ADDRESS (val)(val)->location.address;
    else
next_address = value_as_address (val);
    if (VALUE_BFD_SECTION (val)((val)->bfd_section))
next_section = VALUE_BFD_SECTION (val)((val)->bfd_section);
    do_cleanups (old_chain);
  }

do_examine (fmt, next_address, next_section);

/* If the examine succeeds, we remember its size and format for next time.  */
last_size = fmt.size;
last_format = fmt.format;

/* Set a couple of internal variables if appropriate. */
if (last_examine_value)
  {
    /* Make last address examined available to the user as $_.  Use
       the correct pointer type.  */
    struct type *pointer_type
= lookup_pointer_type (VALUE_TYPE (last_examine_value)(last_examine_value)->type);
    set_internalvar (lookup_internalvar ("_"),
       value_from_pointer (pointer_type,
			   last_examine_address));

    /* Make contents of last address examined available to the user as $__. */
    /* If the last value has not been fetched from memory then don't
       fetch it now - instead mark it by voiding the $__ variable. */
    if (VALUE_LAZY (last_examine_value)(last_examine_value)->lazy)
set_internalvar (lookup_internalvar ("__"),
	 allocate_value (builtin_type_void));
    else
set_internalvar (lookup_internalvar ("__"), last_examine_value);
  }
1338}
1339

1341/* Add an expression to the auto-display chain.
 Specify the expression.  */

1344static void
1345display_command (char *exp, int from_tty)
1346{
struct format_data fmt;
struct expression *expr;
struct display *new;
int display_it = 1;

1352#if defined(TUI1)
/* NOTE: cagney/2003-02-13 The `tui_active' was previously
   `tui_version'.  */
if (tui_active && exp != NULL((void*)0) && *exp == '$')
  display_it = (tui_set_layout_for_display_command (exp) == TUI_FAILURE);
1357#endif

if (display_it)
  {
    if (exp == 0)
{
 do_displays ();
 return;
}

    if (*exp == '/')
{
 exp++;
 fmt = decode_format (&exp, 0, 0);
 if (fmt.size && fmt.format == 0)
   fmt.format = 'x';
 if (fmt.format == 'i' || fmt.format == 's')
   fmt.size = 'b';
}
    else
{
 fmt.format = 0;
 fmt.size = 0;
 fmt.count = 0;
}

    innermost_block = 0;
    expr = parse_expression (exp);

    new = (struct display *) xmalloc (sizeof (struct display));

    new->exp = expr;
    new->block = innermost_block;
    new->next = display_chain;
    new->number = ++display_number;
    new->format = fmt;
    new->enabled_p = 1;
    display_chain = new;

    if (from_tty && target_has_execution(current_target.to_has_execution))
do_one_display (new);

    dont_repeat ();
  }
1401}

1403static void
1404free_display (struct display *d)
1405{
xfree (d->exp);
xfree (d);
1408}

1410/* Clear out the display_chain.
 Done when new symtabs are loaded, since this invalidates
 the types stored in many expressions.  */

1414void
1415clear_displays (void)
1416{
struct display *d;

while ((d = display_chain) != NULL((void*)0))
  {
    xfree (d->exp);
    display_chain = d->next;
    xfree (d);
  }
1425}

1427/* Delete the auto-display number NUM.  */

1429static void
1430delete_display (int num)
1431{
struct display *d1, *d;

if (!display_chain)
  error ("No display number %d.", num);

if (display_chain->number == num)
  {
    d1 = display_chain;
    display_chain = d1->next;
    free_display (d1);
  }
else
  for (d = display_chain;; d = d->next)
    {
if (d->next == 0)
 error ("No display number %d.", num);
if (d->next->number == num)
 {
   d1 = d->next;
   d->next = d1->next;
   free_display (d1);
   break;
 }
    }
1456}

1458/* Delete some values from the auto-display chain.
 Specify the element numbers.  */

1461static void
1462undisplay_command (char *args, int from_tty)
1463{
char *p = args;
char *p1;
int num;

if (args == 0)
  {
    if (query ("Delete all auto-display expressions? "))
clear_displays ();
    dont_repeat ();
    return;
  }

while (*p)
  {
    p1 = p;
    while (*p1 >= '0' && *p1 <= '9')
p1++;
    if (*p1 && *p1 != ' ' && *p1 != '\t')
error ("Arguments must be display numbers.");

    num = atoi (p);

    delete_display (num);

    p = p1;
    while (*p == ' ' || *p == '\t')
p++;
  }
dont_repeat ();
1493}

1495/* Display a single auto-display.  
 Do nothing if the display cannot be printed in the current context,
 or if the display is disabled. */

1499static void
1500do_one_display (struct display *d)
1501{
int within_current_scope;

if (d->enabled_p == 0)
  return;

if (d->block)
  within_current_scope = contained_in (get_selected_block (0), d->block);
else
  within_current_scope = 1;
if (!within_current_scope)
  return;

current_display_number = d->number;

annotate_display_begin ();
printf_filtered ("%d", d->number);
annotate_display_number_end ();
printf_filtered (": ");
if (d->format.size)
  {
    CORE_ADDR addr;
    struct value *val;

    annotate_display_format ();

    printf_filtered ("x/");
    if (d->format.count != 1)
printf_filtered ("%d", d->format.count);
    printf_filtered ("%c", d->format.format);
    if (d->format.format != 'i' && d->format.format != 's')
printf_filtered ("%c", d->format.size);
    printf_filtered (" ");

    annotate_display_expression ();

    print_expression (d->exp, gdb_stdout);
    annotate_display_expression_end ();

    if (d->format.count != 1)
printf_filtered ("\n");
    else
printf_filtered ("  ");

    val = evaluate_expression (d->exp);
    addr = value_as_address (val);
    if (d->format.format == 'i')
addr = ADDR_BITS_REMOVE (addr)(gdbarch_addr_bits_remove (current_gdbarch, addr));

    annotate_display_value ();

    do_examine (d->format, addr, VALUE_BFD_SECTION (val)((val)->bfd_section));
  }
else
  {
    annotate_display_format ();

    if (d->format.format)
printf_filtered ("/%c ", d->format.format);

    annotate_display_expression ();

    print_expression (d->exp, gdb_stdout);
    annotate_display_expression_end ();

    printf_filtered (" = ");

    annotate_display_expression ();

    print_formatted (evaluate_expression (d->exp),
       d->format.format, d->format.size, gdb_stdout);
    printf_filtered ("\n");
  }

annotate_display_end ();

gdb_flush (gdb_stdout);
current_display_number = -1;
1579}

1581/* Display all of the values on the auto-display chain which can be
 evaluated in the current scope.  */

1584void
1585do_displays (void)
1586{
struct display *d;

for (d = display_chain; d; d = d->next)
  do_one_display (d);
1591}

1593/* Delete the auto-display which we were in the process of displaying.
 This is done when there is an error or a signal.  */

1596void
1597disable_display (int num)
1598{
struct display *d;

for (d = display_chain; d; d = d->next)
  if (d->number == num)
    {
d->enabled_p = 0;
return;
    }
printf_unfiltered ("No display number %d.\n", num);
1608}

1610void
1611disable_current_display (void)
1612{
if (current_display_number >= 0)
  {
    disable_display (current_display_number);
    fprintf_unfiltered (gdb_stderr, "Disabling display %d to avoid infinite recursion.\n",
	  current_display_number);
  }
current_display_number = -1;
1620}

1622static void
1623display_info (char *ignore, int from_tty)
1624{
struct display *d;

if (!display_chain)
  printf_unfiltered ("There are no auto-display expressions now.\n");
else
  printf_filtered ("Auto-display expressions now in effect:\n\
1631Num Enb Expression\n");

for (d = display_chain; d; d = d->next)
  {
    printf_filtered ("%d:   %c  ", d->number, "ny"[(int) d->enabled_p]);
    if (d->format.size)
printf_filtered ("/%d%c%c ", d->format.count, d->format.size,
	 d->format.format);
    else if (d->format.format)
printf_filtered ("/%c ", d->format.format);
    print_expression (d->exp, gdb_stdout);
    if (d->block && !contained_in (get_selected_block (0), d->block))
printf_filtered (" (cannot be evaluated in the current context)");
    printf_filtered ("\n");
    gdb_flush (gdb_stdout);
  }
1647}

1649static void
1650enable_display (char *args, int from_tty)
1651{
char *p = args;
char *p1;
int num;
struct display *d;

if (p == 0)
  {
    for (d = display_chain; d; d = d->next)
d->enabled_p = 1;
  }
else
  while (*p)
    {
p1 = p;
while (*p1 >= '0' && *p1 <= '9')
 p1++;
if (*p1 && *p1 != ' ' && *p1 != '\t')
 error ("Arguments must be display numbers.");

num = atoi (p);

for (d = display_chain; d; d = d->next)
 if (d->number == num)
   {
     d->enabled_p = 1;
     goto win;
   }
printf_unfiltered ("No display number %d.\n", num);
    win:
p = p1;
while (*p == ' ' || *p == '\t')
 p++;
    }
1685}

1687static void
1688disable_display_command (char *args, int from_tty)
1689{
char *p = args;
char *p1;
struct display *d;

if (p == 0)
  {
    for (d = display_chain; d; d = d->next)
d->enabled_p = 0;
  }
else
  while (*p)
    {
p1 = p;
while (*p1 >= '0' && *p1 <= '9')
 p1++;
if (*p1 && *p1 != ' ' && *p1 != '\t')
 error ("Arguments must be display numbers.");

disable_display (atoi (p));

p = p1;
while (*p == ' ' || *p == '\t')
 p++;
    }
1714}
1715

1717/* Print the value in stack frame FRAME of a variable
 specified by a struct symbol.  */

1720void
1721print_variable_value (struct symbol *var, struct frame_info *frame,
      struct ui_file *stream)
1723{
struct value *val = read_var_value (var, frame);

value_print (val, stream, 0, Val_pretty_default);
1727}

1729static void
1730printf_command (char *arg, int from_tty)
1731{
char *f = NULL((void*)0);
char *s = arg;
char *string = NULL((void*)0);
struct value **val_args;
char *substrings;
char *current_substring;
int nargs = 0;
int allocated_args = 20;
struct cleanup *old_cleanups;

val_args = (struct value **) xmalloc (allocated_args
			* sizeof (struct value *));
old_cleanups = make_cleanup (free_current_contents, &val_args);

if (s == 0)
1
Assuming 's' is not equal to null→
2
←
Taking false branch→
  error_no_arg ("format-control string and values to print");

/* Skip white space before format string */
while (*s == ' ' || *s == '\t')
3
←
Assuming the condition is false→
4
←
Assuming the condition is false→
5
←
Loop condition is false. Execution continues on line 1754→
  s++;

/* A format string should follow, enveloped in double quotes */
if (*s++ != '"')
6
←
Assuming the condition is false→
7
←
Taking false branch→
  error ("Bad format string, missing '\"'.");

/* Parse the format-control string and copy it into the string STRING,
   processing some kinds of escape sequence.  */

f = string = (char *) alloca (strlen (s) + 1)__builtin_alloca(strlen (s) + 1);

while (*s != '"')
8
←
Assuming the condition is true→
9
←
Loop condition is true.  Entering loop body→
11
←
Assuming the condition is false→
12
←
Loop condition is false. Execution continues on line 1813→
  {
    int c = *s++;
    switch (c)
10
←
Control jumps to the 'default' case at line 1807→
{
case '\0':
 error ("Bad format string, non-terminated '\"'.");

case '\\':
 switch (c = *s++)
   {
   case '\\':
     *f++ = '\\';
     break;
   case 'a':
     *f++ = '\a';
     break;
   case 'b':
     *f++ = '\b';
     break;
   case 'f':
     *f++ = '\f';
     break;
   case 'n':
     *f++ = '\n';
     break;
   case 'r':
     *f++ = '\r';
     break;
   case 't':
     *f++ = '\t';
     break;
   case 'v':
     *f++ = '\v';
     break;
   case '"':
     *f++ = '"';
     break;
   default:
     /* ??? TODO: handle other escape sequences */
     error ("Unrecognized escape character \\%c in format string.",
     c);
   }
 break;

default:
 *f++ = c;
}
  }

/* Skip over " and following space and comma.  */
s++;
*f++ = '\0';
while (*s == ' ' || *s == '\t')
13
←
Assuming the condition is false→
14
←
Assuming the condition is false→
15
←
Loop condition is false. Execution continues on line 1818→
  s++;

if (*s != ',' && *s != 0)
16
←
Assuming the condition is true→
17
←
Assuming the condition is false→
18
←
Taking false branch→
  error ("Invalid argument syntax");

if (*s == ',')
19
←
Taking false branch→
  s++;
while (*s == ' ' || *s == '\t')
20
←
Loop condition is false. Execution continues on line 1827→
  s++;

/* Need extra space for the '\0's.  Doubling the size is sufficient.  */
substrings = alloca (strlen (string) * 2)__builtin_alloca(strlen (string) * 2);
current_substring = substrings;

{
  /* Now scan the string for %-specs and see what kinds of args they want.
     argclass[I] classifies the %-specs so we can give printf_filtered
     something of the right size.  */

  enum argclass
    {
no_arg, int_arg, string_arg, double_arg, long_long_arg
    };
  enum argclass *argclass;
  enum argclass this_argclass;
  char *last_arg;
  int nargs_wanted;
  int lcount;
  int i;

  argclass = (enum argclass *) alloca (strlen (s) * sizeof *argclass)__builtin_alloca(strlen (s) * sizeof *argclass);
  nargs_wanted = 0;
  f = string;
  last_arg = string;
  while (*f)
21
←
Loop condition is true.  Entering loop body→
29
←
Branch condition evaluates to a garbage value
    if (*f++ == '%')
22
←
Assuming the condition is true→
23
←
Taking true branch→
{
 lcount = 0;
 while (strchr ("0123456789.hlL-+ #", *f))
24
←
Loop condition is false. Execution continues on line 1860→
   {
     if (*f == 'l' || *f == 'L')
lcount++;
     f++;
   }
 switch (*f)
25
←
Control jumps to the 'default' case at line 1882→
   {
   case 's':
     this_argclass = string_arg;
     break;

   case 'e':
   case 'f':
   case 'g':
     this_argclass = double_arg;
     break;

   case '*':
     error ("`*' not supported for precision or width in printf");

   case 'n':
     error ("Format specifier `n' not supported in printf");

   case '%':
     this_argclass = no_arg;
     break;

   default:
     if (lcount25.1
'lcount' is <= 1
 > 1)
26
←
Taking false branch→
this_argclass = long_long_arg;
     else
this_argclass = int_arg;
     break;
27
←
 Execution continues on line 1889→
   }
 f++;
 if (this_argclass27.1
'this_argclass' is not equal to no_arg
 != no_arg)
28
←
Taking true branch→
   {
     strncpy (current_substring, last_arg, f - last_arg);
     current_substring += f - last_arg;
     *current_substring++ = '\0';
     last_arg = f;
     argclass[nargs_wanted++] = this_argclass;
   }
}

  /* Now, parse all arguments and evaluate them.
     Store the VALUEs in VAL_ARGS.  */

  while (*s != '\0')
    {
char *s1;
if (nargs == allocated_args)
 val_args = (struct value **) xrealloc ((char *) val_args,
				 (allocated_args *= 2)
				 * sizeof (struct value *));
s1 = s;
val_args[nargs] = parse_to_comma_and_eval (&s1);

/* If format string wants a float, unchecked-convert the value to
  floating point of the same size */

if (argclass[nargs] == double_arg)
 {
   struct type *type = VALUE_TYPE (val_args[nargs])(val_args[nargs])->type;
   if (TYPE_LENGTH (type)(type)->length == sizeof (float))
       VALUE_TYPE (val_args[nargs])(val_args[nargs])->type = builtin_type_float;
   if (TYPE_LENGTH (type)(type)->length == sizeof (double))
       VALUE_TYPE (val_args[nargs])(val_args[nargs])->type = builtin_type_double;
 }
nargs++;
s = s1;
if (*s == ',')
 s++;
    }

  if (nargs != nargs_wanted)
    error ("Wrong number of arguments for specified format-string");

  /* Now actually print them.  */
  current_substring = substrings;
  for (i = 0; i < nargs; i++)
    {
switch (argclass[i])
 {
 case string_arg:
   {
     char *str;
     CORE_ADDR tem;
     int j;
     tem = value_as_address (val_args[i]);

     /* This is a %s argument.  Find the length of the string.  */
     for (j = 0;; j++)
{
  char c;
  QUIT{ if (quit_flag) quit (); if (deprecated_interactive_hook) deprecated_interactive_hook
 (); };
  read_memory (tem + j, &c, 1);
  if (c == 0)
    break;
}

     /* Copy the string contents into a string inside GDB.  */
     str = (char *) alloca (j + 1)__builtin_alloca(j + 1);
     if (j != 0)
read_memory (tem, str, j);
     str[j] = 0;

     printf_filtered (current_substring, str);
   }
   break;
 case double_arg:
   {
     double val = value_as_double (val_args[i]);
     printf_filtered (current_substring, val);
     break;
   }
 case long_long_arg:
1972#if defined (CC_HAS_LONG_LONG1) && defined (PRINTF_HAS_LONG_LONG1)
   {
     long long val = value_as_long (val_args[i]);
     printf_filtered (current_substring, val);
     break;
   }
1978#else
   error ("long long not supported in printf");
1980#endif
 case int_arg:
   {
     /* FIXME: there should be separate int_arg and long_arg.  */
     long val = value_as_long (val_args[i]);
     printf_filtered (current_substring, val);
     break;
   }
 default:		/* purecov: deadcode */
   error ("internal error in printf_command");		/* purecov: deadcode */
 }
/* Skip to the next substring.  */
current_substring += strlen (current_substring) + 1;
    }
  /* Print the portion of the format string after the last argument.  */
  puts_filtered (last_arg);
}
do_cleanups (old_cleanups);
1998}

2000void
2001_initialize_printcmd (void)
2002{
struct cmd_list_element *c;

current_display_number = -1;

add_info ("address", address_info,
   "Describe where symbol SYM is stored.");

add_info ("symbol", sym_info,
   "Describe what symbol is at location ADDR.\n\
2012Only for symbols with fixed locations (global or static scope).");

add_com ("x", class_vars, x_command,
  concat ("Examine memory: x/FMT ADDRESS.\n\
2016ADDRESS is an expression for the memory address to examine.\n\
2017FMT is a repeat count followed by a format letter and a size letter.\n\
2018Format letters are o(octal), x(hex), d(decimal), u(unsigned decimal),\n\
t(binary), f(float), a(address), i(instruction), c(char) and s(string).\n",
   "Size letters are b(byte), h(halfword), w(word), g(giant, 8 bytes).\n\
2021The specified number of objects of the specified size are printed\n\
2022according to the format.\n\n\
2023Defaults for format and size letters are those previously used.\n\
2024Default count is 1.  Default address is following last thing printed\n\
2025with this command or \"print\".", NULL((void*)0)));

2027#if 0
add_com ("whereis", class_vars, whereis_command,
  "Print line number and file of definition of variable.");
2030#endif

add_info ("display", display_info,
   "Expressions to display when program stops, with code numbers.");

add_cmd ("undisplay", class_vars, undisplay_command,
  "Cancel some expressions to be displayed when program stops.\n\
2037Arguments are the code numbers of the expressions to stop displaying.\n\
2038No argument means cancel all automatic-display expressions.\n\
2039\"delete display\" has the same effect as this command.\n\
2040Do \"info display\" to see current list of code numbers.",
  &cmdlist);

add_com ("display", class_vars, display_command,
  "Print value of expression EXP each time the program stops.\n\
2045/FMT may be used before EXP as in the \"print\" command.\n\
2046/FMT \"i\" or \"s\" or including a size-letter is allowed,\n\
2047as in the \"x\" command, and then EXP is used to get the address to examine\n\
2048and examining is done as in the \"x\" command.\n\n\
2049With no argument, display all currently requested auto-display expressions.\n\
2050Use \"undisplay\" to cancel display requests previously made."
  );

add_cmd ("display", class_vars, enable_display,
  "Enable some expressions to be displayed when program stops.\n\
2055Arguments are the code numbers of the expressions to resume displaying.\n\
2056No argument means enable all automatic-display expressions.\n\
2057Do \"info display\" to see current list of code numbers.", &enablelist);

add_cmd ("display", class_vars, disable_display_command,
  "Disable some expressions to be displayed when program stops.\n\
2061Arguments are the code numbers of the expressions to stop displaying.\n\
2062No argument means disable all automatic-display expressions.\n\
2063Do \"info display\" to see current list of code numbers.", &disablelist);

add_cmd ("display", class_vars, undisplay_command,
  "Cancel some expressions to be displayed when program stops.\n\
2067Arguments are the code numbers of the expressions to stop displaying.\n\
2068No argument means cancel all automatic-display expressions.\n\
2069Do \"info display\" to see current list of code numbers.", &deletelist);

add_com ("printf", class_vars, printf_command,
  "printf \"printf format string\", arg1, arg2, arg3, ..., argn\n\
2073This is useful for formatted output in user-defined commands.");

add_com ("output", class_vars, output_command,
  "Like \"print\" but don't put in value history and don't print newline.\n\
2077This is useful in user-defined commands.");

add_prefix_cmd ("set", class_vars, set_command,
  concat ("Evaluate expression EXP and assign result to variable VAR, using assignment\n\
2081syntax appropriate for the current language (VAR = EXP or VAR := EXP for\n\
2082example).  VAR may be a debugger \"convenience\" variable (names starting\n\
2083with $), a register (a few standard names starting with $), or an actual\n\
2084variable in the program being debugged.  EXP is any valid expression.\n",
	  "Use \"set variable\" for variables with names identical to set subcommands.\n\
2086\nWith a subcommand, this command modifies parts of the gdb environment.\n\
2087You can see these environment settings with the \"show\" command.", NULL((void*)0)),
  &setlist, "set ", 1, &cmdlist);
if (dbx_commands)
  add_com ("assign", class_vars, set_command, concat ("Evaluate expression \
2091EXP and assign result to variable VAR, using assignment\n\
2092syntax appropriate for the current language (VAR = EXP or VAR := EXP for\n\
2093example).  VAR may be a debugger \"convenience\" variable (names starting\n\
2094with $), a register (a few standard names starting with $), or an actual\n\
2095variable in the program being debugged.  EXP is any valid expression.\n",
					"Use \"set variable\" for variables with names identical to set subcommands.\n\
2097\nWith a subcommand, this command modifies parts of the gdb environment.\n\
2098You can see these environment settings with the \"show\" command.", NULL((void*)0)));

/* "call" is the same as "set", but handy for dbx users to call fns. */
c = add_com ("call", class_vars, call_command,
      "Call a function in the program.\n\
2103The argument is the function name and arguments, in the notation of the\n\
2104current working language.  The result is printed and saved in the value\n\
2105history, if it is not void.");
set_cmd_completer (c, location_completer);

add_cmd ("variable", class_vars, set_command,
  "Evaluate expression EXP and assign result to variable VAR, using assignment\n\
2110syntax appropriate for the current language (VAR = EXP or VAR := EXP for\n\
2111example).  VAR may be a debugger \"convenience\" variable (names starting\n\
2112with $), a register (a few standard names starting with $), or an actual\n\
2113variable in the program being debugged.  EXP is any valid expression.\n\
2114This may usually be abbreviated to simply \"set\".",
  &setlist);

c = add_com ("print", class_vars, print_command,
  concat ("Print value of expression EXP.\n\
2119Variables accessible are those of the lexical environment of the selected\n\
2120stack frame, plus all those whose scope is global or an entire file.\n\
2121\n\
2122$NUM gets previous value number NUM.  $ and $$ are the last two values.\n\
2123$$NUM refers to NUM'th value back from the last one.\n\
2124Names starting with $ refer to registers (with the values they would have\n",
   "if the program were to return to the stack frame now selected, restoring\n\
2126all registers saved by frames farther in) or else to debugger\n\
2127\"convenience\" variables (any such name not a known register).\n\
2128Use assignment expressions to give values to convenience variables.\n",
   "\n\
2130{TYPE}ADREXP refers to a datum of data type TYPE, located at address ADREXP.\n\
2131@ is a binary operator for treating consecutive data objects\n\
2132anywhere in memory as an array.  FOO@NUM gives an array whose first\n\
2133element is FOO, whose second element is stored in the space following\n\
2134where FOO is stored, etc.  FOO must be an expression whose value\n\
2135resides in memory.\n",
   "\n\
2137EXP may be preceded with /FMT, where FMT is a format letter\n\
2138but no count or size letter (see \"x\" command).", NULL((void*)0)));
set_cmd_completer (c, location_completer);
add_com_alias ("p", "print", class_vars, 1);

c = add_com ("inspect", class_vars, inspect_command,
  "Same as \"print\" command, except that if you are running in the epoch\n\
2144environment, the value is printed in its own window.");
set_cmd_completer (c, location_completer);

deprecated_add_show_from_set
  (add_set_cmd ("max-symbolic-offset", no_class, var_uinteger,
  (char *) &max_symbolic_offset,
     "Set the largest offset that will be printed in <symbol+1234> form.",
  &setprintlist),
   &showprintlist);
deprecated_add_show_from_set
  (add_set_cmd ("symbol-filename", no_class, var_boolean,
  (char *) &print_symbol_filename, "\
2156Set printing of source filename and line number with <symbol>.",
  &setprintlist),
   &showprintlist);

/* For examine/instruction a single byte quantity is specified as
   the data.  This avoids problems with value_at_lazy() requiring a
   valid data type (and rejecting VOID). */
examine_i_type = init_type (TYPE_CODE_INT, 1, 0, "examine_i_type", NULL((void*)0));

examine_b_type = init_type (TYPE_CODE_INT, 1, 0, "examine_b_type", NULL((void*)0));
examine_h_type = init_type (TYPE_CODE_INT, 2, 0, "examine_h_type", NULL((void*)0));
examine_w_type = init_type (TYPE_CODE_INT, 4, 0, "examine_w_type", NULL((void*)0));
examine_g_type = init_type (TYPE_CODE_INT, 8, 0, "examine_g_type", NULL((void*)0));

2170}