]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/printcmd.c
Use block_symbol in var_value_operation
[thirdparty/binutils-gdb.git] / gdb / printcmd.c
CommitLineData
c906108c 1/* Print values for GNU debugger GDB.
e2ad119d 2
3666a048 3 Copyright (C) 1986-2021 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
19
20#include "defs.h"
c906108c
SS
21#include "frame.h"
22#include "symtab.h"
23#include "gdbtypes.h"
24#include "value.h"
25#include "language.h"
1f6f6e21 26#include "c-lang.h"
c906108c
SS
27#include "expression.h"
28#include "gdbcore.h"
29#include "gdbcmd.h"
30#include "target.h"
31#include "breakpoint.h"
32#include "demangle.h"
50f182aa 33#include "gdb-demangle.h"
c906108c
SS
34#include "valprint.h"
35#include "annotate.h"
c5aa993b
JM
36#include "symfile.h" /* for overlay functions */
37#include "objfiles.h" /* ditto */
c94fdfd0 38#include "completer.h" /* for completion functions */
8b93c638 39#include "ui-out.h"
fe898f56 40#include "block.h"
92bf2b80 41#include "disasm.h"
f69fdf9b 42#include "target-float.h"
76727919 43#include "observable.h"
a3247a22 44#include "solist.h"
a3247a22 45#include "parser-defs.h"
6c7a06a3 46#include "charset.h"
704e9165 47#include "arch-utils.h"
e9cafbcc 48#include "cli/cli-utils.h"
7d8062de 49#include "cli/cli-option.h"
01770bbd 50#include "cli/cli-script.h"
80ae2043 51#include "cli/cli-style.h"
268a13a5 52#include "gdbsupport/format.h"
05cba821 53#include "source.h"
268a13a5
TT
54#include "gdbsupport/byte-vector.h"
55#include "gdbsupport/gdb_optional.h"
037d7135 56#include "safe-ctype.h"
48136e00
LM
57#include "gdbsupport/rsp-low.h"
58
59/* Chain containing all defined memory-tag subcommands. */
60
61static struct cmd_list_element *memory_tag_list;
c906108c 62
c906108c
SS
63/* Last specified output format. */
64
a6bac58e 65static char last_format = 0;
c906108c
SS
66
67/* Last specified examination size. 'b', 'h', 'w' or `q'. */
68
69static char last_size = 'w';
70
9be2ae8f
TT
71/* Last specified count for the 'x' command. */
72
73static int last_count;
74
bef382e6
LM
75/* Last specified tag-printing option. */
76
77static bool last_print_tags = false;
78
5d3729b5 79/* Default address to examine next, and associated architecture. */
c906108c 80
5d3729b5 81static struct gdbarch *next_gdbarch;
c906108c
SS
82static CORE_ADDR next_address;
83
a4642986
MR
84/* Number of delay instructions following current disassembled insn. */
85
86static int branch_delay_insns;
87
c906108c
SS
88/* Last address examined. */
89
90static CORE_ADDR last_examine_address;
91
92/* Contents of last address examined.
93 This is not valid past the end of the `x' command! */
94
9b558729 95static value_ref_ptr last_examine_value;
c906108c
SS
96
97/* Largest offset between a symbolic value and an address, that will be
98 printed as `0x1234 <symbol+offset>'. */
99
100static unsigned int max_symbolic_offset = UINT_MAX;
920d2a44
AC
101static void
102show_max_symbolic_offset (struct ui_file *file, int from_tty,
103 struct cmd_list_element *c, const char *value)
104{
3e43a32a
MS
105 fprintf_filtered (file,
106 _("The largest offset that will be "
107 "printed in <symbol+1234> form is %s.\n"),
920d2a44
AC
108 value);
109}
c906108c
SS
110
111/* Append the source filename and linenumber of the symbol when
112 printing a symbolic value as `<symbol at filename:linenum>' if set. */
491144b5 113static bool print_symbol_filename = false;
920d2a44
AC
114static void
115show_print_symbol_filename (struct ui_file *file, int from_tty,
116 struct cmd_list_element *c, const char *value)
117{
3e43a32a
MS
118 fprintf_filtered (file, _("Printing of source filename and "
119 "line number with <symbol> is %s.\n"),
920d2a44
AC
120 value);
121}
c906108c
SS
122
123/* Number of auto-display expression currently being displayed.
9d8fa392 124 So that we can disable it if we get a signal within it.
c906108c
SS
125 -1 when not doing one. */
126
5a18e302 127static int current_display_number;
c906108c 128
8be4b118
TT
129/* Last allocated display number. */
130
131static int display_number;
132
c906108c 133struct display
c5aa993b 134 {
8be4b118
TT
135 display (const char *exp_string_, expression_up &&exp_,
136 const struct format_data &format_, struct program_space *pspace_,
137 const struct block *block_)
138 : exp_string (exp_string_),
139 exp (std::move (exp_)),
140 number (++display_number),
141 format (format_),
142 pspace (pspace_),
143 block (block_),
144 enabled_p (true)
145 {
146 }
6c95b8df 147
fa8a61dc 148 /* The expression as the user typed it. */
8be4b118 149 std::string exp_string;
6c95b8df 150
c5aa993b 151 /* Expression to be evaluated and displayed. */
4d01a485 152 expression_up exp;
6c95b8df 153
c5aa993b
JM
154 /* Item number of this auto-display item. */
155 int number;
6c95b8df 156
c5aa993b
JM
157 /* Display format specified. */
158 struct format_data format;
6c95b8df
PA
159
160 /* Program space associated with `block'. */
161 struct program_space *pspace;
162
0df8b418 163 /* Innermost block required by this expression when evaluated. */
270140bd 164 const struct block *block;
6c95b8df 165
0df8b418 166 /* Status of this display (enabled or disabled). */
8be4b118 167 bool enabled_p;
c5aa993b 168 };
c906108c 169
8be4b118
TT
170/* Expressions whose values should be displayed automatically each
171 time the program stops. */
c906108c 172
8be4b118 173static std::vector<std::unique_ptr<struct display>> all_displays;
c9174737 174
0df8b418 175/* Prototypes for local functions. */
c906108c 176
a14ed312 177static void do_one_display (struct display *);
c906108c 178\f
c5aa993b 179
c906108c
SS
180/* Decode a format specification. *STRING_PTR should point to it.
181 OFORMAT and OSIZE are used as defaults for the format and size
182 if none are given in the format specification.
183 If OSIZE is zero, then the size field of the returned value
184 should be set only if a size is explicitly specified by the
185 user.
186 The structure returned describes all the data
187 found in the specification. In addition, *STRING_PTR is advanced
188 past the specification and past all whitespace following it. */
189
190static struct format_data
6f937416 191decode_format (const char **string_ptr, int oformat, int osize)
c906108c
SS
192{
193 struct format_data val;
6f937416 194 const char *p = *string_ptr;
c906108c
SS
195
196 val.format = '?';
197 val.size = '?';
198 val.count = 1;
a6bac58e 199 val.raw = 0;
bef382e6 200 val.print_tags = false;
c906108c 201
bb556f1f
TK
202 if (*p == '-')
203 {
204 val.count = -1;
205 p++;
206 }
c906108c 207 if (*p >= '0' && *p <= '9')
bb556f1f 208 val.count *= atoi (p);
c5aa993b
JM
209 while (*p >= '0' && *p <= '9')
210 p++;
c906108c
SS
211
212 /* Now process size or format letters that follow. */
213
214 while (1)
215 {
216 if (*p == 'b' || *p == 'h' || *p == 'w' || *p == 'g')
217 val.size = *p++;
a6bac58e
TT
218 else if (*p == 'r')
219 {
220 val.raw = 1;
221 p++;
222 }
bef382e6
LM
223 else if (*p == 'm')
224 {
225 val.print_tags = true;
226 p++;
227 }
c906108c
SS
228 else if (*p >= 'a' && *p <= 'z')
229 val.format = *p++;
230 else
231 break;
232 }
233
2f433492 234 *string_ptr = skip_spaces (p);
c906108c
SS
235
236 /* Set defaults for format and size if not specified. */
237 if (val.format == '?')
238 {
239 if (val.size == '?')
240 {
241 /* Neither has been specified. */
242 val.format = oformat;
243 val.size = osize;
244 }
245 else
246 /* If a size is specified, any format makes a reasonable
247 default except 'i'. */
248 val.format = oformat == 'i' ? 'x' : oformat;
249 }
250 else if (val.size == '?')
251 switch (val.format)
252 {
253 case 'a':
5d3729b5
UW
254 /* Pick the appropriate size for an address. This is deferred
255 until do_examine when we know the actual architecture to use.
256 A special size value of 'a' is used to indicate this case. */
257 val.size = osize ? 'a' : osize;
c906108c
SS
258 break;
259 case 'f':
260 /* Floating point has to be word or giantword. */
261 if (osize == 'w' || osize == 'g')
262 val.size = osize;
263 else
264 /* Default it to giantword if the last used size is not
265 appropriate. */
266 val.size = osize ? 'g' : osize;
267 break;
268 case 'c':
269 /* Characters default to one byte. */
270 val.size = osize ? 'b' : osize;
271 break;
9a22f0d0 272 case 's':
3e43a32a
MS
273 /* Display strings with byte size chars unless explicitly
274 specified. */
9a22f0d0
PM
275 val.size = '\0';
276 break;
277
c906108c
SS
278 default:
279 /* The default is the size most recently specified. */
280 val.size = osize;
281 }
282
283 return val;
284}
285\f
79a45b7d 286/* Print value VAL on stream according to OPTIONS.
c906108c 287 Do not end with a newline.
c906108c 288 SIZE is the letter for the size of datum being printed.
ea37ba09
DJ
289 This is used to pad hex numbers so they line up. SIZE is 0
290 for print / output and set for examine. */
c906108c
SS
291
292static void
79a45b7d
TT
293print_formatted (struct value *val, int size,
294 const struct value_print_options *options,
fba45db2 295 struct ui_file *stream)
c906108c 296{
df407dfe 297 struct type *type = check_typedef (value_type (val));
c906108c
SS
298 int len = TYPE_LENGTH (type);
299
300 if (VALUE_LVAL (val) == lval_memory)
42ae5230 301 next_address = value_address (val) + len;
c906108c 302
ea37ba09 303 if (size)
c906108c 304 {
79a45b7d 305 switch (options->format)
ea37ba09
DJ
306 {
307 case 's':
6c7a06a3
TT
308 {
309 struct type *elttype = value_type (val);
ad3bbd48 310
42ae5230 311 next_address = (value_address (val)
09ca9e2e 312 + val_print_string (elttype, NULL,
42ae5230 313 value_address (val), -1,
9a22f0d0 314 stream, options) * len);
6c7a06a3 315 }
ea37ba09 316 return;
c906108c 317
ea37ba09
DJ
318 case 'i':
319 /* We often wrap here if there are long symbolic names. */
320 wrap_here (" ");
42ae5230 321 next_address = (value_address (val)
8ee511af 322 + gdb_print_insn (type->arch (),
13274fc3 323 value_address (val), stream,
ea37ba09
DJ
324 &branch_delay_insns));
325 return;
326 }
c906108c 327 }
ea37ba09 328
79a45b7d 329 if (options->format == 0 || options->format == 's'
3d87245c 330 || type->code () == TYPE_CODE_VOID
78134374
SM
331 || type->code () == TYPE_CODE_REF
332 || type->code () == TYPE_CODE_ARRAY
333 || type->code () == TYPE_CODE_STRING
334 || type->code () == TYPE_CODE_STRUCT
335 || type->code () == TYPE_CODE_UNION
336 || type->code () == TYPE_CODE_NAMESPACE)
79a45b7d 337 value_print (val, stream, options);
ea37ba09 338 else
b021a221
MS
339 /* User specified format, so don't look to the type to tell us
340 what to do. */
4dba70ee 341 value_print_scalar_formatted (val, options, size, stream);
c906108c
SS
342}
343
b806fb9a
UW
344/* Return builtin floating point type of same length as TYPE.
345 If no such type is found, return TYPE itself. */
346static struct type *
50810684 347float_type_from_length (struct type *type)
b806fb9a 348{
8ee511af 349 struct gdbarch *gdbarch = type->arch ();
b806fb9a 350 const struct builtin_type *builtin = builtin_type (gdbarch);
b806fb9a 351
744a8059 352 if (TYPE_LENGTH (type) == TYPE_LENGTH (builtin->builtin_float))
b806fb9a 353 type = builtin->builtin_float;
744a8059 354 else if (TYPE_LENGTH (type) == TYPE_LENGTH (builtin->builtin_double))
b806fb9a 355 type = builtin->builtin_double;
744a8059 356 else if (TYPE_LENGTH (type) == TYPE_LENGTH (builtin->builtin_long_double))
b806fb9a
UW
357 type = builtin->builtin_long_double;
358
359 return type;
360}
361
c906108c 362/* Print a scalar of data of type TYPE, pointed to in GDB by VALADDR,
ab2188aa
PA
363 according to OPTIONS and SIZE on STREAM. Formats s and i are not
364 supported at this level. */
c906108c
SS
365
366void
7c543f7b 367print_scalar_formatted (const gdb_byte *valaddr, struct type *type,
79a45b7d
TT
368 const struct value_print_options *options,
369 int size, struct ui_file *stream)
c906108c 370{
8ee511af 371 struct gdbarch *gdbarch = type->arch ();
c906108c 372 unsigned int len = TYPE_LENGTH (type);
34877895 373 enum bfd_endian byte_order = type_byte_order (type);
c906108c 374
ab2188aa
PA
375 /* String printing should go through val_print_scalar_formatted. */
376 gdb_assert (options->format != 's');
ea37ba09 377
ef166cf4 378 /* If the value is a pointer, and pointers and addresses are not the
d0aee0c4 379 same, then at this point, the value's length (in target bytes) is
17a912b6 380 gdbarch_addr_bit/TARGET_CHAR_BIT, not TYPE_LENGTH (type). */
78134374 381 if (type->code () == TYPE_CODE_PTR)
69feb676 382 len = gdbarch_addr_bit (gdbarch) / TARGET_CHAR_BIT;
ef166cf4 383
c906108c
SS
384 /* If we are printing it as unsigned, truncate it in case it is actually
385 a negative signed value (e.g. "print/u (short)-1" should print 65535
386 (if shorts are 16 bits) instead of 4294967295). */
d9109c80 387 if (options->format != 'c'
c6d940a9 388 && (options->format != 'd' || type->is_unsigned ()))
c906108c 389 {
d9109c80
TT
390 if (len < TYPE_LENGTH (type) && byte_order == BFD_ENDIAN_BIG)
391 valaddr += TYPE_LENGTH (type) - len;
c906108c
SS
392 }
393
20a5fcbd
TT
394 /* Allow LEN == 0, and in this case, don't assume that VALADDR is
395 valid. */
396 const gdb_byte zero = 0;
397 if (len == 0)
398 {
399 len = 1;
400 valaddr = &zero;
401 }
402
d9109c80 403 if (size != 0 && (options->format == 'x' || options->format == 't'))
c906108c 404 {
d9109c80
TT
405 /* Truncate to fit. */
406 unsigned newlen;
407 switch (size)
c906108c 408 {
d9109c80
TT
409 case 'b':
410 newlen = 1;
411 break;
412 case 'h':
413 newlen = 2;
414 break;
415 case 'w':
416 newlen = 4;
417 break;
418 case 'g':
419 newlen = 8;
420 break;
421 default:
422 error (_("Undefined output size \"%c\"."), size);
c906108c 423 }
d9109c80
TT
424 if (newlen < len && byte_order == BFD_ENDIAN_BIG)
425 valaddr += len - newlen;
426 len = newlen;
427 }
c906108c 428
d9109c80
TT
429 /* Historically gdb has printed floats by first casting them to a
430 long, and then printing the long. PR cli/16242 suggests changing
4e962e74
TT
431 this to using C-style hex float format.
432
20a5fcbd
TT
433 Biased range types and sub-word scalar types must also be handled
434 here; the value is correctly computed by unpack_long. */
4e962e74
TT
435 gdb::byte_vector converted_bytes;
436 /* Some cases below will unpack the value again. In the biased
437 range case, we want to avoid this, so we store the unpacked value
438 here for possible use later. */
439 gdb::optional<LONGEST> val_long;
b26daff9
JB
440 if (((type->code () == TYPE_CODE_FLT
441 || is_fixed_point_type (type))
4e962e74
TT
442 && (options->format == 'o'
443 || options->format == 'x'
444 || options->format == 't'
445 || options->format == 'z'
446 || options->format == 'd'
447 || options->format == 'u'))
20a5fcbd
TT
448 || (type->code () == TYPE_CODE_RANGE && type->bounds ()->bias != 0)
449 || type->bit_size_differs_p ())
d9109c80 450 {
4e962e74
TT
451 val_long.emplace (unpack_long (type, valaddr));
452 converted_bytes.resize (TYPE_LENGTH (type));
453 store_signed_integer (converted_bytes.data (), TYPE_LENGTH (type),
454 byte_order, *val_long);
455 valaddr = converted_bytes.data ();
d9109c80 456 }
c906108c 457
fdf0cbc2
UW
458 /* Printing a non-float type as 'f' will interpret the data as if it were
459 of a floating-point type of the same length, if that exists. Otherwise,
460 the data is printed as integer. */
461 char format = options->format;
78134374 462 if (format == 'f' && type->code () != TYPE_CODE_FLT)
fdf0cbc2
UW
463 {
464 type = float_type_from_length (type);
78134374 465 if (type->code () != TYPE_CODE_FLT)
dda83cd7 466 format = 0;
fdf0cbc2
UW
467 }
468
469 switch (format)
d9109c80
TT
470 {
471 case 'o':
472 print_octal_chars (stream, valaddr, len, byte_order);
473 break;
d6382fff
TT
474 case 'd':
475 print_decimal_chars (stream, valaddr, len, true, byte_order);
476 break;
c906108c 477 case 'u':
d9109c80 478 print_decimal_chars (stream, valaddr, len, false, byte_order);
c906108c 479 break;
d9109c80 480 case 0:
78134374 481 if (type->code () != TYPE_CODE_FLT)
d9109c80 482 {
c6d940a9 483 print_decimal_chars (stream, valaddr, len, !type->is_unsigned (),
d9109c80
TT
484 byte_order);
485 break;
486 }
487 /* FALLTHROUGH */
488 case 'f':
d9109c80 489 print_floating (valaddr, type, stream);
c906108c
SS
490 break;
491
d9109c80
TT
492 case 't':
493 print_binary_chars (stream, valaddr, len, byte_order, size > 0);
494 break;
495 case 'x':
496 print_hex_chars (stream, valaddr, len, byte_order, size > 0);
497 break;
498 case 'z':
499 print_hex_chars (stream, valaddr, len, byte_order, true);
c906108c 500 break;
c906108c 501 case 'c':
79a45b7d
TT
502 {
503 struct value_print_options opts = *options;
69feb676 504
4e962e74
TT
505 if (!val_long.has_value ())
506 val_long.emplace (unpack_long (type, valaddr));
d9109c80 507
ad3bbd48 508 opts.format = 0;
c6d940a9 509 if (type->is_unsigned ())
69feb676
UW
510 type = builtin_type (gdbarch)->builtin_true_unsigned_char;
511 else
512 type = builtin_type (gdbarch)->builtin_true_char;
513
4e962e74 514 value_print (value_from_longest (type, *val_long), stream, &opts);
79a45b7d 515 }
c906108c
SS
516 break;
517
d9109c80 518 case 'a':
c906108c 519 {
4e962e74
TT
520 if (!val_long.has_value ())
521 val_long.emplace (unpack_long (type, valaddr));
522 print_address (gdbarch, *val_long, stream);
c906108c
SS
523 }
524 break;
525
526 default:
fdf0cbc2 527 error (_("Undefined output format \"%c\"."), format);
c906108c
SS
528 }
529}
530
531/* Specify default address for `x' command.
675dcf4f 532 The `info lines' command uses this. */
c906108c
SS
533
534void
8b9b9e1a 535set_next_address (struct gdbarch *gdbarch, CORE_ADDR addr)
c906108c 536{
8b9b9e1a
UW
537 struct type *ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
538
5d3729b5 539 next_gdbarch = gdbarch;
c906108c
SS
540 next_address = addr;
541
542 /* Make address available to the user as $_. */
543 set_internalvar (lookup_internalvar ("_"),
8b9b9e1a 544 value_from_pointer (ptr_type, addr));
c906108c
SS
545}
546
547/* Optionally print address ADDR symbolically as <SYMBOL+OFFSET> on STREAM,
548 after LEADIN. Print nothing if no symbolic name is found nearby.
549 Optionally also print source file and line number, if available.
550 DO_DEMANGLE controls whether to print a symbol in its native "raw" form,
551 or to interpret it as a possible C++ name and convert it back to source
552 form. However note that DO_DEMANGLE can be overridden by the specific
9cb709b6
TT
553 settings of the demangle and asm_demangle variables. Returns
554 non-zero if anything was printed; zero otherwise. */
c906108c 555
9cb709b6 556int
22e722e1
DJ
557print_address_symbolic (struct gdbarch *gdbarch, CORE_ADDR addr,
558 struct ui_file *stream,
a121b7c1 559 int do_demangle, const char *leadin)
dfcd3bfb 560{
c7110220 561 std::string name, filename;
dfcd3bfb
JM
562 int unmapped = 0;
563 int offset = 0;
564 int line = 0;
565
2dc80cf8 566 if (build_address_symbolic (gdbarch, addr, do_demangle, false, &name,
dda83cd7 567 &offset, &filename, &line, &unmapped))
c7110220 568 return 0;
dfcd3bfb
JM
569
570 fputs_filtered (leadin, stream);
571 if (unmapped)
572 fputs_filtered ("<*", stream);
573 else
574 fputs_filtered ("<", stream);
af79b68d 575 fputs_styled (name.c_str (), function_name_style.style (), stream);
dfcd3bfb 576 if (offset != 0)
a1530dc7 577 fprintf_filtered (stream, "%+d", offset);
dfcd3bfb
JM
578
579 /* Append source filename and line number if desired. Give specific
580 line # of this addr, if we have it; else line # of the nearest symbol. */
c7110220 581 if (print_symbol_filename && !filename.empty ())
dfcd3bfb 582 {
af79b68d
TT
583 fputs_filtered (line == -1 ? " in " : " at ", stream);
584 fputs_styled (filename.c_str (), file_name_style.style (), stream);
dfcd3bfb 585 if (line != -1)
af79b68d 586 fprintf_filtered (stream, ":%d", line);
dfcd3bfb
JM
587 }
588 if (unmapped)
589 fputs_filtered ("*>", stream);
590 else
591 fputs_filtered (">", stream);
592
9cb709b6 593 return 1;
dfcd3bfb
JM
594}
595
c7110220
TT
596/* See valprint.h. */
597
dfcd3bfb 598int
22e722e1
DJ
599build_address_symbolic (struct gdbarch *gdbarch,
600 CORE_ADDR addr, /* IN */
2dc80cf8
KB
601 bool do_demangle, /* IN */
602 bool prefer_sym_over_minsym, /* IN */
c7110220 603 std::string *name, /* OUT */
dfcd3bfb 604 int *offset, /* OUT */
c7110220 605 std::string *filename, /* OUT */
dfcd3bfb
JM
606 int *line, /* OUT */
607 int *unmapped) /* OUT */
c906108c 608{
77e371c0 609 struct bound_minimal_symbol msymbol;
c906108c 610 struct symbol *symbol;
c906108c 611 CORE_ADDR name_location = 0;
714835d5 612 struct obj_section *section = NULL;
0d5cff50 613 const char *name_temp = "";
dfcd3bfb 614
89c83b10 615 /* Let's say it is mapped (not unmapped). */
dfcd3bfb 616 *unmapped = 0;
c906108c 617
dfcd3bfb 618 /* Determine if the address is in an overlay, and whether it is
675dcf4f 619 mapped. */
c906108c
SS
620 if (overlay_debugging)
621 {
622 section = find_pc_overlay (addr);
623 if (pc_in_unmapped_range (addr, section))
624 {
dfcd3bfb 625 *unmapped = 1;
c906108c
SS
626 addr = overlay_mapped_address (addr, section);
627 }
628 }
629
2dc80cf8
KB
630 /* Try to find the address in both the symbol table and the minsyms.
631 In most cases, we'll prefer to use the symbol instead of the
632 minsym. However, there are cases (see below) where we'll choose
633 to use the minsym instead. */
c906108c
SS
634
635 /* This is defective in the sense that it only finds text symbols. So
636 really this is kind of pointless--we should make sure that the
637 minimal symbols have everything we need (by changing that we could
638 save some memory, but for many debug format--ELF/DWARF or
639 anything/stabs--it would be inconvenient to eliminate those minimal
640 symbols anyway). */
77e371c0 641 msymbol = lookup_minimal_symbol_by_pc_section (addr, section);
c906108c
SS
642 symbol = find_pc_sect_function (addr, section);
643
644 if (symbol)
645 {
22e722e1
DJ
646 /* If this is a function (i.e. a code address), strip out any
647 non-address bits. For instance, display a pointer to the
648 first instruction of a Thumb function as <function>; the
649 second instruction will be <function+2>, even though the
650 pointer is <function+3>. This matches the ISA behavior. */
651 addr = gdbarch_addr_bits_remove (gdbarch, addr);
652
2b1ffcfd 653 name_location = BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (symbol));
406fc7fb 654 if (do_demangle || asm_demangle)
987012b8 655 name_temp = symbol->print_name ();
c906108c 656 else
987012b8 657 name_temp = symbol->linkage_name ();
c906108c
SS
658 }
659
77e371c0
TT
660 if (msymbol.minsym != NULL
661 && MSYMBOL_HAS_SIZE (msymbol.minsym)
662 && MSYMBOL_SIZE (msymbol.minsym) == 0
663 && MSYMBOL_TYPE (msymbol.minsym) != mst_text
664 && MSYMBOL_TYPE (msymbol.minsym) != mst_text_gnu_ifunc
665 && MSYMBOL_TYPE (msymbol.minsym) != mst_file_text)
666 msymbol.minsym = NULL;
9cb709b6 667
77e371c0 668 if (msymbol.minsym != NULL)
c906108c 669 {
2dc80cf8
KB
670 /* Use the minsym if no symbol is found.
671
672 Additionally, use the minsym instead of a (found) symbol if
673 the following conditions all hold:
674 1) The prefer_sym_over_minsym flag is false.
675 2) The minsym address is identical to that of the address under
676 consideration.
677 3) The symbol address is not identical to that of the address
678 under consideration. */
679 if (symbol == NULL ||
dda83cd7 680 (!prefer_sym_over_minsym
2dc80cf8
KB
681 && BMSYMBOL_VALUE_ADDRESS (msymbol) == addr
682 && name_location != addr))
c906108c 683 {
fe8400b4
WN
684 /* If this is a function (i.e. a code address), strip out any
685 non-address bits. For instance, display a pointer to the
686 first instruction of a Thumb function as <function>; the
687 second instruction will be <function+2>, even though the
688 pointer is <function+3>. This matches the ISA behavior. */
77e371c0
TT
689 if (MSYMBOL_TYPE (msymbol.minsym) == mst_text
690 || MSYMBOL_TYPE (msymbol.minsym) == mst_text_gnu_ifunc
691 || MSYMBOL_TYPE (msymbol.minsym) == mst_file_text
692 || MSYMBOL_TYPE (msymbol.minsym) == mst_solib_trampoline)
fe8400b4
WN
693 addr = gdbarch_addr_bits_remove (gdbarch, addr);
694
c906108c 695 symbol = 0;
77e371c0 696 name_location = BMSYMBOL_VALUE_ADDRESS (msymbol);
406fc7fb 697 if (do_demangle || asm_demangle)
c9d95fa3 698 name_temp = msymbol.minsym->print_name ();
c906108c 699 else
c9d95fa3 700 name_temp = msymbol.minsym->linkage_name ();
c906108c
SS
701 }
702 }
77e371c0 703 if (symbol == NULL && msymbol.minsym == NULL)
dfcd3bfb 704 return 1;
c906108c 705
c906108c
SS
706 /* If the nearest symbol is too far away, don't print anything symbolic. */
707
708 /* For when CORE_ADDR is larger than unsigned int, we do math in
709 CORE_ADDR. But when we detect unsigned wraparound in the
710 CORE_ADDR math, we ignore this test and print the offset,
711 because addr+max_symbolic_offset has wrapped through the end
712 of the address space back to the beginning, giving bogus comparison. */
713 if (addr > name_location + max_symbolic_offset
714 && name_location + max_symbolic_offset > name_location)
dfcd3bfb 715 return 1;
c906108c 716
a1530dc7 717 *offset = (LONGEST) addr - name_location;
dfcd3bfb 718
c7110220 719 *name = name_temp;
c906108c 720
c906108c
SS
721 if (print_symbol_filename)
722 {
723 struct symtab_and_line sal;
724
725 sal = find_pc_sect_line (addr, section, 0);
726
727 if (sal.symtab)
dfcd3bfb 728 {
c7110220 729 *filename = symtab_to_filename_for_display (sal.symtab);
dfcd3bfb
JM
730 *line = sal.line;
731 }
c906108c 732 }
dfcd3bfb 733 return 0;
c906108c
SS
734}
735
c906108c
SS
736
737/* Print address ADDR symbolically on STREAM.
738 First print it as a number. Then perhaps print
739 <SYMBOL + OFFSET> after the number. */
740
741void
5af949e3
UW
742print_address (struct gdbarch *gdbarch,
743 CORE_ADDR addr, struct ui_file *stream)
c906108c 744{
35fb8261 745 fputs_styled (paddress (gdbarch, addr), address_style.style (), stream);
22e722e1 746 print_address_symbolic (gdbarch, addr, stream, asm_demangle, " ");
c906108c
SS
747}
748
2b28d209
PP
749/* Return a prefix for instruction address:
750 "=> " for current instruction, else " ". */
751
752const char *
753pc_prefix (CORE_ADDR addr)
754{
755 if (has_stack_frames ())
756 {
757 struct frame_info *frame;
758 CORE_ADDR pc;
759
760 frame = get_selected_frame (NULL);
ce406537 761 if (get_frame_pc_if_available (frame, &pc) && pc == addr)
2b28d209
PP
762 return "=> ";
763 }
764 return " ";
765}
766
c906108c
SS
767/* Print address ADDR symbolically on STREAM. Parameter DEMANGLE
768 controls whether to print the symbolic name "raw" or demangled.
9cb709b6 769 Return non-zero if anything was printed; zero otherwise. */
c906108c 770
9cb709b6 771int
edf0c1b7
TT
772print_address_demangle (const struct value_print_options *opts,
773 struct gdbarch *gdbarch, CORE_ADDR addr,
5af949e3 774 struct ui_file *stream, int do_demangle)
c906108c 775{
1d51a733 776 if (opts->addressprint)
c906108c 777 {
35fb8261 778 fputs_styled (paddress (gdbarch, addr), address_style.style (), stream);
22e722e1 779 print_address_symbolic (gdbarch, addr, stream, do_demangle, " ");
c906108c
SS
780 }
781 else
782 {
9cb709b6 783 return print_address_symbolic (gdbarch, addr, stream, do_demangle, "");
c906108c 784 }
9cb709b6 785 return 1;
c906108c
SS
786}
787\f
788
bb556f1f
TK
789/* Find the address of the instruction that is INST_COUNT instructions before
790 the instruction at ADDR.
791 Since some architectures have variable-length instructions, we can't just
792 simply subtract INST_COUNT * INSN_LEN from ADDR. Instead, we use line
793 number information to locate the nearest known instruction boundary,
794 and disassemble forward from there. If we go out of the symbol range
795 during disassembling, we return the lowest address we've got so far and
796 set the number of instructions read to INST_READ. */
797
798static CORE_ADDR
799find_instruction_backward (struct gdbarch *gdbarch, CORE_ADDR addr,
dda83cd7 800 int inst_count, int *inst_read)
bb556f1f
TK
801{
802 /* The vector PCS is used to store instruction addresses within
803 a pc range. */
804 CORE_ADDR loop_start, loop_end, p;
52d214d3 805 std::vector<CORE_ADDR> pcs;
bb556f1f 806 struct symtab_and_line sal;
bb556f1f
TK
807
808 *inst_read = 0;
809 loop_start = loop_end = addr;
810
811 /* In each iteration of the outer loop, we get a pc range that ends before
812 LOOP_START, then we count and store every instruction address of the range
813 iterated in the loop.
814 If the number of instructions counted reaches INST_COUNT, return the
815 stored address that is located INST_COUNT instructions back from ADDR.
816 If INST_COUNT is not reached, we subtract the number of counted
817 instructions from INST_COUNT, and go to the next iteration. */
818 do
819 {
52d214d3 820 pcs.clear ();
bb556f1f
TK
821 sal = find_pc_sect_line (loop_start, NULL, 1);
822 if (sal.line <= 0)
dda83cd7
SM
823 {
824 /* We reach here when line info is not available. In this case,
825 we print a message and just exit the loop. The return value
826 is calculated after the loop. */
827 printf_filtered (_("No line number information available "
828 "for address "));
829 wrap_here (" ");
830 print_address (gdbarch, loop_start - 1, gdb_stdout);
831 printf_filtered ("\n");
832 break;
833 }
bb556f1f
TK
834
835 loop_end = loop_start;
836 loop_start = sal.pc;
837
838 /* This loop pushes instruction addresses in the range from
dda83cd7 839 LOOP_START to LOOP_END. */
bb556f1f 840 for (p = loop_start; p < loop_end;)
dda83cd7 841 {
52d214d3 842 pcs.push_back (p);
dda83cd7
SM
843 p += gdb_insn_length (gdbarch, p);
844 }
bb556f1f 845
52d214d3
TT
846 inst_count -= pcs.size ();
847 *inst_read += pcs.size ();
bb556f1f
TK
848 }
849 while (inst_count > 0);
850
851 /* After the loop, the vector PCS has instruction addresses of the last
852 source line we processed, and INST_COUNT has a negative value.
853 We return the address at the index of -INST_COUNT in the vector for
854 the reason below.
855 Let's assume the following instruction addresses and run 'x/-4i 0x400e'.
856 Line X of File
dda83cd7
SM
857 0x4000
858 0x4001
859 0x4005
bb556f1f 860 Line Y of File
dda83cd7
SM
861 0x4009
862 0x400c
bb556f1f 863 => 0x400e
dda83cd7 864 0x4011
bb556f1f
TK
865 find_instruction_backward is called with INST_COUNT = 4 and expected to
866 return 0x4001. When we reach here, INST_COUNT is set to -1 because
867 it was subtracted by 2 (from Line Y) and 3 (from Line X). The value
868 4001 is located at the index 1 of the last iterated line (= Line X),
869 which is simply calculated by -INST_COUNT.
870 The case when the length of PCS is 0 means that we reached an area for
871 which line info is not available. In such case, we return LOOP_START,
872 which was the lowest instruction address that had line info. */
52d214d3 873 p = pcs.size () > 0 ? pcs[-inst_count] : loop_start;
bb556f1f
TK
874
875 /* INST_READ includes all instruction addresses in a pc range. Need to
876 exclude the beginning part up to the address we're returning. That
877 is, exclude {0x4000} in the example above. */
878 if (inst_count < 0)
879 *inst_read += inst_count;
880
bb556f1f
TK
881 return p;
882}
883
884/* Backward read LEN bytes of target memory from address MEMADDR + LEN,
885 placing the results in GDB's memory from MYADDR + LEN. Returns
886 a count of the bytes actually read. */
887
888static int
889read_memory_backward (struct gdbarch *gdbarch,
dda83cd7 890 CORE_ADDR memaddr, gdb_byte *myaddr, int len)
bb556f1f
TK
891{
892 int errcode;
893 int nread; /* Number of bytes actually read. */
894
895 /* First try a complete read. */
896 errcode = target_read_memory (memaddr, myaddr, len);
897 if (errcode == 0)
898 {
899 /* Got it all. */
900 nread = len;
901 }
902 else
903 {
904 /* Loop, reading one byte at a time until we get as much as we can. */
905 memaddr += len;
906 myaddr += len;
907 for (nread = 0; nread < len; ++nread)
dda83cd7
SM
908 {
909 errcode = target_read_memory (--memaddr, --myaddr, 1);
910 if (errcode != 0)
911 {
912 /* The read was unsuccessful, so exit the loop. */
913 printf_filtered (_("Cannot access memory at address %s\n"),
914 paddress (gdbarch, memaddr));
915 break;
916 }
917 }
bb556f1f
TK
918 }
919 return nread;
920}
921
922/* Returns true if X (which is LEN bytes wide) is the number zero. */
923
924static int
925integer_is_zero (const gdb_byte *x, int len)
926{
927 int i = 0;
928
929 while (i < len && x[i] == 0)
930 ++i;
931 return (i == len);
932}
933
934/* Find the start address of a string in which ADDR is included.
935 Basically we search for '\0' and return the next address,
936 but if OPTIONS->PRINT_MAX is smaller than the length of a string,
937 we stop searching and return the address to print characters as many as
938 PRINT_MAX from the string. */
939
940static CORE_ADDR
941find_string_backward (struct gdbarch *gdbarch,
dda83cd7
SM
942 CORE_ADDR addr, int count, int char_size,
943 const struct value_print_options *options,
944 int *strings_counted)
bb556f1f
TK
945{
946 const int chunk_size = 0x20;
bb556f1f
TK
947 int read_error = 0;
948 int chars_read = 0;
949 int chars_to_read = chunk_size;
950 int chars_counted = 0;
951 int count_original = count;
952 CORE_ADDR string_start_addr = addr;
953
954 gdb_assert (char_size == 1 || char_size == 2 || char_size == 4);
26fcd5d7 955 gdb::byte_vector buffer (chars_to_read * char_size);
bb556f1f
TK
956 while (count > 0 && read_error == 0)
957 {
958 int i;
959
960 addr -= chars_to_read * char_size;
26fcd5d7 961 chars_read = read_memory_backward (gdbarch, addr, buffer.data (),
dda83cd7 962 chars_to_read * char_size);
bb556f1f
TK
963 chars_read /= char_size;
964 read_error = (chars_read == chars_to_read) ? 0 : 1;
965 /* Searching for '\0' from the end of buffer in backward direction. */
966 for (i = 0; i < chars_read && count > 0 ; ++i, ++chars_counted)
dda83cd7
SM
967 {
968 int offset = (chars_to_read - i - 1) * char_size;
969
970 if (integer_is_zero (&buffer[offset], char_size)
971 || chars_counted == options->print_max)
972 {
973 /* Found '\0' or reached print_max. As OFFSET is the offset to
974 '\0', we add CHAR_SIZE to return the start address of
975 a string. */
976 --count;
977 string_start_addr = addr + offset + char_size;
978 chars_counted = 0;
979 }
980 }
bb556f1f
TK
981 }
982
983 /* Update STRINGS_COUNTED with the actual number of loaded strings. */
984 *strings_counted = count_original - count;
985
986 if (read_error != 0)
987 {
988 /* In error case, STRING_START_ADDR is pointing to the string that
dda83cd7 989 was last successfully loaded. Rewind the partially loaded string. */
bb556f1f
TK
990 string_start_addr -= chars_counted * char_size;
991 }
992
bb556f1f
TK
993 return string_start_addr;
994}
995
c906108c
SS
996/* Examine data at address ADDR in format FMT.
997 Fetch it from memory and print on gdb_stdout. */
998
999static void
5d3729b5 1000do_examine (struct format_data fmt, struct gdbarch *gdbarch, CORE_ADDR addr)
c906108c 1001{
52f0bd74
AC
1002 char format = 0;
1003 char size;
1004 int count = 1;
c906108c 1005 struct type *val_type = NULL;
52f0bd74
AC
1006 int i;
1007 int maxelts;
79a45b7d 1008 struct value_print_options opts;
bb556f1f
TK
1009 int need_to_update_next_address = 0;
1010 CORE_ADDR addr_rewound = 0;
c906108c
SS
1011
1012 format = fmt.format;
1013 size = fmt.size;
1014 count = fmt.count;
5d3729b5 1015 next_gdbarch = gdbarch;
c906108c 1016 next_address = addr;
c906108c 1017
9a22f0d0
PM
1018 /* Instruction format implies fetch single bytes
1019 regardless of the specified size.
1020 The case of strings is handled in decode_format, only explicit
1021 size operator are not changed to 'b'. */
1022 if (format == 'i')
c906108c
SS
1023 size = 'b';
1024
5d3729b5
UW
1025 if (size == 'a')
1026 {
1027 /* Pick the appropriate size for an address. */
1028 if (gdbarch_ptr_bit (next_gdbarch) == 64)
1029 size = 'g';
1030 else if (gdbarch_ptr_bit (next_gdbarch) == 32)
1031 size = 'w';
1032 else if (gdbarch_ptr_bit (next_gdbarch) == 16)
1033 size = 'h';
1034 else
1035 /* Bad value for gdbarch_ptr_bit. */
1036 internal_error (__FILE__, __LINE__,
1037 _("failed internal consistency check"));
1038 }
1039
1040 if (size == 'b')
df4df182 1041 val_type = builtin_type (next_gdbarch)->builtin_int8;
c906108c 1042 else if (size == 'h')
df4df182 1043 val_type = builtin_type (next_gdbarch)->builtin_int16;
c906108c 1044 else if (size == 'w')
df4df182 1045 val_type = builtin_type (next_gdbarch)->builtin_int32;
c906108c 1046 else if (size == 'g')
df4df182 1047 val_type = builtin_type (next_gdbarch)->builtin_int64;
c906108c 1048
9a22f0d0
PM
1049 if (format == 's')
1050 {
1051 struct type *char_type = NULL;
ad3bbd48 1052
9a22f0d0
PM
1053 /* Search for "char16_t" or "char32_t" types or fall back to 8-bit char
1054 if type is not found. */
1055 if (size == 'h')
1056 char_type = builtin_type (next_gdbarch)->builtin_char16;
1057 else if (size == 'w')
1058 char_type = builtin_type (next_gdbarch)->builtin_char32;
1059 if (char_type)
dda83cd7 1060 val_type = char_type;
9a22f0d0 1061 else
dda83cd7 1062 {
9a22f0d0 1063 if (size != '\0' && size != 'b')
0df8b418
MS
1064 warning (_("Unable to display strings with "
1065 "size '%c', using 'b' instead."), size);
9a22f0d0
PM
1066 size = 'b';
1067 val_type = builtin_type (next_gdbarch)->builtin_int8;
dda83cd7 1068 }
9a22f0d0
PM
1069 }
1070
c906108c
SS
1071 maxelts = 8;
1072 if (size == 'w')
1073 maxelts = 4;
1074 if (size == 'g')
1075 maxelts = 2;
1076 if (format == 's' || format == 'i')
1077 maxelts = 1;
1078
79a45b7d
TT
1079 get_formatted_print_options (&opts, format);
1080
bb556f1f
TK
1081 if (count < 0)
1082 {
1083 /* This is the negative repeat count case.
dda83cd7
SM
1084 We rewind the address based on the given repeat count and format,
1085 then examine memory from there in forward direction. */
bb556f1f
TK
1086
1087 count = -count;
1088 if (format == 'i')
dda83cd7
SM
1089 {
1090 next_address = find_instruction_backward (gdbarch, addr, count,
1091 &count);
1092 }
bb556f1f 1093 else if (format == 's')
dda83cd7
SM
1094 {
1095 next_address = find_string_backward (gdbarch, addr, count,
1096 TYPE_LENGTH (val_type),
1097 &opts, &count);
1098 }
bb556f1f 1099 else
dda83cd7
SM
1100 {
1101 next_address = addr - count * TYPE_LENGTH (val_type);
1102 }
bb556f1f
TK
1103
1104 /* The following call to print_formatted updates next_address in every
dda83cd7
SM
1105 iteration. In backward case, we store the start address here
1106 and update next_address with it before exiting the function. */
bb556f1f 1107 addr_rewound = (format == 's'
dda83cd7
SM
1108 ? next_address - TYPE_LENGTH (val_type)
1109 : next_address);
bb556f1f
TK
1110 need_to_update_next_address = 1;
1111 }
1112
bef382e6
LM
1113 /* Whether we need to print the memory tag information for the current
1114 address range. */
1115 bool print_range_tag = true;
1116 uint32_t gsize = gdbarch_memtag_granule_size (gdbarch);
1117
c906108c
SS
1118 /* Print as many objects as specified in COUNT, at most maxelts per line,
1119 with the address of the next one at the start of each line. */
1120
1121 while (count > 0)
1122 {
1123 QUIT;
bef382e6
LM
1124
1125 CORE_ADDR tag_laddr = 0, tag_haddr = 0;
1126
1127 /* Print the memory tag information if requested. */
1128 if (fmt.print_tags && print_range_tag
1129 && target_supports_memory_tagging ())
1130 {
1131 tag_laddr = align_down (next_address, gsize);
1132 tag_haddr = align_down (next_address + gsize, gsize);
1133
1134 struct value *v_addr
1135 = value_from_ulongest (builtin_type (gdbarch)->builtin_data_ptr,
1136 tag_laddr);
1137
1138 if (gdbarch_tagged_address_p (target_gdbarch (), v_addr))
1139 {
1140 /* Fetch the allocation tag. */
1141 struct value *tag
1142 = gdbarch_get_memtag (gdbarch, v_addr, memtag_type::allocation);
1143 std::string atag
1144 = gdbarch_memtag_to_string (gdbarch, tag);
1145
1146 if (!atag.empty ())
1147 {
1148 printf_filtered (_("<Allocation Tag %s for range [%s,%s)>\n"),
1149 atag.c_str (),
1150 paddress (gdbarch, tag_laddr),
1151 paddress (gdbarch, tag_haddr));
1152 }
1153 }
1154 print_range_tag = false;
1155 }
1156
2b28d209
PP
1157 if (format == 'i')
1158 fputs_filtered (pc_prefix (next_address), gdb_stdout);
5af949e3 1159 print_address (next_gdbarch, next_address, gdb_stdout);
c906108c
SS
1160 printf_filtered (":");
1161 for (i = maxelts;
1162 i > 0 && count > 0;
1163 i--, count--)
1164 {
1165 printf_filtered ("\t");
1166 /* Note that print_formatted sets next_address for the next
1167 object. */
1168 last_examine_address = next_address;
1169
c906108c 1170 /* The value to be displayed is not fetched greedily.
5d51a2db
MR
1171 Instead, to avoid the possibility of a fetched value not
1172 being used, its retrieval is delayed until the print code
c5aa993b
JM
1173 uses it. When examining an instruction stream, the
1174 disassembler will perform its own memory fetch using just
1175 the address stored in LAST_EXAMINE_VALUE. FIXME: Should
1176 the disassembler be modified so that LAST_EXAMINE_VALUE
1177 is left with the byte sequence from the last complete
0df8b418 1178 instruction fetched from memory? */
9b558729
TT
1179 last_examine_value
1180 = release_value (value_at_lazy (val_type, next_address));
c906108c 1181
9b558729 1182 print_formatted (last_examine_value.get (), size, &opts, gdb_stdout);
a4642986
MR
1183
1184 /* Display any branch delay slots following the final insn. */
1185 if (format == 'i' && count == 1)
1186 count += branch_delay_insns;
bef382e6
LM
1187
1188 /* Update the tag range based on the current address being
1189 processed. */
1190 if (tag_haddr <= next_address)
1191 print_range_tag = true;
c906108c
SS
1192 }
1193 printf_filtered ("\n");
c906108c 1194 }
bb556f1f
TK
1195
1196 if (need_to_update_next_address)
1197 next_address = addr_rewound;
c906108c
SS
1198}
1199\f
1200static void
8d89f51a 1201validate_format (struct format_data fmt, const char *cmdname)
c906108c
SS
1202{
1203 if (fmt.size != 0)
8a3fe4f8 1204 error (_("Size letters are meaningless in \"%s\" command."), cmdname);
c906108c 1205 if (fmt.count != 1)
8a3fe4f8 1206 error (_("Item count other than 1 is meaningless in \"%s\" command."),
c906108c 1207 cmdname);
ea37ba09 1208 if (fmt.format == 'i')
8a3fe4f8 1209 error (_("Format letter \"%c\" is meaningless in \"%s\" command."),
c906108c
SS
1210 fmt.format, cmdname);
1211}
1212
7d8062de 1213/* Parse print command format string into *OPTS and update *EXPP.
1c88ceb1
JK
1214 CMDNAME should name the current command. */
1215
1216void
1217print_command_parse_format (const char **expp, const char *cmdname,
7d8062de 1218 value_print_options *opts)
1c88ceb1
JK
1219{
1220 const char *exp = *expp;
1221
d8edc8b7
PW
1222 /* opts->raw value might already have been set by 'set print raw-values'
1223 or by using 'print -raw-values'.
1224 So, do not set opts->raw to 0, only set it to 1 if /r is given. */
1c88ceb1
JK
1225 if (exp && *exp == '/')
1226 {
7d8062de
PA
1227 format_data fmt;
1228
1c88ceb1 1229 exp++;
7d8062de
PA
1230 fmt = decode_format (&exp, last_format, 0);
1231 validate_format (fmt, cmdname);
1232 last_format = fmt.format;
1233
1234 opts->format = fmt.format;
d8edc8b7 1235 opts->raw = opts->raw || fmt.raw;
1c88ceb1
JK
1236 }
1237 else
1238 {
7d8062de 1239 opts->format = 0;
1c88ceb1
JK
1240 }
1241
1242 *expp = exp;
1243}
1244
7d8062de 1245/* See valprint.h. */
1c88ceb1
JK
1246
1247void
7d8062de 1248print_value (value *val, const value_print_options &opts)
1c88ceb1 1249{
1c88ceb1
JK
1250 int histindex = record_latest_value (val);
1251
1252 annotate_value_history_begin (histindex, value_type (val));
1253
1254 printf_filtered ("$%d = ", histindex);
1255
1256 annotate_value_history_value ();
1257
7d8062de 1258 print_formatted (val, 0, &opts, gdb_stdout);
1c88ceb1
JK
1259 printf_filtered ("\n");
1260
1261 annotate_value_history_end ();
1262}
1263
bef382e6
LM
1264/* Returns true if memory tags should be validated. False otherwise. */
1265
1266static bool
1267should_validate_memtags (struct value *value)
1268{
1269 if (target_supports_memory_tagging ()
1270 && gdbarch_tagged_address_p (target_gdbarch (), value))
1271 {
1272 gdb_assert (value != nullptr && value_type (value) != nullptr);
1273
1274 enum type_code code = value_type (value)->code ();
1275
1276 return (code == TYPE_CODE_PTR
1277 || code == TYPE_CODE_REF
1278 || code == TYPE_CODE_METHODPTR
1279 || code == TYPE_CODE_MEMBERPTR);
1280 }
1281 return false;
1282}
1283
48136e00 1284/* Helper for parsing arguments for print_command_1. */
c906108c 1285
48136e00
LM
1286static struct value *
1287process_print_command_args (const char *args, value_print_options *print_opts,
1288 bool voidprint)
c906108c 1289{
48136e00 1290 get_user_print_options (print_opts);
7d8062de 1291 /* Override global settings with explicit options, if any. */
48136e00 1292 auto group = make_value_print_options_def_group (print_opts);
7d8062de
PA
1293 gdb::option::process_options
1294 (&args, gdb::option::PROCESS_OPTIONS_REQUIRE_DELIMITER, group);
1295
48136e00 1296 print_command_parse_format (&args, "print", print_opts);
c906108c 1297
7d8062de 1298 const char *exp = args;
c906108c 1299
7d8062de 1300 if (exp != nullptr && *exp)
c906108c 1301 {
8fc48b79
TT
1302 /* VOIDPRINT is true to indicate that we do want to print a void
1303 value, so invert it for parse_expression. */
1304 expression_up expr = parse_expression (exp, nullptr, !voidprint);
48136e00 1305 return evaluate_expression (expr.get ());
c906108c 1306 }
48136e00
LM
1307
1308 return access_value_history (0);
1309}
1310
1311/* Implementation of the "print" and "call" commands. */
1312
1313static void
1314print_command_1 (const char *args, int voidprint)
1315{
1316 value_print_options print_opts;
1317
1318 struct value *val = process_print_command_args (args, &print_opts, voidprint);
c906108c 1319
df407dfe 1320 if (voidprint || (val && value_type (val) &&
78134374 1321 value_type (val)->code () != TYPE_CODE_VOID))
bef382e6
LM
1322 {
1323 /* If memory tagging validation is on, check if the tag is valid. */
1324 if (print_opts.memory_tag_violations && should_validate_memtags (val)
1325 && !gdbarch_memtag_matches_p (target_gdbarch (), val))
1326 {
1327 /* Fetch the logical tag. */
1328 struct value *tag
1329 = gdbarch_get_memtag (target_gdbarch (), val,
1330 memtag_type::logical);
1331 std::string ltag
1332 = gdbarch_memtag_to_string (target_gdbarch (), tag);
1333
1334 /* Fetch the allocation tag. */
1335 tag = gdbarch_get_memtag (target_gdbarch (), val,
1336 memtag_type::allocation);
1337 std::string atag
1338 = gdbarch_memtag_to_string (target_gdbarch (), tag);
1339
1340 printf_filtered (_("Logical tag (%s) does not match the "
1341 "allocation tag (%s).\n"),
1342 ltag.c_str (), atag.c_str ());
1343 }
1344 print_value (val, print_opts);
1345 }
7d8062de
PA
1346}
1347
037d7135
AB
1348/* Called from command completion function to skip over /FMT
1349 specifications, allowing the rest of the line to be completed. Returns
1350 true if the /FMT is at the end of the current line and there is nothing
1351 left to complete, otherwise false is returned.
1352
1353 In either case *ARGS can be updated to point after any part of /FMT that
1354 is present.
1355
1356 This function is designed so that trying to complete '/' will offer no
1357 completions, the user needs to insert the format specification
1358 themselves. Trying to complete '/FMT' (where FMT is any non-empty set
1359 of alpha-numeric characters) will cause readline to insert a single
1360 space, setting the user up to enter the expression. */
1361
1362static bool
1363skip_over_slash_fmt (completion_tracker &tracker, const char **args)
1364{
1365 const char *text = *args;
1366
1367 if (text[0] == '/')
1368 {
1369 bool in_fmt;
1370 tracker.set_use_custom_word_point (true);
1371
3df8c6af 1372 if (text[1] == '\0')
037d7135 1373 {
3df8c6af
AB
1374 /* The user tried to complete after typing just the '/' character
1375 of the /FMT string. Step the completer past the '/', but we
1376 don't offer any completions. */
1377 in_fmt = true;
1378 ++text;
1379 }
1380 else
1381 {
1382 /* The user has typed some characters after the '/', we assume
1383 this is a complete /FMT string, first skip over it. */
b3ff61f8 1384 text = skip_to_space (text);
037d7135
AB
1385
1386 if (*text == '\0')
1387 {
3df8c6af
AB
1388 /* We're at the end of the input string. The user has typed
1389 '/FMT' and asked for a completion. Push an empty
1390 completion string, this will cause readline to insert a
1391 space so the user now has '/FMT '. */
037d7135
AB
1392 in_fmt = true;
1393 tracker.add_completion (make_unique_xstrdup (text));
1394 }
1395 else
1396 {
3df8c6af
AB
1397 /* The user has already typed things after the /FMT, skip the
1398 whitespace and return false. Whoever called this function
1399 should then try to complete what comes next. */
037d7135 1400 in_fmt = false;
b3ff61f8 1401 text = skip_spaces (text);
037d7135
AB
1402 }
1403 }
037d7135
AB
1404
1405 tracker.advance_custom_word_point_by (text - *args);
1406 *args = text;
1407 return in_fmt;
1408 }
1409
1410 return false;
1411}
1412
7d8062de
PA
1413/* See valprint.h. */
1414
1415void
1416print_command_completer (struct cmd_list_element *ignore,
1417 completion_tracker &tracker,
1418 const char *text, const char * /*word*/)
1419{
1420 const auto group = make_value_print_options_def_group (nullptr);
1421 if (gdb::option::complete_options
1422 (tracker, &text, gdb::option::PROCESS_OPTIONS_REQUIRE_DELIMITER, group))
1423 return;
1424
037d7135
AB
1425 if (skip_over_slash_fmt (tracker, &text))
1426 return;
1427
7d8062de
PA
1428 const char *word = advance_to_expression_complete_word_point (tracker, text);
1429 expression_completer (ignore, tracker, text, word);
c906108c
SS
1430}
1431
c906108c 1432static void
0b39b52e 1433print_command (const char *exp, int from_tty)
c906108c 1434{
8fc48b79 1435 print_command_1 (exp, true);
c906108c
SS
1436}
1437
675dcf4f 1438/* Same as print, except it doesn't print void results. */
c906108c 1439static void
0b39b52e 1440call_command (const char *exp, int from_tty)
c906108c 1441{
8fc48b79 1442 print_command_1 (exp, false);
c906108c
SS
1443}
1444
6f937416
PA
1445/* Implementation of the "output" command. */
1446
6f937416 1447void
122b53ea 1448output_command (const char *exp, int from_tty)
c906108c 1449{
52f0bd74 1450 char format = 0;
3d6d86c6 1451 struct value *val;
c906108c 1452 struct format_data fmt;
79a45b7d 1453 struct value_print_options opts;
c906108c 1454
777ea8f1 1455 fmt.size = 0;
a6bac58e 1456 fmt.raw = 0;
777ea8f1 1457
c906108c
SS
1458 if (exp && *exp == '/')
1459 {
1460 exp++;
1461 fmt = decode_format (&exp, 0, 0);
1462 validate_format (fmt, "output");
1463 format = fmt.format;
1464 }
1465
4d01a485 1466 expression_up expr = parse_expression (exp);
c906108c 1467
4d01a485 1468 val = evaluate_expression (expr.get ());
c906108c 1469
df407dfe 1470 annotate_value_begin (value_type (val));
c906108c 1471
79a45b7d 1472 get_formatted_print_options (&opts, format);
a6bac58e 1473 opts.raw = fmt.raw;
79a45b7d 1474 print_formatted (val, fmt.size, &opts, gdb_stdout);
c906108c
SS
1475
1476 annotate_value_end ();
1477
2acceee2
JM
1478 wrap_here ("");
1479 gdb_flush (gdb_stdout);
c906108c
SS
1480}
1481
c906108c 1482static void
981a3fb3 1483set_command (const char *exp, int from_tty)
c906108c 1484{
4d01a485 1485 expression_up expr = parse_expression (exp);
ad3bbd48 1486
3dd93bf8
TT
1487 switch (expr->op->opcode ())
1488 {
1489 case UNOP_PREINCREMENT:
1490 case UNOP_POSTINCREMENT:
1491 case UNOP_PREDECREMENT:
1492 case UNOP_POSTDECREMENT:
1493 case BINOP_ASSIGN:
1494 case BINOP_ASSIGN_MODIFY:
1495 case BINOP_COMMA:
1496 break;
1497 default:
1498 warning
1499 (_("Expression is not an assignment (and might have no effect)"));
1500 }
52b3699b 1501
4d01a485 1502 evaluate_expression (expr.get ());
c906108c
SS
1503}
1504
c906108c 1505static void
1d12d88f 1506info_symbol_command (const char *arg, int from_tty)
c906108c
SS
1507{
1508 struct minimal_symbol *msymbol;
c5aa993b 1509 struct obj_section *osect;
c5aa993b
JM
1510 CORE_ADDR addr, sect_addr;
1511 int matches = 0;
1512 unsigned int offset;
c906108c
SS
1513
1514 if (!arg)
e2e0b3e5 1515 error_no_arg (_("address"));
c906108c
SS
1516
1517 addr = parse_and_eval_address (arg);
2030c079 1518 for (objfile *objfile : current_program_space->objfiles ())
3b9d3ac2 1519 ALL_OBJFILE_OSECTIONS (objfile, osect)
c5aa993b 1520 {
3b9d3ac2
TT
1521 /* Only process each object file once, even if there's a separate
1522 debug file. */
1523 if (objfile->separate_debug_objfile_backlink)
1524 continue;
1525
1526 sect_addr = overlay_mapped_address (addr, osect);
1527
1528 if (obj_section_addr (osect) <= sect_addr
1529 && sect_addr < obj_section_endaddr (osect)
1530 && (msymbol
1531 = lookup_minimal_symbol_by_pc_section (sect_addr,
1532 osect).minsym))
5178ed48 1533 {
3b9d3ac2
TT
1534 const char *obj_name, *mapped, *sec_name, *msym_name;
1535 const char *loc_string;
1536
1537 matches = 1;
1538 offset = sect_addr - MSYMBOL_VALUE_ADDRESS (objfile, msymbol);
1539 mapped = section_is_mapped (osect) ? _("mapped") : _("unmapped");
1540 sec_name = osect->the_bfd_section->name;
c9d95fa3 1541 msym_name = msymbol->print_name ();
3b9d3ac2
TT
1542
1543 /* Don't print the offset if it is zero.
1544 We assume there's no need to handle i18n of "sym + offset". */
1545 std::string string_holder;
1546 if (offset)
1547 {
1548 string_holder = string_printf ("%s + %u", msym_name, offset);
1549 loc_string = string_holder.c_str ();
1550 }
c14c28ba 1551 else
3b9d3ac2
TT
1552 loc_string = msym_name;
1553
1554 gdb_assert (osect->objfile && objfile_name (osect->objfile));
1555 obj_name = objfile_name (osect->objfile);
1556
deeafabb 1557 if (current_program_space->multi_objfile_p ())
3b9d3ac2
TT
1558 if (pc_in_unmapped_range (addr, osect))
1559 if (section_is_overlay (osect))
1560 printf_filtered (_("%s in load address range of "
1561 "%s overlay section %s of %s\n"),
1562 loc_string, mapped, sec_name, obj_name);
1563 else
1564 printf_filtered (_("%s in load address range of "
1565 "section %s of %s\n"),
1566 loc_string, sec_name, obj_name);
1567 else
1568 if (section_is_overlay (osect))
1569 printf_filtered (_("%s in %s overlay section %s of %s\n"),
1570 loc_string, mapped, sec_name, obj_name);
1571 else
1572 printf_filtered (_("%s in section %s of %s\n"),
1573 loc_string, sec_name, obj_name);
c14c28ba 1574 else
3b9d3ac2
TT
1575 if (pc_in_unmapped_range (addr, osect))
1576 if (section_is_overlay (osect))
1577 printf_filtered (_("%s in load address range of %s overlay "
1578 "section %s\n"),
1579 loc_string, mapped, sec_name);
1580 else
1581 printf_filtered
1582 (_("%s in load address range of section %s\n"),
1583 loc_string, sec_name);
1584 else
1585 if (section_is_overlay (osect))
1586 printf_filtered (_("%s in %s overlay section %s\n"),
1587 loc_string, mapped, sec_name);
1588 else
1589 printf_filtered (_("%s in section %s\n"),
1590 loc_string, sec_name);
1591 }
c5aa993b 1592 }
c906108c 1593 if (matches == 0)
a3f17187 1594 printf_filtered (_("No symbol matches %s.\n"), arg);
c906108c
SS
1595}
1596
c906108c 1597static void
1d12d88f 1598info_address_command (const char *exp, int from_tty)
c906108c 1599{
768a979c
UW
1600 struct gdbarch *gdbarch;
1601 int regno;
52f0bd74 1602 struct symbol *sym;
7c7b6655 1603 struct bound_minimal_symbol msymbol;
52f0bd74 1604 long val;
714835d5 1605 struct obj_section *section;
08922a10 1606 CORE_ADDR load_addr, context_pc = 0;
1993b719 1607 struct field_of_this_result is_a_field_of_this;
c906108c
SS
1608
1609 if (exp == 0)
8a3fe4f8 1610 error (_("Argument required."));
c906108c 1611
08922a10 1612 sym = lookup_symbol (exp, get_selected_block (&context_pc), VAR_DOMAIN,
d12307c1 1613 &is_a_field_of_this).symbol;
c906108c
SS
1614 if (sym == NULL)
1615 {
1993b719 1616 if (is_a_field_of_this.type != NULL)
c906108c
SS
1617 {
1618 printf_filtered ("Symbol \"");
1619 fprintf_symbol_filtered (gdb_stdout, exp,
1620 current_language->la_language, DMGL_ANSI);
e2b23ee9
AF
1621 printf_filtered ("\" is a field of the local class variable ");
1622 if (current_language->la_language == language_objc)
2625d86c 1623 printf_filtered ("`self'\n"); /* ObjC equivalent of "this" */
e2b23ee9 1624 else
2625d86c 1625 printf_filtered ("`this'\n");
c906108c
SS
1626 return;
1627 }
1628
7c7b6655 1629 msymbol = lookup_bound_minimal_symbol (exp);
c906108c 1630
7c7b6655 1631 if (msymbol.minsym != NULL)
c906108c 1632 {
7c7b6655 1633 struct objfile *objfile = msymbol.objfile;
e27d198c 1634
08feed99 1635 gdbarch = objfile->arch ();
77e371c0 1636 load_addr = BMSYMBOL_VALUE_ADDRESS (msymbol);
c906108c
SS
1637
1638 printf_filtered ("Symbol \"");
1639 fprintf_symbol_filtered (gdb_stdout, exp,
1640 current_language->la_language, DMGL_ANSI);
1641 printf_filtered ("\" is at ");
35fb8261
TT
1642 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1643 gdb_stdout);
c906108c 1644 printf_filtered (" in a file compiled without debugging");
ebbc3a7d 1645 section = msymbol.minsym->obj_section (objfile);
c906108c
SS
1646 if (section_is_overlay (section))
1647 {
1648 load_addr = overlay_unmapped_address (load_addr, section);
1649 printf_filtered (",\n -- loaded at ");
35fb8261
TT
1650 fputs_styled (paddress (gdbarch, load_addr),
1651 address_style.style (),
1652 gdb_stdout);
714835d5
UW
1653 printf_filtered (" in overlay section %s",
1654 section->the_bfd_section->name);
c906108c
SS
1655 }
1656 printf_filtered (".\n");
1657 }
1658 else
8a3fe4f8 1659 error (_("No symbol \"%s\" in current context."), exp);
c906108c
SS
1660 return;
1661 }
1662
1663 printf_filtered ("Symbol \"");
987012b8 1664 fprintf_symbol_filtered (gdb_stdout, sym->print_name (),
c906108c
SS
1665 current_language->la_language, DMGL_ANSI);
1666 printf_filtered ("\" is ");
c5aa993b 1667 val = SYMBOL_VALUE (sym);
1994afbf 1668 if (SYMBOL_OBJFILE_OWNED (sym))
ebbc3a7d 1669 section = sym->obj_section (symbol_objfile (sym));
1994afbf
DE
1670 else
1671 section = NULL;
08be3fe3 1672 gdbarch = symbol_arch (sym);
c906108c 1673
24d6c2a0
TT
1674 if (SYMBOL_COMPUTED_OPS (sym) != NULL)
1675 {
1676 SYMBOL_COMPUTED_OPS (sym)->describe_location (sym, context_pc,
1677 gdb_stdout);
1678 printf_filtered (".\n");
1679 return;
1680 }
1681
c906108c
SS
1682 switch (SYMBOL_CLASS (sym))
1683 {
1684 case LOC_CONST:
1685 case LOC_CONST_BYTES:
1686 printf_filtered ("constant");
1687 break;
1688
1689 case LOC_LABEL:
1690 printf_filtered ("a label at address ");
5af949e3 1691 load_addr = SYMBOL_VALUE_ADDRESS (sym);
35fb8261
TT
1692 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1693 gdb_stdout);
c906108c
SS
1694 if (section_is_overlay (section))
1695 {
1696 load_addr = overlay_unmapped_address (load_addr, section);
1697 printf_filtered (",\n -- loaded at ");
35fb8261
TT
1698 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1699 gdb_stdout);
714835d5
UW
1700 printf_filtered (" in overlay section %s",
1701 section->the_bfd_section->name);
c906108c
SS
1702 }
1703 break;
1704
4c2df51b 1705 case LOC_COMPUTED:
24d6c2a0 1706 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
4c2df51b 1707
c906108c 1708 case LOC_REGISTER:
768a979c
UW
1709 /* GDBARCH is the architecture associated with the objfile the symbol
1710 is defined in; the target architecture may be different, and may
1711 provide additional registers. However, we do not know the target
1712 architecture at this point. We assume the objfile architecture
1713 will contain all the standard registers that occur in debug info
1714 in that objfile. */
1715 regno = SYMBOL_REGISTER_OPS (sym)->register_number (sym, gdbarch);
1716
2a2d4dc3
AS
1717 if (SYMBOL_IS_ARGUMENT (sym))
1718 printf_filtered (_("an argument in register %s"),
768a979c 1719 gdbarch_register_name (gdbarch, regno));
2a2d4dc3
AS
1720 else
1721 printf_filtered (_("a variable in register %s"),
768a979c 1722 gdbarch_register_name (gdbarch, regno));
c906108c
SS
1723 break;
1724
1725 case LOC_STATIC:
a3f17187 1726 printf_filtered (_("static storage at address "));
5af949e3 1727 load_addr = SYMBOL_VALUE_ADDRESS (sym);
35fb8261
TT
1728 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1729 gdb_stdout);
c906108c
SS
1730 if (section_is_overlay (section))
1731 {
1732 load_addr = overlay_unmapped_address (load_addr, section);
a3f17187 1733 printf_filtered (_(",\n -- loaded at "));
35fb8261
TT
1734 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1735 gdb_stdout);
714835d5
UW
1736 printf_filtered (_(" in overlay section %s"),
1737 section->the_bfd_section->name);
c906108c
SS
1738 }
1739 break;
1740
c906108c 1741 case LOC_REGPARM_ADDR:
768a979c
UW
1742 /* Note comment at LOC_REGISTER. */
1743 regno = SYMBOL_REGISTER_OPS (sym)->register_number (sym, gdbarch);
675dcf4f 1744 printf_filtered (_("address of an argument in register %s"),
768a979c 1745 gdbarch_register_name (gdbarch, regno));
c906108c
SS
1746 break;
1747
1748 case LOC_ARG:
a3f17187 1749 printf_filtered (_("an argument at offset %ld"), val);
c906108c
SS
1750 break;
1751
c906108c 1752 case LOC_LOCAL:
a3f17187 1753 printf_filtered (_("a local variable at frame offset %ld"), val);
c906108c
SS
1754 break;
1755
1756 case LOC_REF_ARG:
a3f17187 1757 printf_filtered (_("a reference argument at offset %ld"), val);
c906108c
SS
1758 break;
1759
c906108c 1760 case LOC_TYPEDEF:
a3f17187 1761 printf_filtered (_("a typedef"));
c906108c
SS
1762 break;
1763
1764 case LOC_BLOCK:
a3f17187 1765 printf_filtered (_("a function at address "));
2b1ffcfd 1766 load_addr = BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (sym));
35fb8261
TT
1767 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1768 gdb_stdout);
c906108c
SS
1769 if (section_is_overlay (section))
1770 {
1771 load_addr = overlay_unmapped_address (load_addr, section);
a3f17187 1772 printf_filtered (_(",\n -- loaded at "));
35fb8261
TT
1773 fputs_styled (paddress (gdbarch, load_addr), address_style.style (),
1774 gdb_stdout);
714835d5
UW
1775 printf_filtered (_(" in overlay section %s"),
1776 section->the_bfd_section->name);
c906108c
SS
1777 }
1778 break;
1779
1780 case LOC_UNRESOLVED:
1781 {
e27d198c 1782 struct bound_minimal_symbol msym;
c906108c 1783
987012b8 1784 msym = lookup_bound_minimal_symbol (sym->linkage_name ());
e27d198c 1785 if (msym.minsym == NULL)
c906108c
SS
1786 printf_filtered ("unresolved");
1787 else
1788 {
1db66e34 1789 section = msym.obj_section ();
e0740f77
JK
1790
1791 if (section
1792 && (section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
5382cfab
PW
1793 {
1794 load_addr = MSYMBOL_VALUE_RAW_ADDRESS (msym.minsym);
1795 printf_filtered (_("a thread-local variable at offset %s "
1796 "in the thread-local storage for `%s'"),
1797 paddress (gdbarch, load_addr),
1798 objfile_name (section->objfile));
1799 }
e0740f77 1800 else
c906108c 1801 {
5382cfab 1802 load_addr = BMSYMBOL_VALUE_ADDRESS (msym);
e0740f77 1803 printf_filtered (_("static storage at address "));
35fb8261
TT
1804 fputs_styled (paddress (gdbarch, load_addr),
1805 address_style.style (), gdb_stdout);
e0740f77
JK
1806 if (section_is_overlay (section))
1807 {
1808 load_addr = overlay_unmapped_address (load_addr, section);
1809 printf_filtered (_(",\n -- loaded at "));
35fb8261
TT
1810 fputs_styled (paddress (gdbarch, load_addr),
1811 address_style.style (),
1812 gdb_stdout);
e0740f77
JK
1813 printf_filtered (_(" in overlay section %s"),
1814 section->the_bfd_section->name);
1815 }
c906108c
SS
1816 }
1817 }
1818 }
1819 break;
1820
c906108c 1821 case LOC_OPTIMIZED_OUT:
a3f17187 1822 printf_filtered (_("optimized out"));
c906108c 1823 break;
c5aa993b 1824
c906108c 1825 default:
a3f17187 1826 printf_filtered (_("of unknown (botched) type"));
c906108c
SS
1827 break;
1828 }
1829 printf_filtered (".\n");
1830}
1831\f
675dcf4f
MK
1832
1833static void
0b39b52e 1834x_command (const char *exp, int from_tty)
c906108c 1835{
c906108c 1836 struct format_data fmt;
c906108c
SS
1837 struct value *val;
1838
a6bac58e 1839 fmt.format = last_format ? last_format : 'x';
bef382e6 1840 fmt.print_tags = last_print_tags;
c906108c
SS
1841 fmt.size = last_size;
1842 fmt.count = 1;
a6bac58e 1843 fmt.raw = 0;
c906108c 1844
9be2ae8f
TT
1845 /* If there is no expression and no format, use the most recent
1846 count. */
1847 if (exp == nullptr && last_count > 0)
1848 fmt.count = last_count;
1849
c906108c
SS
1850 if (exp && *exp == '/')
1851 {
6f937416
PA
1852 const char *tmp = exp + 1;
1853
1854 fmt = decode_format (&tmp, last_format, last_size);
1855 exp = (char *) tmp;
c906108c
SS
1856 }
1857
9be2ae8f
TT
1858 last_count = fmt.count;
1859
c906108c
SS
1860 /* If we have an expression, evaluate it and use it as the address. */
1861
1862 if (exp != 0 && *exp != 0)
1863 {
4d01a485 1864 expression_up expr = parse_expression (exp);
675dcf4f 1865 /* Cause expression not to be there any more if this command is
dda83cd7
SM
1866 repeated with Newline. But don't clobber a user-defined
1867 command's definition. */
c906108c 1868 if (from_tty)
85c4be7c 1869 set_repeat_arguments ("");
4d01a485 1870 val = evaluate_expression (expr.get ());
aa006118 1871 if (TYPE_IS_REFERENCE (value_type (val)))
e1c34c5d 1872 val = coerce_ref (val);
c906108c 1873 /* In rvalue contexts, such as this, functions are coerced into
dda83cd7 1874 pointers to functions. This makes "x/i main" work. */
78134374 1875 if (value_type (val)->code () == TYPE_CODE_FUNC
c5aa993b 1876 && VALUE_LVAL (val) == lval_memory)
42ae5230 1877 next_address = value_address (val);
c906108c 1878 else
1aa20aa8 1879 next_address = value_as_address (val);
5d3729b5
UW
1880
1881 next_gdbarch = expr->gdbarch;
c906108c
SS
1882 }
1883
5d3729b5
UW
1884 if (!next_gdbarch)
1885 error_no_arg (_("starting display address"));
1886
1887 do_examine (fmt, next_gdbarch, next_address);
c906108c 1888
675dcf4f 1889 /* If the examine succeeds, we remember its size and format for next
9a22f0d0
PM
1890 time. Set last_size to 'b' for strings. */
1891 if (fmt.format == 's')
1892 last_size = 'b';
1893 else
1894 last_size = fmt.size;
c906108c
SS
1895 last_format = fmt.format;
1896
bef382e6
LM
1897 /* Remember tag-printing setting. */
1898 last_print_tags = fmt.print_tags;
1899
0df8b418 1900 /* Set a couple of internal variables if appropriate. */
9b558729 1901 if (last_examine_value != nullptr)
c906108c
SS
1902 {
1903 /* Make last address examined available to the user as $_. Use
dda83cd7 1904 the correct pointer type. */
4478b372 1905 struct type *pointer_type
9b558729 1906 = lookup_pointer_type (value_type (last_examine_value.get ()));
c906108c 1907 set_internalvar (lookup_internalvar ("_"),
4478b372
JB
1908 value_from_pointer (pointer_type,
1909 last_examine_address));
c5aa993b 1910
675dcf4f
MK
1911 /* Make contents of last address examined available to the user
1912 as $__. If the last value has not been fetched from memory
1913 then don't fetch it now; instead mark it by voiding the $__
1914 variable. */
9b558729 1915 if (value_lazy (last_examine_value.get ()))
4fa62494 1916 clear_internalvar (lookup_internalvar ("__"));
c906108c 1917 else
9b558729 1918 set_internalvar (lookup_internalvar ("__"), last_examine_value.get ());
c906108c
SS
1919 }
1920}
037d7135
AB
1921
1922/* Command completion for the 'display' and 'x' commands. */
1923
1924static void
1925display_and_x_command_completer (struct cmd_list_element *ignore,
1926 completion_tracker &tracker,
1927 const char *text, const char * /*word*/)
1928{
1929 if (skip_over_slash_fmt (tracker, &text))
1930 return;
1931
1932 const char *word = advance_to_expression_complete_word_point (tracker, text);
1933 expression_completer (ignore, tracker, text, word);
1934}
1935
c906108c 1936\f
c5aa993b 1937
c906108c
SS
1938/* Add an expression to the auto-display chain.
1939 Specify the expression. */
1940
1941static void
0b39b52e 1942display_command (const char *arg, int from_tty)
c906108c
SS
1943{
1944 struct format_data fmt;
fe978cb0 1945 struct display *newobj;
6f937416 1946 const char *exp = arg;
c906108c 1947
7bd0be3a 1948 if (exp == 0)
c906108c 1949 {
7bd0be3a
AB
1950 do_displays ();
1951 return;
1952 }
c906108c 1953
7bd0be3a
AB
1954 if (*exp == '/')
1955 {
1956 exp++;
1957 fmt = decode_format (&exp, 0, 0);
1958 if (fmt.size && fmt.format == 0)
1959 fmt.format = 'x';
1960 if (fmt.format == 'i' || fmt.format == 's')
1961 fmt.size = 'b';
1962 }
1963 else
1964 {
1965 fmt.format = 0;
1966 fmt.size = 0;
1967 fmt.count = 0;
1968 fmt.raw = 0;
1969 }
c906108c 1970
699bd4cf
TT
1971 innermost_block_tracker tracker;
1972 expression_up expr = parse_expression (exp, &tracker);
c906108c 1973
8be4b118
TT
1974 newobj = new display (exp, std::move (expr), fmt,
1975 current_program_space, tracker.block ());
1976 all_displays.emplace_back (newobj);
c906108c 1977
7bd0be3a
AB
1978 if (from_tty)
1979 do_one_display (newobj);
c906108c 1980
7bd0be3a 1981 dont_repeat ();
c906108c
SS
1982}
1983
675dcf4f
MK
1984/* Clear out the display_chain. Done when new symtabs are loaded,
1985 since this invalidates the types stored in many expressions. */
c906108c
SS
1986
1987void
8be4b118 1988clear_displays ()
c906108c 1989{
8be4b118 1990 all_displays.clear ();
c906108c
SS
1991}
1992
3c3fe74c 1993/* Delete the auto-display DISPLAY. */
c906108c
SS
1994
1995static void
3c3fe74c 1996delete_display (struct display *display)
c906108c 1997{
3c3fe74c 1998 gdb_assert (display != NULL);
c906108c 1999
8be4b118
TT
2000 auto iter = std::find_if (all_displays.begin (),
2001 all_displays.end (),
2002 [=] (const std::unique_ptr<struct display> &item)
2003 {
2004 return item.get () == display;
2005 });
2006 gdb_assert (iter != all_displays.end ());
2007 all_displays.erase (iter);
c906108c
SS
2008}
2009
c9174737
PA
2010/* Call FUNCTION on each of the displays whose numbers are given in
2011 ARGS. DATA is passed unmodified to FUNCTION. */
c906108c
SS
2012
2013static void
77763700 2014map_display_numbers (const char *args,
8be4b118 2015 gdb::function_view<void (struct display *)> function)
c906108c 2016{
c9174737 2017 int num;
c906108c 2018
c9174737
PA
2019 if (args == NULL)
2020 error_no_arg (_("one or more display numbers"));
c906108c 2021
bfd28288 2022 number_or_range_parser parser (args);
c9174737 2023
bfd28288 2024 while (!parser.finished ())
c906108c 2025 {
bfd28288 2026 const char *p = parser.cur_tok ();
c906108c 2027
bfd28288 2028 num = parser.get_number ();
3c3fe74c
PA
2029 if (num == 0)
2030 warning (_("bad display number at or near '%s'"), p);
2031 else
2032 {
8be4b118
TT
2033 auto iter = std::find_if (all_displays.begin (),
2034 all_displays.end (),
2035 [=] (const std::unique_ptr<display> &item)
2036 {
2037 return item->number == num;
2038 });
2039 if (iter == all_displays.end ())
3c3fe74c
PA
2040 printf_unfiltered (_("No display number %d.\n"), num);
2041 else
8be4b118 2042 function (iter->get ());
3c3fe74c 2043 }
c906108c 2044 }
c9174737
PA
2045}
2046
c9174737
PA
2047/* "undisplay" command. */
2048
2049static void
77763700 2050undisplay_command (const char *args, int from_tty)
c9174737 2051{
c9174737
PA
2052 if (args == NULL)
2053 {
2054 if (query (_("Delete all auto-display expressions? ")))
2055 clear_displays ();
2056 dont_repeat ();
2057 return;
2058 }
2059
8be4b118 2060 map_display_numbers (args, delete_display);
c906108c
SS
2061 dont_repeat ();
2062}
2063
2064/* Display a single auto-display.
2065 Do nothing if the display cannot be printed in the current context,
0df8b418 2066 or if the display is disabled. */
c906108c
SS
2067
2068static void
fba45db2 2069do_one_display (struct display *d)
c906108c
SS
2070{
2071 int within_current_scope;
2072
8be4b118 2073 if (!d->enabled_p)
c906108c
SS
2074 return;
2075
704e9165
UW
2076 /* The expression carries the architecture that was used at parse time.
2077 This is a problem if the expression depends on architecture features
2078 (e.g. register numbers), and the current architecture is now different.
2079 For example, a display statement like "display/i $pc" is expected to
2080 display the PC register of the current architecture, not the arch at
2081 the time the display command was given. Therefore, we re-parse the
2082 expression if the current architecture has changed. */
2083 if (d->exp != NULL && d->exp->gdbarch != get_current_arch ())
2084 {
4d01a485 2085 d->exp.reset ();
704e9165
UW
2086 d->block = NULL;
2087 }
2088
a3247a22
PP
2089 if (d->exp == NULL)
2090 {
ad3bbd48 2091
a70b8144 2092 try
a3247a22 2093 {
699bd4cf 2094 innermost_block_tracker tracker;
8be4b118 2095 d->exp = parse_expression (d->exp_string.c_str (), &tracker);
699bd4cf 2096 d->block = tracker.block ();
a3247a22 2097 }
230d2906 2098 catch (const gdb_exception &ex)
a3247a22
PP
2099 {
2100 /* Can't re-parse the expression. Disable this display item. */
8be4b118 2101 d->enabled_p = false;
a3247a22 2102 warning (_("Unable to display \"%s\": %s"),
8be4b118 2103 d->exp_string.c_str (), ex.what ());
a3247a22
PP
2104 return;
2105 }
2106 }
2107
c906108c 2108 if (d->block)
6c95b8df
PA
2109 {
2110 if (d->pspace == current_program_space)
f21c2bd7
TT
2111 within_current_scope = contained_in (get_selected_block (0), d->block,
2112 true);
6c95b8df
PA
2113 else
2114 within_current_scope = 0;
2115 }
c906108c
SS
2116 else
2117 within_current_scope = 1;
2118 if (!within_current_scope)
2119 return;
2120
b7b633e9
TT
2121 scoped_restore save_display_number
2122 = make_scoped_restore (&current_display_number, d->number);
c906108c
SS
2123
2124 annotate_display_begin ();
2125 printf_filtered ("%d", d->number);
2126 annotate_display_number_end ();
2127 printf_filtered (": ");
2128 if (d->format.size)
2129 {
c906108c
SS
2130
2131 annotate_display_format ();
2132
2133 printf_filtered ("x/");
2134 if (d->format.count != 1)
2135 printf_filtered ("%d", d->format.count);
2136 printf_filtered ("%c", d->format.format);
2137 if (d->format.format != 'i' && d->format.format != 's')
2138 printf_filtered ("%c", d->format.size);
2139 printf_filtered (" ");
2140
2141 annotate_display_expression ();
2142
8be4b118 2143 puts_filtered (d->exp_string.c_str ());
c906108c
SS
2144 annotate_display_expression_end ();
2145
6a2eb474 2146 if (d->format.count != 1 || d->format.format == 'i')
c906108c
SS
2147 printf_filtered ("\n");
2148 else
2149 printf_filtered (" ");
c5aa993b 2150
c906108c
SS
2151 annotate_display_value ();
2152
a70b8144 2153 try
dda83cd7 2154 {
9d8fa392
PA
2155 struct value *val;
2156 CORE_ADDR addr;
2157
4d01a485 2158 val = evaluate_expression (d->exp.get ());
9d8fa392
PA
2159 addr = value_as_address (val);
2160 if (d->format.format == 'i')
2161 addr = gdbarch_addr_bits_remove (d->exp->gdbarch, addr);
2162 do_examine (d->format, d->exp->gdbarch, addr);
2163 }
230d2906 2164 catch (const gdb_exception_error &ex)
492d29ea 2165 {
7f6aba03
TT
2166 fprintf_filtered (gdb_stdout, _("%p[<error: %s>%p]\n"),
2167 metadata_style.style ().ptr (), ex.what (),
2168 nullptr);
492d29ea 2169 }
c906108c
SS
2170 }
2171 else
2172 {
79a45b7d
TT
2173 struct value_print_options opts;
2174
c906108c
SS
2175 annotate_display_format ();
2176
2177 if (d->format.format)
2178 printf_filtered ("/%c ", d->format.format);
2179
2180 annotate_display_expression ();
2181
8be4b118 2182 puts_filtered (d->exp_string.c_str ());
c906108c
SS
2183 annotate_display_expression_end ();
2184
2185 printf_filtered (" = ");
2186
2187 annotate_display_expression ();
2188
79a45b7d 2189 get_formatted_print_options (&opts, d->format.format);
a6bac58e 2190 opts.raw = d->format.raw;
9d8fa392 2191
a70b8144 2192 try
dda83cd7 2193 {
9d8fa392
PA
2194 struct value *val;
2195
4d01a485 2196 val = evaluate_expression (d->exp.get ());
9d8fa392
PA
2197 print_formatted (val, d->format.size, &opts, gdb_stdout);
2198 }
230d2906 2199 catch (const gdb_exception_error &ex)
492d29ea 2200 {
7f6aba03
TT
2201 fprintf_styled (gdb_stdout, metadata_style.style (),
2202 _("<error: %s>"), ex.what ());
492d29ea 2203 }
492d29ea 2204
c906108c
SS
2205 printf_filtered ("\n");
2206 }
2207
2208 annotate_display_end ();
2209
2210 gdb_flush (gdb_stdout);
c906108c
SS
2211}
2212
2213/* Display all of the values on the auto-display chain which can be
2214 evaluated in the current scope. */
2215
2216void
fba45db2 2217do_displays (void)
c906108c 2218{
8be4b118
TT
2219 for (auto &d : all_displays)
2220 do_one_display (d.get ());
c906108c
SS
2221}
2222
2223/* Delete the auto-display which we were in the process of displaying.
2224 This is done when there is an error or a signal. */
2225
2226void
fba45db2 2227disable_display (int num)
c906108c 2228{
8be4b118 2229 for (auto &d : all_displays)
c906108c
SS
2230 if (d->number == num)
2231 {
8be4b118 2232 d->enabled_p = false;
c906108c
SS
2233 return;
2234 }
a3f17187 2235 printf_unfiltered (_("No display number %d.\n"), num);
c906108c 2236}
c5aa993b 2237
c906108c 2238void
fba45db2 2239disable_current_display (void)
c906108c
SS
2240{
2241 if (current_display_number >= 0)
2242 {
2243 disable_display (current_display_number);
3e43a32a
MS
2244 fprintf_unfiltered (gdb_stderr,
2245 _("Disabling display %d to "
2246 "avoid infinite recursion.\n"),
c5aa993b 2247 current_display_number);
c906108c
SS
2248 }
2249 current_display_number = -1;
2250}
2251
2252static void
1d12d88f 2253info_display_command (const char *ignore, int from_tty)
c906108c 2254{
8be4b118 2255 if (all_displays.empty ())
a3f17187 2256 printf_unfiltered (_("There are no auto-display expressions now.\n"));
c906108c 2257 else
a3f17187
AC
2258 printf_filtered (_("Auto-display expressions now in effect:\n\
2259Num Enb Expression\n"));
c906108c 2260
8be4b118 2261 for (auto &d : all_displays)
c906108c 2262 {
b5de0fa7 2263 printf_filtered ("%d: %c ", d->number, "ny"[(int) d->enabled_p]);
c906108c
SS
2264 if (d->format.size)
2265 printf_filtered ("/%d%c%c ", d->format.count, d->format.size,
c5aa993b 2266 d->format.format);
c906108c
SS
2267 else if (d->format.format)
2268 printf_filtered ("/%c ", d->format.format);
8be4b118 2269 puts_filtered (d->exp_string.c_str ());
f21c2bd7 2270 if (d->block && !contained_in (get_selected_block (0), d->block, true))
a3f17187 2271 printf_filtered (_(" (cannot be evaluated in the current context)"));
c906108c 2272 printf_filtered ("\n");
c906108c
SS
2273 }
2274}
2275
85102364 2276/* Implementation of both the "disable display" and "enable display"
c9174737
PA
2277 commands. ENABLE decides what to do. */
2278
2279static void
8be4b118 2280enable_disable_display_command (const char *args, int from_tty, bool enable)
c9174737
PA
2281{
2282 if (args == NULL)
c906108c 2283 {
8be4b118 2284 for (auto &d : all_displays)
c9174737
PA
2285 d->enabled_p = enable;
2286 return;
2287 }
c5aa993b 2288
8be4b118
TT
2289 map_display_numbers (args,
2290 [=] (struct display *d)
2291 {
2292 d->enabled_p = enable;
2293 });
c906108c
SS
2294}
2295
c9174737
PA
2296/* The "enable display" command. */
2297
c906108c 2298static void
77763700 2299enable_display_command (const char *args, int from_tty)
c906108c 2300{
8be4b118 2301 enable_disable_display_command (args, from_tty, true);
c9174737 2302}
c5aa993b 2303
c9174737 2304/* The "disable display" command. */
c906108c 2305
c9174737 2306static void
77763700 2307disable_display_command (const char *args, int from_tty)
c9174737 2308{
8be4b118 2309 enable_disable_display_command (args, from_tty, false);
c906108c 2310}
a3247a22 2311
a3247a22
PP
2312/* display_chain items point to blocks and expressions. Some expressions in
2313 turn may point to symbols.
2314 Both symbols and blocks are obstack_alloc'd on objfile_stack, and are
2315 obstack_free'd when a shared library is unloaded.
2316 Clear pointers that are about to become dangling.
2317 Both .exp and .block fields will be restored next time we need to display
2318 an item by re-parsing .exp_string field in the new execution context. */
2319
2320static void
63644780 2321clear_dangling_display_expressions (struct objfile *objfile)
a3247a22 2322{
63644780 2323 struct program_space *pspace;
a3247a22 2324
c0201579
JK
2325 /* With no symbol file we cannot have a block or expression from it. */
2326 if (objfile == NULL)
2327 return;
63644780 2328 pspace = objfile->pspace;
c0201579 2329 if (objfile->separate_debug_objfile_backlink)
63644780
NB
2330 {
2331 objfile = objfile->separate_debug_objfile_backlink;
2332 gdb_assert (objfile->pspace == pspace);
2333 }
c0201579 2334
8be4b118 2335 for (auto &d : all_displays)
a3247a22 2336 {
63644780 2337 if (d->pspace != pspace)
c0201579
JK
2338 continue;
2339
d6bc0792
TT
2340 struct objfile *bl_objf = nullptr;
2341 if (d->block != nullptr)
2342 {
2343 bl_objf = block_objfile (d->block);
2344 if (bl_objf->separate_debug_objfile_backlink != nullptr)
2345 bl_objf = bl_objf->separate_debug_objfile_backlink;
2346 }
2347
2348 if (bl_objf == objfile
4d01a485 2349 || (d->exp != NULL && exp_uses_objfile (d->exp.get (), objfile)))
d6bc0792
TT
2350 {
2351 d->exp.reset ();
2352 d->block = NULL;
2353 }
a3247a22
PP
2354 }
2355}
c906108c 2356\f
c5aa993b 2357
675dcf4f 2358/* Print the value in stack frame FRAME of a variable specified by a
aad95b57
TT
2359 struct symbol. NAME is the name to print; if NULL then VAR's print
2360 name will be used. STREAM is the ui_file on which to print the
2361 value. INDENT specifies the number of indent levels to print
8f043999
JK
2362 before printing the variable name.
2363
2364 This function invalidates FRAME. */
c906108c
SS
2365
2366void
aad95b57
TT
2367print_variable_and_value (const char *name, struct symbol *var,
2368 struct frame_info *frame,
2369 struct ui_file *stream, int indent)
c906108c 2370{
c906108c 2371
aad95b57 2372 if (!name)
987012b8 2373 name = var->print_name ();
aad95b57 2374
844a6538 2375 fprintf_filtered (stream, "%*s%ps = ", 2 * indent, "",
6a831f06 2376 styled_string (variable_name_style.style (), name));
80ae2043 2377
a70b8144 2378 try
0f6a939d
PM
2379 {
2380 struct value *val;
2381 struct value_print_options opts;
aad95b57 2382
63e43d3a
PMR
2383 /* READ_VAR_VALUE needs a block in order to deal with non-local
2384 references (i.e. to handle nested functions). In this context, we
2385 print variables that are local to this frame, so we can avoid passing
2386 a block to it. */
2387 val = read_var_value (var, NULL, frame);
0f6a939d 2388 get_user_print_options (&opts);
3343315b 2389 opts.deref_ref = 1;
0f6a939d 2390 common_val_print (val, stream, indent, &opts, current_language);
8f043999
JK
2391
2392 /* common_val_print invalidates FRAME when a pretty printer calls inferior
2393 function. */
2394 frame = NULL;
0f6a939d 2395 }
230d2906 2396 catch (const gdb_exception_error &except)
492d29ea 2397 {
7f6aba03
TT
2398 fprintf_styled (stream, metadata_style.style (),
2399 "<error reading variable %s (%s)>", name,
2400 except.what ());
492d29ea 2401 }
492d29ea 2402
aad95b57 2403 fprintf_filtered (stream, "\n");
c906108c
SS
2404}
2405
c2792f5a
DE
2406/* Subroutine of ui_printf to simplify it.
2407 Print VALUE to STREAM using FORMAT.
1f6f6e21
PW
2408 VALUE is a C-style string either on the target or
2409 in a GDB internal variable. */
c2792f5a
DE
2410
2411static void
2412printf_c_string (struct ui_file *stream, const char *format,
2413 struct value *value)
2414{
1f6f6e21 2415 const gdb_byte *str;
c2792f5a 2416
78134374 2417 if (value_type (value)->code () != TYPE_CODE_PTR
7b973adc 2418 && VALUE_LVAL (value) == lval_internalvar
1f6f6e21 2419 && c_is_string_type_p (value_type (value)))
3ae9ce5d 2420 {
1f6f6e21 2421 size_t len = TYPE_LENGTH (value_type (value));
c2792f5a 2422
1f6f6e21
PW
2423 /* Copy the internal var value to TEM_STR and append a terminating null
2424 character. This protects against corrupted C-style strings that lack
2425 the terminating null char. It also allows Ada-style strings (not
2426 null terminated) to be printed without problems. */
2427 gdb_byte *tem_str = (gdb_byte *) alloca (len + 1);
c2792f5a 2428
1f6f6e21
PW
2429 memcpy (tem_str, value_contents (value), len);
2430 tem_str [len] = 0;
2431 str = tem_str;
c2792f5a 2432 }
1f6f6e21
PW
2433 else
2434 {
2435 CORE_ADDR tem = value_as_address (value);;
2436
2437 if (tem == 0)
2438 {
2439 DIAGNOSTIC_PUSH
2440 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2441 fprintf_filtered (stream, format, "(null)");
2442 DIAGNOSTIC_POP
2443 return;
2444 }
2445
2446 /* This is a %s argument. Find the length of the string. */
2447 size_t len;
2448
2449 for (len = 0;; len++)
2450 {
2451 gdb_byte c;
c2792f5a 2452
1f6f6e21
PW
2453 QUIT;
2454 read_memory (tem + len, &c, 1);
2455 if (c == 0)
2456 break;
2457 }
2458
2459 /* Copy the string contents into a string inside GDB. */
2460 gdb_byte *tem_str = (gdb_byte *) alloca (len + 1);
2461
2462 if (len != 0)
2463 read_memory (tem, tem_str, len);
2464 tem_str[len] = 0;
2465 str = tem_str;
2466 }
c2792f5a 2467
af39b1c2
SM
2468 DIAGNOSTIC_PUSH
2469 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
c2792f5a 2470 fprintf_filtered (stream, format, (char *) str);
af39b1c2 2471 DIAGNOSTIC_POP
c2792f5a
DE
2472}
2473
2474/* Subroutine of ui_printf to simplify it.
2475 Print VALUE to STREAM using FORMAT.
1f6f6e21
PW
2476 VALUE is a wide C-style string on the target or
2477 in a GDB internal variable. */
c2792f5a
DE
2478
2479static void
2480printf_wide_c_string (struct ui_file *stream, const char *format,
2481 struct value *value)
2482{
1f6f6e21
PW
2483 const gdb_byte *str;
2484 size_t len;
8ee511af 2485 struct gdbarch *gdbarch = value_type (value)->arch ();
b858499d 2486 struct type *wctype = lookup_typename (current_language,
c2792f5a
DE
2487 "wchar_t", NULL, 0);
2488 int wcwidth = TYPE_LENGTH (wctype);
c2792f5a 2489
1f6f6e21
PW
2490 if (VALUE_LVAL (value) == lval_internalvar
2491 && c_is_string_type_p (value_type (value)))
3ae9ce5d 2492 {
1f6f6e21
PW
2493 str = value_contents (value);
2494 len = TYPE_LENGTH (value_type (value));
3ae9ce5d 2495 }
1f6f6e21 2496 else
c2792f5a 2497 {
1f6f6e21 2498 CORE_ADDR tem = value_as_address (value);
c2792f5a 2499
1f6f6e21
PW
2500 if (tem == 0)
2501 {
2502 DIAGNOSTIC_PUSH
2503 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2504 fprintf_filtered (stream, format, "(null)");
2505 DIAGNOSTIC_POP
2506 return;
2507 }
2508
2509 /* This is a %s argument. Find the length of the string. */
2510 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
2511 gdb_byte *buf = (gdb_byte *) alloca (wcwidth);
2512
2513 for (len = 0;; len += wcwidth)
2514 {
2515 QUIT;
2516 read_memory (tem + len, buf, wcwidth);
2517 if (extract_unsigned_integer (buf, wcwidth, byte_order) == 0)
2518 break;
2519 }
2520
2521 /* Copy the string contents into a string inside GDB. */
2522 gdb_byte *tem_str = (gdb_byte *) alloca (len + wcwidth);
2523
2524 if (len != 0)
2525 read_memory (tem, tem_str, len);
2526 memset (&tem_str[len], 0, wcwidth);
2527 str = tem_str;
2528 }
c2792f5a 2529
8268c778 2530 auto_obstack output;
c2792f5a
DE
2531
2532 convert_between_encodings (target_wide_charset (gdbarch),
2533 host_charset (),
1f6f6e21 2534 str, len, wcwidth,
c2792f5a
DE
2535 &output, translit_char);
2536 obstack_grow_str0 (&output, "");
2537
af39b1c2
SM
2538 DIAGNOSTIC_PUSH
2539 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
c2792f5a 2540 fprintf_filtered (stream, format, obstack_base (&output));
af39b1c2 2541 DIAGNOSTIC_POP
c2792f5a
DE
2542}
2543
2544/* Subroutine of ui_printf to simplify it.
16e812b2 2545 Print VALUE, a floating point value, to STREAM using FORMAT. */
c2792f5a
DE
2546
2547static void
16e812b2
UW
2548printf_floating (struct ui_file *stream, const char *format,
2549 struct value *value, enum argclass argclass)
c2792f5a 2550{
c2792f5a
DE
2551 /* Parameter data. */
2552 struct type *param_type = value_type (value);
8ee511af 2553 struct gdbarch *gdbarch = param_type->arch ();
c2792f5a 2554
16e812b2
UW
2555 /* Determine target type corresponding to the format string. */
2556 struct type *fmt_type;
2557 switch (argclass)
c2792f5a 2558 {
16e812b2
UW
2559 case double_arg:
2560 fmt_type = builtin_type (gdbarch)->builtin_double;
2561 break;
2562 case long_double_arg:
2563 fmt_type = builtin_type (gdbarch)->builtin_long_double;
2564 break;
2565 case dec32float_arg:
2566 fmt_type = builtin_type (gdbarch)->builtin_decfloat;
2567 break;
2568 case dec64float_arg:
2569 fmt_type = builtin_type (gdbarch)->builtin_decdouble;
2570 break;
2571 case dec128float_arg:
2572 fmt_type = builtin_type (gdbarch)->builtin_declong;
2573 break;
2574 default:
2575 gdb_assert_not_reached ("unexpected argument class");
c2792f5a
DE
2576 }
2577
16e812b2
UW
2578 /* To match the traditional GDB behavior, the conversion is
2579 done differently depending on the type of the parameter:
2580
2581 - if the parameter has floating-point type, it's value
2582 is converted to the target type;
2583
2584 - otherwise, if the parameter has a type that is of the
2585 same size as a built-in floating-point type, the value
2586 bytes are interpreted as if they were of that type, and
2587 then converted to the target type (this is not done for
2588 decimal floating-point argument classes);
2589
2590 - otherwise, if the source value has an integer value,
2591 it's value is converted to the target type;
c2792f5a 2592
16e812b2 2593 - otherwise, an error is raised.
c2792f5a 2594
16e812b2
UW
2595 In either case, the result of the conversion is a byte buffer
2596 formatted in the target format for the target type. */
2597
78134374 2598 if (fmt_type->code () == TYPE_CODE_FLT)
16e812b2
UW
2599 {
2600 param_type = float_type_from_length (param_type);
2601 if (param_type != value_type (value))
2602 value = value_from_contents (param_type, value_contents (value));
2603 }
2604
2605 value = value_cast (fmt_type, value);
c2792f5a 2606
3b4b2f16 2607 /* Convert the value to a string and print it. */
f69fdf9b
UW
2608 std::string str
2609 = target_float_to_string (value_contents (value), fmt_type, format);
3b4b2f16 2610 fputs_filtered (str.c_str (), stream);
c2792f5a
DE
2611}
2612
2613/* Subroutine of ui_printf to simplify it.
2614 Print VALUE, a target pointer, to STREAM using FORMAT. */
2615
2616static void
2617printf_pointer (struct ui_file *stream, const char *format,
2618 struct value *value)
2619{
2620 /* We avoid the host's %p because pointers are too
2621 likely to be the wrong size. The only interesting
2622 modifier for %p is a width; extract that, and then
2623 handle %p as glibc would: %#x or a literal "(nil)". */
2624
2625 const char *p;
2626 char *fmt, *fmt_p;
2627#ifdef PRINTF_HAS_LONG_LONG
2628 long long val = value_as_long (value);
2629#else
2630 long val = value_as_long (value);
2631#endif
2632
224c3ddb 2633 fmt = (char *) alloca (strlen (format) + 5);
c2792f5a
DE
2634
2635 /* Copy up to the leading %. */
2636 p = format;
2637 fmt_p = fmt;
2638 while (*p)
2639 {
2640 int is_percent = (*p == '%');
2641
2642 *fmt_p++ = *p++;
2643 if (is_percent)
2644 {
2645 if (*p == '%')
2646 *fmt_p++ = *p++;
2647 else
2648 break;
2649 }
2650 }
2651
2652 if (val != 0)
2653 *fmt_p++ = '#';
2654
b8c2339b
TT
2655 /* Copy any width or flags. Only the "-" flag is valid for pointers
2656 -- see the format_pieces constructor. */
2657 while (*p == '-' || (*p >= '0' && *p < '9'))
c2792f5a
DE
2658 *fmt_p++ = *p++;
2659
2660 gdb_assert (*p == 'p' && *(p + 1) == '\0');
2661 if (val != 0)
2662 {
2663#ifdef PRINTF_HAS_LONG_LONG
2664 *fmt_p++ = 'l';
2665#endif
2666 *fmt_p++ = 'l';
2667 *fmt_p++ = 'x';
2668 *fmt_p++ = '\0';
af39b1c2
SM
2669 DIAGNOSTIC_PUSH
2670 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
c2792f5a 2671 fprintf_filtered (stream, fmt, val);
af39b1c2 2672 DIAGNOSTIC_POP
c2792f5a
DE
2673 }
2674 else
2675 {
2676 *fmt_p++ = 's';
2677 *fmt_p++ = '\0';
af39b1c2
SM
2678 DIAGNOSTIC_PUSH
2679 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
c2792f5a 2680 fprintf_filtered (stream, fmt, "(nil)");
af39b1c2 2681 DIAGNOSTIC_POP
c2792f5a
DE
2682 }
2683}
2684
a04b0428
JB
2685/* printf "printf format string" ARG to STREAM. */
2686
2687static void
bbc13ae3 2688ui_printf (const char *arg, struct ui_file *stream)
c906108c 2689{
bbc13ae3 2690 const char *s = arg;
8e481c3b 2691 std::vector<struct value *> val_args;
c906108c
SS
2692
2693 if (s == 0)
e2e0b3e5 2694 error_no_arg (_("format-control string and values to print"));
c906108c 2695
f1735a53 2696 s = skip_spaces (s);
c906108c 2697
675dcf4f 2698 /* A format string should follow, enveloped in double quotes. */
c906108c 2699 if (*s++ != '"')
8a3fe4f8 2700 error (_("Bad format string, missing '\"'."));
c906108c 2701
8e481c3b 2702 format_pieces fpieces (&s);
c906108c 2703
d3ce09f5
SS
2704 if (*s++ != '"')
2705 error (_("Bad format string, non-terminated '\"'."));
2706
f1735a53 2707 s = skip_spaces (s);
c906108c
SS
2708
2709 if (*s != ',' && *s != 0)
8a3fe4f8 2710 error (_("Invalid argument syntax"));
c906108c 2711
c5aa993b
JM
2712 if (*s == ',')
2713 s++;
f1735a53 2714 s = skip_spaces (s);
c906108c 2715
c906108c 2716 {
c906108c 2717 int nargs_wanted;
8e481c3b
TT
2718 int i;
2719 const char *current_substring;
c906108c 2720
c906108c 2721 nargs_wanted = 0;
8e481c3b
TT
2722 for (auto &&piece : fpieces)
2723 if (piece.argclass != literal_piece)
d3ce09f5 2724 ++nargs_wanted;
c906108c
SS
2725
2726 /* Now, parse all arguments and evaluate them.
2727 Store the VALUEs in VAL_ARGS. */
2728
2729 while (*s != '\0')
2730 {
bbc13ae3 2731 const char *s1;
ad3bbd48 2732
a04b0428 2733 s1 = s;
8e481c3b 2734 val_args.push_back (parse_to_comma_and_eval (&s1));
c5aa993b 2735
c906108c
SS
2736 s = s1;
2737 if (*s == ',')
2738 s++;
2739 }
c5aa993b 2740
8e481c3b 2741 if (val_args.size () != nargs_wanted)
8a3fe4f8 2742 error (_("Wrong number of arguments for specified format-string"));
c906108c
SS
2743
2744 /* Now actually print them. */
d3ce09f5 2745 i = 0;
8e481c3b 2746 for (auto &&piece : fpieces)
c906108c 2747 {
8e481c3b
TT
2748 current_substring = piece.string;
2749 switch (piece.argclass)
c906108c
SS
2750 {
2751 case string_arg:
c2792f5a 2752 printf_c_string (stream, current_substring, val_args[i]);
c906108c 2753 break;
6c7a06a3 2754 case wide_string_arg:
c2792f5a 2755 printf_wide_c_string (stream, current_substring, val_args[i]);
6c7a06a3
TT
2756 break;
2757 case wide_char_arg:
2758 {
8ee511af 2759 struct gdbarch *gdbarch = value_type (val_args[i])->arch ();
b858499d 2760 struct type *wctype = lookup_typename (current_language,
e6c014f2 2761 "wchar_t", NULL, 0);
6c7a06a3 2762 struct type *valtype;
6c7a06a3
TT
2763 const gdb_byte *bytes;
2764
2765 valtype = value_type (val_args[i]);
2766 if (TYPE_LENGTH (valtype) != TYPE_LENGTH (wctype)
78134374 2767 || valtype->code () != TYPE_CODE_INT)
6c7a06a3
TT
2768 error (_("expected wchar_t argument for %%lc"));
2769
2770 bytes = value_contents (val_args[i]);
2771
8268c778 2772 auto_obstack output;
6c7a06a3 2773
f870a310 2774 convert_between_encodings (target_wide_charset (gdbarch),
6c7a06a3
TT
2775 host_charset (),
2776 bytes, TYPE_LENGTH (valtype),
2777 TYPE_LENGTH (valtype),
2778 &output, translit_char);
2779 obstack_grow_str0 (&output, "");
2780
af39b1c2
SM
2781 DIAGNOSTIC_PUSH
2782 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
f1421989 2783 fprintf_filtered (stream, current_substring,
dda83cd7 2784 obstack_base (&output));
af39b1c2 2785 DIAGNOSTIC_POP
6c7a06a3
TT
2786 }
2787 break;
c906108c 2788 case long_long_arg:
74a0d9f6 2789#ifdef PRINTF_HAS_LONG_LONG
c906108c
SS
2790 {
2791 long long val = value_as_long (val_args[i]);
ad3bbd48 2792
af39b1c2
SM
2793 DIAGNOSTIC_PUSH
2794 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
dda83cd7 2795 fprintf_filtered (stream, current_substring, val);
af39b1c2 2796 DIAGNOSTIC_POP
c906108c
SS
2797 break;
2798 }
2799#else
8a3fe4f8 2800 error (_("long long not supported in printf"));
c906108c
SS
2801#endif
2802 case int_arg:
2803 {
46e9880c 2804 int val = value_as_long (val_args[i]);
ad3bbd48 2805
af39b1c2
SM
2806 DIAGNOSTIC_PUSH
2807 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
dda83cd7 2808 fprintf_filtered (stream, current_substring, val);
af39b1c2 2809 DIAGNOSTIC_POP
46e9880c
DJ
2810 break;
2811 }
2812 case long_arg:
2813 {
c906108c 2814 long val = value_as_long (val_args[i]);
ad3bbd48 2815
e06f3d6e
AB
2816 DIAGNOSTIC_PUSH
2817 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
dda83cd7 2818 fprintf_filtered (stream, current_substring, val);
e06f3d6e
AB
2819 DIAGNOSTIC_POP
2820 break;
2821 }
2822 case size_t_arg:
2823 {
2824 size_t val = value_as_long (val_args[i]);
2825
af39b1c2
SM
2826 DIAGNOSTIC_PUSH
2827 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
dda83cd7 2828 fprintf_filtered (stream, current_substring, val);
af39b1c2 2829 DIAGNOSTIC_POP
c906108c
SS
2830 break;
2831 }
16e812b2
UW
2832 /* Handles floating-point values. */
2833 case double_arg:
2834 case long_double_arg:
2835 case dec32float_arg:
2836 case dec64float_arg:
2837 case dec128float_arg:
2838 printf_floating (stream, current_substring, val_args[i],
8e481c3b 2839 piece.argclass);
c2792f5a 2840 break;
2025a643 2841 case ptr_arg:
c2792f5a
DE
2842 printf_pointer (stream, current_substring, val_args[i]);
2843 break;
d3ce09f5
SS
2844 case literal_piece:
2845 /* Print a portion of the format string that has no
2846 directives. Note that this will not include any
2847 ordinary %-specs, but it might include "%%". That is
2848 why we use printf_filtered and not puts_filtered here.
2849 Also, we pass a dummy argument because some platforms
2850 have modified GCC to include -Wformat-security by
2851 default, which will warn here if there is no
2852 argument. */
af39b1c2
SM
2853 DIAGNOSTIC_PUSH
2854 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
d3ce09f5 2855 fprintf_filtered (stream, current_substring, 0);
af39b1c2 2856 DIAGNOSTIC_POP
d3ce09f5 2857 break;
675dcf4f
MK
2858 default:
2859 internal_error (__FILE__, __LINE__,
2025a643 2860 _("failed internal consistency check"));
c906108c 2861 }
d3ce09f5 2862 /* Maybe advance to the next argument. */
8e481c3b 2863 if (piece.argclass != literal_piece)
d3ce09f5 2864 ++i;
c906108c 2865 }
c906108c 2866 }
c906108c 2867}
c906108c 2868
f1421989
HZ
2869/* Implement the "printf" command. */
2870
a04b0428 2871static void
0b39b52e 2872printf_command (const char *arg, int from_tty)
f1421989 2873{
a04b0428 2874 ui_printf (arg, gdb_stdout);
ef1dfa36
TT
2875 reset_terminal_style (gdb_stdout);
2876 wrap_here ("");
da5bd37e 2877 gdb_stdout->flush ();
f1421989
HZ
2878}
2879
2880/* Implement the "eval" command. */
2881
2882static void
0b39b52e 2883eval_command (const char *arg, int from_tty)
f1421989 2884{
d7e74731 2885 string_file stb;
f1421989 2886
d7e74731 2887 ui_printf (arg, &stb);
f1421989 2888
d7e74731 2889 std::string expanded = insert_user_defined_cmd_args (stb.c_str ());
01770bbd 2890
95a6b0a1 2891 execute_command (expanded.c_str (), from_tty);
f1421989
HZ
2892}
2893
48136e00
LM
2894/* Convenience function for error checking in memory-tag commands. */
2895
2896static void
2897show_addr_not_tagged (CORE_ADDR address)
2898{
2899 error (_("Address %s not in a region mapped with a memory tagging flag."),
2900 paddress (target_gdbarch (), address));
2901}
2902
2903/* Convenience function for error checking in memory-tag commands. */
2904
2905static void
2906show_memory_tagging_unsupported (void)
2907{
2908 error (_("Memory tagging not supported or disabled by the current"
2909 " architecture."));
2910}
2911
2912/* Implement the "memory-tag" prefix command. */
2913
2914static void
2915memory_tag_command (const char *arg, int from_tty)
2916{
2917 help_list (memory_tag_list, "memory-tag ", all_commands, gdb_stdout);
2918}
2919
2920/* Helper for print-logical-tag and print-allocation-tag. */
2921
2922static void
2923memory_tag_print_tag_command (const char *args, enum memtag_type tag_type)
2924{
2925 if (args == nullptr)
2926 error_no_arg (_("address or pointer"));
2927
2928 /* Parse args into a value. If the value is a pointer or an address,
2929 then fetch the logical or allocation tag. */
2930 value_print_options print_opts;
2931
2932 struct value *val = process_print_command_args (args, &print_opts, true);
2933
2934 /* If the address is not in a region memory mapped with a memory tagging
2935 flag, it is no use trying to access/manipulate its allocation tag.
2936
2937 It is OK to manipulate the logical tag though. */
2938 if (tag_type == memtag_type::allocation
2939 && !gdbarch_tagged_address_p (target_gdbarch (), val))
2940 show_addr_not_tagged (value_as_address (val));
2941
2942 struct value *tag_value
2943 = gdbarch_get_memtag (target_gdbarch (), val, tag_type);
2944 std::string tag = gdbarch_memtag_to_string (target_gdbarch (), tag_value);
2945
2946 if (tag.empty ())
2947 printf_filtered (_("%s tag unavailable.\n"),
2948 tag_type
2949 == memtag_type::logical? "Logical" : "Allocation");
2950
2951 struct value *v_tag = process_print_command_args (tag.c_str (),
2952 &print_opts,
2953 true);
2954 print_opts.output_format = 'x';
2955 print_value (v_tag, print_opts);
2956}
2957
2958/* Implement the "memory-tag print-logical-tag" command. */
2959
2960static void
2961memory_tag_print_logical_tag_command (const char *args, int from_tty)
2962{
2963 if (!target_supports_memory_tagging ())
2964 show_memory_tagging_unsupported ();
2965
2966 memory_tag_print_tag_command (args, memtag_type::logical);
2967}
2968
2969/* Implement the "memory-tag print-allocation-tag" command. */
2970
2971static void
2972memory_tag_print_allocation_tag_command (const char *args, int from_tty)
2973{
2974 if (!target_supports_memory_tagging ())
2975 show_memory_tagging_unsupported ();
2976
2977 memory_tag_print_tag_command (args, memtag_type::allocation);
2978}
2979
2980/* Parse ARGS and extract ADDR and TAG.
2981 ARGS should have format <expression> <tag bytes>. */
2982
2983static void
2984parse_with_logical_tag_input (const char *args, struct value **val,
2985 gdb::byte_vector &tags,
2986 value_print_options *print_opts)
2987{
2988 /* Fetch the address. */
2989 std::string address_string = extract_string_maybe_quoted (&args);
2990
2991 /* Parse the address into a value. */
2992 *val = process_print_command_args (address_string.c_str (), print_opts,
2993 true);
2994
2995 /* Fetch the tag bytes. */
2996 std::string tag_string = extract_string_maybe_quoted (&args);
2997
2998 /* Validate the input. */
2999 if (address_string.empty () || tag_string.empty ())
3000 error (_("Missing arguments."));
3001
3002 if (tag_string.length () != 2)
3003 error (_("Error parsing tags argument. The tag should be 2 digits."));
3004
3005 tags = hex2bin (tag_string.c_str ());
3006}
3007
3008/* Implement the "memory-tag with-logical-tag" command. */
3009
3010static void
3011memory_tag_with_logical_tag_command (const char *args, int from_tty)
3012{
3013 if (!target_supports_memory_tagging ())
3014 show_memory_tagging_unsupported ();
3015
3016 if (args == nullptr)
3017 error_no_arg (_("<address> <tag>"));
3018
3019 gdb::byte_vector tags;
3020 struct value *val;
3021 value_print_options print_opts;
3022
3023 /* Parse the input. */
3024 parse_with_logical_tag_input (args, &val, tags, &print_opts);
3025
3026 /* Setting the logical tag is just a local operation that does not touch
3027 any memory from the target. Given an input value, we modify the value
3028 to include the appropriate tag.
3029
3030 For this reason we need to cast the argument value to a
3031 (void *) pointer. This is so we have the right type for the gdbarch
3032 hook to manipulate the value and insert the tag.
3033
3034 Otherwise, this would fail if, for example, GDB parsed the argument value
3035 into an int-sized value and the pointer value has a type of greater
3036 length. */
3037
3038 /* Cast to (void *). */
3039 val = value_cast (builtin_type (target_gdbarch ())->builtin_data_ptr,
3040 val);
3041
3042 /* Length doesn't matter for a logical tag. Pass 0. */
3043 if (!gdbarch_set_memtags (target_gdbarch (), val, 0, tags,
3044 memtag_type::logical))
3045 printf_filtered (_("Could not update the logical tag data.\n"));
3046 else
3047 {
3048 /* Always print it in hex format. */
3049 print_opts.output_format = 'x';
3050 print_value (val, print_opts);
3051 }
3052}
3053
3054/* Parse ARGS and extract ADDR, LENGTH and TAGS. */
3055
3056static void
3057parse_set_allocation_tag_input (const char *args, struct value **val,
3058 size_t *length, gdb::byte_vector &tags)
3059{
3060 /* Fetch the address. */
3061 std::string address_string = extract_string_maybe_quoted (&args);
3062
3063 /* Parse the address into a value. */
3064 value_print_options print_opts;
3065 *val = process_print_command_args (address_string.c_str (), &print_opts,
3066 true);
3067
3068 /* Fetch the length. */
3069 std::string length_string = extract_string_maybe_quoted (&args);
3070
3071 /* Fetch the tag bytes. */
3072 std::string tags_string = extract_string_maybe_quoted (&args);
3073
3074 /* Validate the input. */
3075 if (address_string.empty () || length_string.empty () || tags_string.empty ())
3076 error (_("Missing arguments."));
3077
3078 errno = 0;
3079 const char *trailer = nullptr;
3080 LONGEST parsed_length = strtoulst (length_string.c_str (), &trailer, 10);
3081
3082 if (errno != 0 || (trailer != nullptr && trailer[0] != '\0'))
3083 error (_("Error parsing length argument."));
3084
3085 if (parsed_length <= 0)
3086 error (_("Invalid zero or negative length."));
3087
3088 *length = parsed_length;
3089
3090 if (tags_string.length () % 2)
3091 error (_("Error parsing tags argument. Tags should be 2 digits per byte."));
3092
3093 tags = hex2bin (tags_string.c_str ());
3094
3095 /* If the address is not in a region memory mapped with a memory tagging
3096 flag, it is no use trying to access/manipulate its allocation tag. */
3097 if (!gdbarch_tagged_address_p (target_gdbarch (), *val))
3098 show_addr_not_tagged (value_as_address (*val));
3099}
3100
3101/* Implement the "memory-tag set-allocation-tag" command.
3102 ARGS should be in the format <address> <length> <tags>. */
3103
3104static void
3105memory_tag_set_allocation_tag_command (const char *args, int from_tty)
3106{
3107 if (!target_supports_memory_tagging ())
3108 show_memory_tagging_unsupported ();
3109
3110 if (args == nullptr)
3111 error_no_arg (_("<starting address> <length> <tag bytes>"));
3112
3113 gdb::byte_vector tags;
3114 size_t length = 0;
3115 struct value *val;
3116
3117 /* Parse the input. */
3118 parse_set_allocation_tag_input (args, &val, &length, tags);
3119
3120 if (!gdbarch_set_memtags (target_gdbarch (), val, length, tags,
3121 memtag_type::allocation))
3122 printf_filtered (_("Could not update the allocation tag(s).\n"));
3123 else
3124 printf_filtered (_("Allocation tag(s) updated successfully.\n"));
3125}
3126
3127/* Implement the "memory-tag check" command. */
3128
3129static void
3130memory_tag_check_command (const char *args, int from_tty)
3131{
3132 if (!target_supports_memory_tagging ())
3133 show_memory_tagging_unsupported ();
3134
3135 if (args == nullptr)
3136 error (_("Argument required (address or pointer)"));
3137
3138 /* Parse the expression into a value. If the value is an address or
3139 pointer, then check its logical tag against the allocation tag. */
3140 value_print_options print_opts;
3141
3142 struct value *val = process_print_command_args (args, &print_opts, true);
3143
3144 /* If the address is not in a region memory mapped with a memory tagging
3145 flag, it is no use trying to access/manipulate its allocation tag. */
3146 if (!gdbarch_tagged_address_p (target_gdbarch (), val))
3147 show_addr_not_tagged (value_as_address (val));
3148
3149 CORE_ADDR addr = value_as_address (val);
3150
3151 /* Check if the tag is valid. */
3152 if (!gdbarch_memtag_matches_p (target_gdbarch (), val))
3153 {
3154 struct value *tag
3155 = gdbarch_get_memtag (target_gdbarch (), val, memtag_type::logical);
3156 std::string ltag
3157 = gdbarch_memtag_to_string (target_gdbarch (), tag);
3158
3159 tag = gdbarch_get_memtag (target_gdbarch (), val,
3160 memtag_type::allocation);
3161 std::string atag
3162 = gdbarch_memtag_to_string (target_gdbarch (), tag);
3163
3164 printf_filtered (_("Logical tag (%s) does not match"
3165 " the allocation tag (%s) for address %s.\n"),
3166 ltag.c_str (), atag.c_str (),
3167 paddress (target_gdbarch (), addr));
3168 }
3169 else
3170 {
3171 struct value *tag
3172 = gdbarch_get_memtag (target_gdbarch (), val, memtag_type::logical);
3173 std::string ltag
3174 = gdbarch_memtag_to_string (target_gdbarch (), tag);
3175
3176 printf_filtered (_("Memory tags for address %s match (%s).\n"),
3177 paddress (target_gdbarch (), addr), ltag.c_str ());
3178 }
3179}
3180
6c265988 3181void _initialize_printcmd ();
c906108c 3182void
6c265988 3183_initialize_printcmd ()
c906108c 3184{
c94fdfd0
EZ
3185 struct cmd_list_element *c;
3186
c906108c
SS
3187 current_display_number = -1;
3188
76727919 3189 gdb::observers::free_objfile.attach (clear_dangling_display_expressions);
a3247a22 3190
11db9430 3191 add_info ("address", info_address_command,
188e1fa9
TT
3192 _("Describe where symbol SYM is stored.\n\
3193Usage: info address SYM"));
c906108c 3194
11db9430 3195 add_info ("symbol", info_symbol_command, _("\
1bedd215 3196Describe what symbol is at location ADDR.\n\
188e1fa9 3197Usage: info symbol ADDR\n\
1bedd215 3198Only for symbols with fixed locations (global or static scope)."));
c906108c 3199
037d7135 3200 c = add_com ("x", class_vars, x_command, _("\
1bedd215 3201Examine memory: x/FMT ADDRESS.\n\
c906108c
SS
3202ADDRESS is an expression for the memory address to examine.\n\
3203FMT is a repeat count followed by a format letter and a size letter.\n\
3204Format letters are o(octal), x(hex), d(decimal), u(unsigned decimal),\n\
6fbe845e
AB
3205 t(binary), f(float), a(address), i(instruction), c(char), s(string)\n\
3206 and z(hex, zero padded on the left).\n\
1bedd215 3207Size letters are b(byte), h(halfword), w(word), g(giant, 8 bytes).\n\
c906108c 3208The specified number of objects of the specified size are printed\n\
bb556f1f
TK
3209according to the format. If a negative number is specified, memory is\n\
3210examined backward from the address.\n\n\
c906108c
SS
3211Defaults for format and size letters are those previously used.\n\
3212Default count is 1. Default address is following last thing printed\n\
1bedd215 3213with this command or \"print\"."));
037d7135 3214 set_cmd_completer_handle_brkchars (c, display_and_x_command_completer);
c906108c 3215
11db9430 3216 add_info ("display", info_display_command, _("\
188e1fa9
TT
3217Expressions to display when program stops, with code numbers.\n\
3218Usage: info display"));
c906108c 3219
1a966eab
AC
3220 add_cmd ("undisplay", class_vars, undisplay_command, _("\
3221Cancel some expressions to be displayed when program stops.\n\
188e1fa9 3222Usage: undisplay [NUM]...\n\
c906108c
SS
3223Arguments are the code numbers of the expressions to stop displaying.\n\
3224No argument means cancel all automatic-display expressions.\n\
3225\"delete display\" has the same effect as this command.\n\
1a966eab 3226Do \"info display\" to see current list of code numbers."),
c5aa993b 3227 &cmdlist);
c906108c 3228
037d7135 3229 c = add_com ("display", class_vars, display_command, _("\
1bedd215 3230Print value of expression EXP each time the program stops.\n\
188e1fa9 3231Usage: display[/FMT] EXP\n\
c906108c
SS
3232/FMT may be used before EXP as in the \"print\" command.\n\
3233/FMT \"i\" or \"s\" or including a size-letter is allowed,\n\
3234as in the \"x\" command, and then EXP is used to get the address to examine\n\
3235and examining is done as in the \"x\" command.\n\n\
3236With no argument, display all currently requested auto-display expressions.\n\
1bedd215 3237Use \"undisplay\" to cancel display requests previously made."));
037d7135 3238 set_cmd_completer_handle_brkchars (c, display_and_x_command_completer);
c906108c 3239
c9174737 3240 add_cmd ("display", class_vars, enable_display_command, _("\
1a966eab 3241Enable some expressions to be displayed when program stops.\n\
188e1fa9 3242Usage: enable display [NUM]...\n\
c906108c
SS
3243Arguments are the code numbers of the expressions to resume displaying.\n\
3244No argument means enable all automatic-display expressions.\n\
1a966eab 3245Do \"info display\" to see current list of code numbers."), &enablelist);
c906108c 3246
1a966eab
AC
3247 add_cmd ("display", class_vars, disable_display_command, _("\
3248Disable some expressions to be displayed when program stops.\n\
188e1fa9 3249Usage: disable display [NUM]...\n\
c906108c
SS
3250Arguments are the code numbers of the expressions to stop displaying.\n\
3251No argument means disable all automatic-display expressions.\n\
1a966eab 3252Do \"info display\" to see current list of code numbers."), &disablelist);
c906108c 3253
1a966eab
AC
3254 add_cmd ("display", class_vars, undisplay_command, _("\
3255Cancel some expressions to be displayed when program stops.\n\
188e1fa9 3256Usage: delete display [NUM]...\n\
c906108c
SS
3257Arguments are the code numbers of the expressions to stop displaying.\n\
3258No argument means cancel all automatic-display expressions.\n\
1a966eab 3259Do \"info display\" to see current list of code numbers."), &deletelist);
c906108c 3260
1bedd215 3261 add_com ("printf", class_vars, printf_command, _("\
80ae639d 3262Formatted printing, like the C \"printf\" function.\n\
188e1fa9 3263Usage: printf \"format string\", ARG1, ARG2, ARG3, ..., ARGN\n\
80ae639d 3264This supports most C printf format specifications, like %s, %d, etc."));
c906108c 3265
1bedd215
AC
3266 add_com ("output", class_vars, output_command, _("\
3267Like \"print\" but don't put in value history and don't print newline.\n\
188e1fa9 3268Usage: output EXP\n\
1bedd215 3269This is useful in user-defined commands."));
c906108c 3270
1bedd215 3271 add_prefix_cmd ("set", class_vars, set_command, _("\
590042fc 3272Evaluate expression EXP and assign result to variable VAR.\n\
188e1fa9
TT
3273Usage: set VAR = EXP\n\
3274This uses assignment syntax appropriate for the current language\n\
3275(VAR = EXP or VAR := EXP for example).\n\
3276VAR may be a debugger \"convenience\" variable (names starting\n\
c906108c 3277with $), a register (a few standard names starting with $), or an actual\n\
1bedd215
AC
3278variable in the program being debugged. EXP is any valid expression.\n\
3279Use \"set variable\" for variables with names identical to set subcommands.\n\
3280\n\
3281With a subcommand, this command modifies parts of the gdb environment.\n\
3282You can see these environment settings with the \"show\" command."),
c5aa993b 3283 &setlist, "set ", 1, &cmdlist);
c906108c 3284 if (dbx_commands)
0b39b52e 3285 add_com ("assign", class_vars, set_command, _("\
590042fc 3286Evaluate expression EXP and assign result to variable VAR.\n\
188e1fa9
TT
3287Usage: assign VAR = EXP\n\
3288This uses assignment syntax appropriate for the current language\n\
3289(VAR = EXP or VAR := EXP for example).\n\
3290VAR may be a debugger \"convenience\" variable (names starting\n\
c906108c 3291with $), a register (a few standard names starting with $), or an actual\n\
1bedd215
AC
3292variable in the program being debugged. EXP is any valid expression.\n\
3293Use \"set variable\" for variables with names identical to set subcommands.\n\
c906108c 3294\nWith a subcommand, this command modifies parts of the gdb environment.\n\
1bedd215 3295You can see these environment settings with the \"show\" command."));
c906108c 3296
0df8b418 3297 /* "call" is the same as "set", but handy for dbx users to call fns. */
1bedd215
AC
3298 c = add_com ("call", class_vars, call_command, _("\
3299Call a function in the program.\n\
188e1fa9 3300Usage: call EXP\n\
c906108c
SS
3301The argument is the function name and arguments, in the notation of the\n\
3302current working language. The result is printed and saved in the value\n\
1bedd215 3303history, if it is not void."));
7d8062de 3304 set_cmd_completer_handle_brkchars (c, print_command_completer);
c906108c 3305
1a966eab 3306 add_cmd ("variable", class_vars, set_command, _("\
590042fc 3307Evaluate expression EXP and assign result to variable VAR.\n\
188e1fa9
TT
3308Usage: set variable VAR = EXP\n\
3309This uses assignment syntax appropriate for the current language\n\
3310(VAR = EXP or VAR := EXP for example).\n\
3311VAR may be a debugger \"convenience\" variable (names starting\n\
c906108c
SS
3312with $), a register (a few standard names starting with $), or an actual\n\
3313variable in the program being debugged. EXP is any valid expression.\n\
1a966eab 3314This may usually be abbreviated to simply \"set\"."),
c5aa993b 3315 &setlist);
3fcded8f 3316 add_alias_cmd ("var", "variable", class_vars, 0, &setlist);
c906108c 3317
7d8062de
PA
3318 const auto print_opts = make_value_print_options_def_group (nullptr);
3319
8abfcabc 3320 static const std::string print_help = gdb::option::build_help (_("\
1bedd215 3321Print value of expression EXP.\n\
7d8062de
PA
3322Usage: print [[OPTION]... --] [/FMT] [EXP]\n\
3323\n\
3324Options:\n\
590042fc
PW
3325%OPTIONS%\n\
3326\n\
7d8062de
PA
3327Note: because this command accepts arbitrary expressions, if you\n\
3328specify any command option, you must use a double dash (\"--\")\n\
3329to mark the end of option processing. E.g.: \"print -o -- myobj\".\n\
3330\n\
c906108c
SS
3331Variables accessible are those of the lexical environment of the selected\n\
3332stack frame, plus all those whose scope is global or an entire file.\n\
3333\n\
3334$NUM gets previous value number NUM. $ and $$ are the last two values.\n\
3335$$NUM refers to NUM'th value back from the last one.\n\
1bedd215
AC
3336Names starting with $ refer to registers (with the values they would have\n\
3337if the program were to return to the stack frame now selected, restoring\n\
c906108c
SS
3338all registers saved by frames farther in) or else to debugger\n\
3339\"convenience\" variables (any such name not a known register).\n\
1bedd215
AC
3340Use assignment expressions to give values to convenience variables.\n\
3341\n\
c906108c
SS
3342{TYPE}ADREXP refers to a datum of data type TYPE, located at address ADREXP.\n\
3343@ is a binary operator for treating consecutive data objects\n\
3344anywhere in memory as an array. FOO@NUM gives an array whose first\n\
3345element is FOO, whose second element is stored in the space following\n\
3346where FOO is stored, etc. FOO must be an expression whose value\n\
1bedd215
AC
3347resides in memory.\n\
3348\n\
c906108c 3349EXP may be preceded with /FMT, where FMT is a format letter\n\
7d8062de
PA
3350but no count or size letter (see \"x\" command)."),
3351 print_opts);
3352
3353 c = add_com ("print", class_vars, print_command, print_help.c_str ());
3354 set_cmd_completer_handle_brkchars (c, print_command_completer);
c906108c 3355 add_com_alias ("p", "print", class_vars, 1);
e93a8774 3356 add_com_alias ("inspect", "print", class_vars, 1);
c906108c 3357
35096d9d
AC
3358 add_setshow_uinteger_cmd ("max-symbolic-offset", no_class,
3359 &max_symbolic_offset, _("\
188e1fa9
TT
3360Set the largest offset that will be printed in <SYMBOL+1234> form."), _("\
3361Show the largest offset that will be printed in <SYMBOL+1234> form."), _("\
f81d1120
PA
3362Tell GDB to only display the symbolic form of an address if the\n\
3363offset between the closest earlier symbol and the address is less than\n\
3364the specified maximum offset. The default is \"unlimited\", which tells GDB\n\
3365to always print the symbolic form of an address if any symbol precedes\n\
3366it. Zero is equivalent to \"unlimited\"."),
35096d9d 3367 NULL,
920d2a44 3368 show_max_symbolic_offset,
35096d9d 3369 &setprintlist, &showprintlist);
5bf193a2
AC
3370 add_setshow_boolean_cmd ("symbol-filename", no_class,
3371 &print_symbol_filename, _("\
188e1fa9
TT
3372Set printing of source filename and line number with <SYMBOL>."), _("\
3373Show printing of source filename and line number with <SYMBOL>."), NULL,
5bf193a2 3374 NULL,
920d2a44 3375 show_print_symbol_filename,
5bf193a2 3376 &setprintlist, &showprintlist);
f1421989
HZ
3377
3378 add_com ("eval", no_class, eval_command, _("\
188e1fa9
TT
3379Construct a GDB command and then evaluate it.\n\
3380Usage: eval \"format string\", ARG1, ARG2, ARG3, ..., ARGN\n\
3381Convert the arguments to a string as \"printf\" would, but then\n\
3382treat this string as a command line, and evaluate it."));
48136e00
LM
3383
3384 /* Memory tagging commands. */
3385 add_prefix_cmd ("memory-tag", class_vars, memory_tag_command, _("\
3386Generic command for printing and manipulating memory tag properties."),
3387 &memory_tag_list, "memory-tag ", 0, &cmdlist);
3388 add_cmd ("print-logical-tag", class_vars,
3389 memory_tag_print_logical_tag_command,
3390 ("Print the logical tag from POINTER.\n\
3391Usage: memory-tag print-logical-tag <POINTER>.\n\
3392<POINTER> is an expression that evaluates to a pointer.\n\
3393Print the logical tag contained in POINTER. The tag interpretation is\n\
3394architecture-specific."),
3395 &memory_tag_list);
3396 add_cmd ("print-allocation-tag", class_vars,
3397 memory_tag_print_allocation_tag_command,
3398 _("Print the allocation tag for ADDRESS.\n\
3399Usage: memory-tag print-allocation-tag <ADDRESS>.\n\
3400<ADDRESS> is an expression that evaluates to a memory address.\n\
3401Print the allocation tag associated with the memory address ADDRESS.\n\
3402The tag interpretation is architecture-specific."),
3403 &memory_tag_list);
3404 add_cmd ("with-logical-tag", class_vars, memory_tag_with_logical_tag_command,
3405 _("Print a POINTER with a specific logical TAG.\n\
3406Usage: memory-tag with-logical-tag <POINTER> <TAG>\n\
3407<POINTER> is an expression that evaluates to a pointer.\n\
3408<TAG> is a sequence of hex bytes that is interpreted by the architecture\n\
3409as a single memory tag."),
3410 &memory_tag_list);
3411 add_cmd ("set-allocation-tag", class_vars,
3412 memory_tag_set_allocation_tag_command,
3413 _("Set the allocation tag(s) for a memory range.\n\
3414Usage: memory-tag set-allocation-tag <ADDRESS> <LENGTH> <TAG_BYTES>\n\
3415<ADDRESS> is an expression that evaluates to a memory address\n\
3416<LENGTH> is the number of bytes that is added to <ADDRESS> to calculate\n\
3417the memory range.\n\
3418<TAG_BYTES> is a sequence of hex bytes that is interpreted by the\n\
3419architecture as one or more memory tags.\n\
3420Sets the tags of the memory range [ADDRESS, ADDRESS + LENGTH)\n\
3421to TAG_BYTES.\n\
3422\n\
3423If the number of tags is greater than or equal to the number of tag granules\n\
3424in the [ADDRESS, ADDRESS + LENGTH) range, only the tags up to the\n\
3425number of tag granules are updated.\n\
3426\n\
3427If the number of tags is less than the number of tag granules, then the\n\
3428command is a fill operation. The TAG_BYTES are interpreted as a pattern\n\
3429that gets repeated until the number of tag granules in the memory range\n\
3430[ADDRESS, ADDRESS + LENGTH) is updated."),
3431 &memory_tag_list);
3432 add_cmd ("check", class_vars, memory_tag_check_command,
3433 _("Validate a pointer's logical tag against the allocation tag.\n\
3434Usage: memory-tag check <POINTER>\n\
3435<POINTER> is an expression that evaluates to a pointer\n\
3436Fetch the logical and allocation tags for POINTER and compare them\n\
3437for equality. If the tags do not match, print additional information about\n\
3438the tag mismatch."),
3439 &memory_tag_list);
c906108c 3440}