1 /* Print values for GNU debugger GDB.
3 Copyright (C) 1986-2022 Free Software Foundation, Inc.
5 This file is part of GDB.
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
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
27 #include "expression.h"
31 #include "breakpoint.h"
33 #include "gdb-demangle.h"
36 #include "symfile.h" /* for overlay functions */
37 #include "objfiles.h" /* ditto */
38 #include "completer.h" /* for completion functions */
42 #include "target-float.h"
43 #include "observable.h"
45 #include "parser-defs.h"
47 #include "arch-utils.h"
48 #include "cli/cli-utils.h"
49 #include "cli/cli-option.h"
50 #include "cli/cli-script.h"
51 #include "cli/cli-style.h"
52 #include "gdbsupport/format.h"
54 #include "gdbsupport/byte-vector.h"
55 #include "gdbsupport/gdb_optional.h"
56 #include "safe-ctype.h"
57 #include "gdbsupport/rsp-low.h"
59 /* Chain containing all defined memory-tag subcommands. */
61 static struct cmd_list_element
*memory_tag_list
;
63 /* Last specified output format. */
65 static char last_format
= 0;
67 /* Last specified examination size. 'b', 'h', 'w' or `q'. */
69 static char last_size
= 'w';
71 /* Last specified count for the 'x' command. */
73 static int last_count
;
75 /* Last specified tag-printing option. */
77 static bool last_print_tags
= false;
79 /* Default address to examine next, and associated architecture. */
81 static struct gdbarch
*next_gdbarch
;
82 static CORE_ADDR next_address
;
84 /* Number of delay instructions following current disassembled insn. */
86 static int branch_delay_insns
;
88 /* Last address examined. */
90 static CORE_ADDR last_examine_address
;
92 /* Contents of last address examined.
93 This is not valid past the end of the `x' command! */
95 static value_ref_ptr last_examine_value
;
97 /* Largest offset between a symbolic value and an address, that will be
98 printed as `0x1234 <symbol+offset>'. */
100 static unsigned int max_symbolic_offset
= UINT_MAX
;
102 show_max_symbolic_offset (struct ui_file
*file
, int from_tty
,
103 struct cmd_list_element
*c
, const char *value
)
106 _("The largest offset that will be "
107 "printed in <symbol+1234> form is %s.\n"),
111 /* Append the source filename and linenumber of the symbol when
112 printing a symbolic value as `<symbol at filename:linenum>' if set. */
113 static bool print_symbol_filename
= false;
115 show_print_symbol_filename (struct ui_file
*file
, int from_tty
,
116 struct cmd_list_element
*c
, const char *value
)
118 gdb_printf (file
, _("Printing of source filename and "
119 "line number with <symbol> is %s.\n"),
123 /* Number of auto-display expression currently being displayed.
124 So that we can disable it if we get a signal within it.
125 -1 when not doing one. */
127 static int current_display_number
;
129 /* Last allocated display number. */
131 static int display_number
;
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
),
148 /* The expression as the user typed it. */
149 std::string exp_string
;
151 /* Expression to be evaluated and displayed. */
154 /* Item number of this auto-display item. */
157 /* Display format specified. */
158 struct format_data format
;
160 /* Program space associated with `block'. */
161 struct program_space
*pspace
;
163 /* Innermost block required by this expression when evaluated. */
164 const struct block
*block
;
166 /* Status of this display (enabled or disabled). */
170 /* Expressions whose values should be displayed automatically each
171 time the program stops. */
173 static std::vector
<std::unique_ptr
<struct display
>> all_displays
;
175 /* Prototypes for local functions. */
177 static void do_one_display (struct display
*);
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
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. */
190 static struct format_data
191 decode_format (const char **string_ptr
, int oformat
, int osize
)
193 struct format_data val
;
194 const char *p
= *string_ptr
;
200 val
.print_tags
= false;
207 if (*p
>= '0' && *p
<= '9')
208 val
.count
*= atoi (p
);
209 while (*p
>= '0' && *p
<= '9')
212 /* Now process size or format letters that follow. */
216 if (*p
== 'b' || *p
== 'h' || *p
== 'w' || *p
== 'g')
225 val
.print_tags
= true;
228 else if (*p
>= 'a' && *p
<= 'z')
234 *string_ptr
= skip_spaces (p
);
236 /* Set defaults for format and size if not specified. */
237 if (val
.format
== '?')
241 /* Neither has been specified. */
242 val
.format
= oformat
;
246 /* If a size is specified, any format makes a reasonable
247 default except 'i'. */
248 val
.format
= oformat
== 'i' ? 'x' : oformat
;
250 else if (val
.size
== '?')
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
;
260 /* Floating point has to be word or giantword. */
261 if (osize
== 'w' || osize
== 'g')
264 /* Default it to giantword if the last used size is not
266 val
.size
= osize
? 'g' : osize
;
269 /* Characters default to one byte. */
270 val
.size
= osize
? 'b' : osize
;
273 /* Display strings with byte size chars unless explicitly
279 /* The default is the size most recently specified. */
286 /* Print value VAL on stream according to OPTIONS.
287 Do not end with a newline.
288 SIZE is the letter for the size of datum being printed.
289 This is used to pad hex numbers so they line up. SIZE is 0
290 for print / output and set for examine. */
293 print_formatted (struct value
*val
, int size
,
294 const struct value_print_options
*options
,
295 struct ui_file
*stream
)
297 struct type
*type
= check_typedef (value_type (val
));
298 int len
= type
->length ();
300 if (VALUE_LVAL (val
) == lval_memory
)
301 next_address
= value_address (val
) + len
;
305 switch (options
->format
)
309 struct type
*elttype
= value_type (val
);
311 next_address
= (value_address (val
)
312 + val_print_string (elttype
, NULL
,
313 value_address (val
), -1,
314 stream
, options
) * len
);
319 /* We often wrap here if there are long symbolic names. */
320 stream
->wrap_here (4);
321 next_address
= (value_address (val
)
322 + gdb_print_insn (type
->arch (),
323 value_address (val
), stream
,
324 &branch_delay_insns
));
329 if (options
->format
== 0 || options
->format
== 's'
330 || type
->code () == TYPE_CODE_VOID
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
)
337 value_print (val
, stream
, options
);
339 /* User specified format, so don't look to the type to tell us
341 value_print_scalar_formatted (val
, options
, size
, stream
);
344 /* Return builtin floating point type of same length as TYPE.
345 If no such type is found, return TYPE itself. */
347 float_type_from_length (struct type
*type
)
349 struct gdbarch
*gdbarch
= type
->arch ();
350 const struct builtin_type
*builtin
= builtin_type (gdbarch
);
352 if (type
->length () == builtin
->builtin_float
->length ())
353 type
= builtin
->builtin_float
;
354 else if (type
->length () == builtin
->builtin_double
->length ())
355 type
= builtin
->builtin_double
;
356 else if (type
->length () == builtin
->builtin_long_double
->length ())
357 type
= builtin
->builtin_long_double
;
362 /* Print a scalar of data of type TYPE, pointed to in GDB by VALADDR,
363 according to OPTIONS and SIZE on STREAM. Formats s and i are not
364 supported at this level. */
367 print_scalar_formatted (const gdb_byte
*valaddr
, struct type
*type
,
368 const struct value_print_options
*options
,
369 int size
, struct ui_file
*stream
)
371 struct gdbarch
*gdbarch
= type
->arch ();
372 unsigned int len
= type
->length ();
373 enum bfd_endian byte_order
= type_byte_order (type
);
375 /* String printing should go through val_print_scalar_formatted. */
376 gdb_assert (options
->format
!= 's');
378 /* If the value is a pointer, and pointers and addresses are not the
379 same, then at this point, the value's length (in target bytes) is
380 gdbarch_addr_bit/TARGET_CHAR_BIT, not type->length (). */
381 if (type
->code () == TYPE_CODE_PTR
)
382 len
= gdbarch_addr_bit (gdbarch
) / TARGET_CHAR_BIT
;
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). */
387 if (options
->format
!= 'c'
388 && (options
->format
!= 'd' || type
->is_unsigned ()))
390 if (len
< type
->length () && byte_order
== BFD_ENDIAN_BIG
)
391 valaddr
+= type
->length () - len
;
394 /* Allow LEN == 0, and in this case, don't assume that VALADDR is
396 const gdb_byte zero
= 0;
403 if (size
!= 0 && (options
->format
== 'x' || options
->format
== 't'))
405 /* Truncate to fit. */
422 error (_("Undefined output size \"%c\"."), size
);
424 if (newlen
< len
&& byte_order
== BFD_ENDIAN_BIG
)
425 valaddr
+= len
- newlen
;
429 /* Biased range types and sub-word scalar types must be handled
430 here; the value is correctly computed by unpack_long. */
431 gdb::byte_vector converted_bytes
;
432 /* Some cases below will unpack the value again. In the biased
433 range case, we want to avoid this, so we store the unpacked value
434 here for possible use later. */
435 gdb::optional
<LONGEST
> val_long
;
436 if ((is_fixed_point_type (type
)
437 && (options
->format
== 'o'
438 || options
->format
== 'x'
439 || options
->format
== 't'
440 || options
->format
== 'z'
441 || options
->format
== 'd'
442 || options
->format
== 'u'))
443 || (type
->code () == TYPE_CODE_RANGE
&& type
->bounds ()->bias
!= 0)
444 || type
->bit_size_differs_p ())
446 val_long
.emplace (unpack_long (type
, valaddr
));
447 converted_bytes
.resize (type
->length ());
448 store_signed_integer (converted_bytes
.data (), type
->length (),
449 byte_order
, *val_long
);
450 valaddr
= converted_bytes
.data ();
453 /* Printing a non-float type as 'f' will interpret the data as if it were
454 of a floating-point type of the same length, if that exists. Otherwise,
455 the data is printed as integer. */
456 char format
= options
->format
;
457 if (format
== 'f' && type
->code () != TYPE_CODE_FLT
)
459 type
= float_type_from_length (type
);
460 if (type
->code () != TYPE_CODE_FLT
)
467 print_octal_chars (stream
, valaddr
, len
, byte_order
);
470 print_decimal_chars (stream
, valaddr
, len
, true, byte_order
);
473 print_decimal_chars (stream
, valaddr
, len
, false, byte_order
);
476 if (type
->code () != TYPE_CODE_FLT
)
478 print_decimal_chars (stream
, valaddr
, len
, !type
->is_unsigned (),
484 print_floating (valaddr
, type
, stream
);
488 print_binary_chars (stream
, valaddr
, len
, byte_order
, size
> 0, options
);
491 print_hex_chars (stream
, valaddr
, len
, byte_order
, size
> 0);
494 print_hex_chars (stream
, valaddr
, len
, byte_order
, true);
498 struct value_print_options opts
= *options
;
500 if (!val_long
.has_value ())
501 val_long
.emplace (unpack_long (type
, valaddr
));
504 if (type
->is_unsigned ())
505 type
= builtin_type (gdbarch
)->builtin_true_unsigned_char
;
507 type
= builtin_type (gdbarch
)->builtin_true_char
;
509 value_print (value_from_longest (type
, *val_long
), stream
, &opts
);
515 if (!val_long
.has_value ())
516 val_long
.emplace (unpack_long (type
, valaddr
));
517 print_address (gdbarch
, *val_long
, stream
);
522 error (_("Undefined output format \"%c\"."), format
);
526 /* Specify default address for `x' command.
527 The `info lines' command uses this. */
530 set_next_address (struct gdbarch
*gdbarch
, CORE_ADDR addr
)
532 struct type
*ptr_type
= builtin_type (gdbarch
)->builtin_data_ptr
;
534 next_gdbarch
= gdbarch
;
537 /* Make address available to the user as $_. */
538 set_internalvar (lookup_internalvar ("_"),
539 value_from_pointer (ptr_type
, addr
));
542 /* Optionally print address ADDR symbolically as <SYMBOL+OFFSET> on STREAM,
543 after LEADIN. Print nothing if no symbolic name is found nearby.
544 Optionally also print source file and line number, if available.
545 DO_DEMANGLE controls whether to print a symbol in its native "raw" form,
546 or to interpret it as a possible C++ name and convert it back to source
547 form. However note that DO_DEMANGLE can be overridden by the specific
548 settings of the demangle and asm_demangle variables. Returns
549 non-zero if anything was printed; zero otherwise. */
552 print_address_symbolic (struct gdbarch
*gdbarch
, CORE_ADDR addr
,
553 struct ui_file
*stream
,
554 int do_demangle
, const char *leadin
)
556 std::string name
, filename
;
561 if (build_address_symbolic (gdbarch
, addr
, do_demangle
, false, &name
,
562 &offset
, &filename
, &line
, &unmapped
))
565 gdb_puts (leadin
, stream
);
567 gdb_puts ("<*", stream
);
569 gdb_puts ("<", stream
);
570 fputs_styled (name
.c_str (), function_name_style
.style (), stream
);
572 gdb_printf (stream
, "%+d", offset
);
574 /* Append source filename and line number if desired. Give specific
575 line # of this addr, if we have it; else line # of the nearest symbol. */
576 if (print_symbol_filename
&& !filename
.empty ())
578 gdb_puts (line
== -1 ? " in " : " at ", stream
);
579 fputs_styled (filename
.c_str (), file_name_style
.style (), stream
);
581 gdb_printf (stream
, ":%d", line
);
584 gdb_puts ("*>", stream
);
586 gdb_puts (">", stream
);
591 /* See valprint.h. */
594 build_address_symbolic (struct gdbarch
*gdbarch
,
595 CORE_ADDR addr
, /* IN */
596 bool do_demangle
, /* IN */
597 bool prefer_sym_over_minsym
, /* IN */
598 std::string
*name
, /* OUT */
599 int *offset
, /* OUT */
600 std::string
*filename
, /* OUT */
602 int *unmapped
) /* OUT */
604 struct bound_minimal_symbol msymbol
;
605 struct symbol
*symbol
;
606 CORE_ADDR name_location
= 0;
607 struct obj_section
*section
= NULL
;
608 const char *name_temp
= "";
610 /* Let's say it is mapped (not unmapped). */
613 /* Determine if the address is in an overlay, and whether it is
615 if (overlay_debugging
)
617 section
= find_pc_overlay (addr
);
618 if (pc_in_unmapped_range (addr
, section
))
621 addr
= overlay_mapped_address (addr
, section
);
625 /* Try to find the address in both the symbol table and the minsyms.
626 In most cases, we'll prefer to use the symbol instead of the
627 minsym. However, there are cases (see below) where we'll choose
628 to use the minsym instead. */
630 /* This is defective in the sense that it only finds text symbols. So
631 really this is kind of pointless--we should make sure that the
632 minimal symbols have everything we need (by changing that we could
633 save some memory, but for many debug format--ELF/DWARF or
634 anything/stabs--it would be inconvenient to eliminate those minimal
636 msymbol
= lookup_minimal_symbol_by_pc_section (addr
, section
);
637 symbol
= find_pc_sect_function (addr
, section
);
641 /* If this is a function (i.e. a code address), strip out any
642 non-address bits. For instance, display a pointer to the
643 first instruction of a Thumb function as <function>; the
644 second instruction will be <function+2>, even though the
645 pointer is <function+3>. This matches the ISA behavior. */
646 addr
= gdbarch_addr_bits_remove (gdbarch
, addr
);
648 name_location
= symbol
->value_block ()->entry_pc ();
649 if (do_demangle
|| asm_demangle
)
650 name_temp
= symbol
->print_name ();
652 name_temp
= symbol
->linkage_name ();
655 if (msymbol
.minsym
!= NULL
656 && msymbol
.minsym
->has_size ()
657 && msymbol
.minsym
->size () == 0
658 && msymbol
.minsym
->type () != mst_text
659 && msymbol
.minsym
->type () != mst_text_gnu_ifunc
660 && msymbol
.minsym
->type () != mst_file_text
)
661 msymbol
.minsym
= NULL
;
663 if (msymbol
.minsym
!= NULL
)
665 /* Use the minsym if no symbol is found.
667 Additionally, use the minsym instead of a (found) symbol if
668 the following conditions all hold:
669 1) The prefer_sym_over_minsym flag is false.
670 2) The minsym address is identical to that of the address under
672 3) The symbol address is not identical to that of the address
673 under consideration. */
674 if (symbol
== NULL
||
675 (!prefer_sym_over_minsym
676 && msymbol
.value_address () == addr
677 && name_location
!= addr
))
679 /* If this is a function (i.e. a code address), strip out any
680 non-address bits. For instance, display a pointer to the
681 first instruction of a Thumb function as <function>; the
682 second instruction will be <function+2>, even though the
683 pointer is <function+3>. This matches the ISA behavior. */
684 if (msymbol
.minsym
->type () == mst_text
685 || msymbol
.minsym
->type () == mst_text_gnu_ifunc
686 || msymbol
.minsym
->type () == mst_file_text
687 || msymbol
.minsym
->type () == mst_solib_trampoline
)
688 addr
= gdbarch_addr_bits_remove (gdbarch
, addr
);
691 name_location
= msymbol
.value_address ();
692 if (do_demangle
|| asm_demangle
)
693 name_temp
= msymbol
.minsym
->print_name ();
695 name_temp
= msymbol
.minsym
->linkage_name ();
698 if (symbol
== NULL
&& msymbol
.minsym
== NULL
)
701 /* If the nearest symbol is too far away, don't print anything symbolic. */
703 /* For when CORE_ADDR is larger than unsigned int, we do math in
704 CORE_ADDR. But when we detect unsigned wraparound in the
705 CORE_ADDR math, we ignore this test and print the offset,
706 because addr+max_symbolic_offset has wrapped through the end
707 of the address space back to the beginning, giving bogus comparison. */
708 if (addr
> name_location
+ max_symbolic_offset
709 && name_location
+ max_symbolic_offset
> name_location
)
712 *offset
= (LONGEST
) addr
- name_location
;
716 if (print_symbol_filename
)
718 struct symtab_and_line sal
;
720 sal
= find_pc_sect_line (addr
, section
, 0);
724 *filename
= symtab_to_filename_for_display (sal
.symtab
);
732 /* Print address ADDR symbolically on STREAM.
733 First print it as a number. Then perhaps print
734 <SYMBOL + OFFSET> after the number. */
737 print_address (struct gdbarch
*gdbarch
,
738 CORE_ADDR addr
, struct ui_file
*stream
)
740 fputs_styled (paddress (gdbarch
, addr
), address_style
.style (), stream
);
741 print_address_symbolic (gdbarch
, addr
, stream
, asm_demangle
, " ");
744 /* Return a prefix for instruction address:
745 "=> " for current instruction, else " ". */
748 pc_prefix (CORE_ADDR addr
)
750 if (has_stack_frames ())
752 frame_info_ptr frame
;
755 frame
= get_selected_frame (NULL
);
756 if (get_frame_pc_if_available (frame
, &pc
) && pc
== addr
)
762 /* Print address ADDR symbolically on STREAM. Parameter DEMANGLE
763 controls whether to print the symbolic name "raw" or demangled.
764 Return non-zero if anything was printed; zero otherwise. */
767 print_address_demangle (const struct value_print_options
*opts
,
768 struct gdbarch
*gdbarch
, CORE_ADDR addr
,
769 struct ui_file
*stream
, int do_demangle
)
771 if (opts
->addressprint
)
773 fputs_styled (paddress (gdbarch
, addr
), address_style
.style (), stream
);
774 print_address_symbolic (gdbarch
, addr
, stream
, do_demangle
, " ");
778 return print_address_symbolic (gdbarch
, addr
, stream
, do_demangle
, "");
784 /* Find the address of the instruction that is INST_COUNT instructions before
785 the instruction at ADDR.
786 Since some architectures have variable-length instructions, we can't just
787 simply subtract INST_COUNT * INSN_LEN from ADDR. Instead, we use line
788 number information to locate the nearest known instruction boundary,
789 and disassemble forward from there. If we go out of the symbol range
790 during disassembling, we return the lowest address we've got so far and
791 set the number of instructions read to INST_READ. */
794 find_instruction_backward (struct gdbarch
*gdbarch
, CORE_ADDR addr
,
795 int inst_count
, int *inst_read
)
797 /* The vector PCS is used to store instruction addresses within
799 CORE_ADDR loop_start
, loop_end
, p
;
800 std::vector
<CORE_ADDR
> pcs
;
801 struct symtab_and_line sal
;
804 loop_start
= loop_end
= addr
;
806 /* In each iteration of the outer loop, we get a pc range that ends before
807 LOOP_START, then we count and store every instruction address of the range
808 iterated in the loop.
809 If the number of instructions counted reaches INST_COUNT, return the
810 stored address that is located INST_COUNT instructions back from ADDR.
811 If INST_COUNT is not reached, we subtract the number of counted
812 instructions from INST_COUNT, and go to the next iteration. */
816 sal
= find_pc_sect_line (loop_start
, NULL
, 1);
819 /* We reach here when line info is not available. In this case,
820 we print a message and just exit the loop. The return value
821 is calculated after the loop. */
822 gdb_printf (_("No line number information available "
824 gdb_stdout
->wrap_here (2);
825 print_address (gdbarch
, loop_start
- 1, gdb_stdout
);
830 loop_end
= loop_start
;
833 /* This loop pushes instruction addresses in the range from
834 LOOP_START to LOOP_END. */
835 for (p
= loop_start
; p
< loop_end
;)
838 p
+= gdb_insn_length (gdbarch
, p
);
841 inst_count
-= pcs
.size ();
842 *inst_read
+= pcs
.size ();
844 while (inst_count
> 0);
846 /* After the loop, the vector PCS has instruction addresses of the last
847 source line we processed, and INST_COUNT has a negative value.
848 We return the address at the index of -INST_COUNT in the vector for
850 Let's assume the following instruction addresses and run 'x/-4i 0x400e'.
860 find_instruction_backward is called with INST_COUNT = 4 and expected to
861 return 0x4001. When we reach here, INST_COUNT is set to -1 because
862 it was subtracted by 2 (from Line Y) and 3 (from Line X). The value
863 4001 is located at the index 1 of the last iterated line (= Line X),
864 which is simply calculated by -INST_COUNT.
865 The case when the length of PCS is 0 means that we reached an area for
866 which line info is not available. In such case, we return LOOP_START,
867 which was the lowest instruction address that had line info. */
868 p
= pcs
.size () > 0 ? pcs
[-inst_count
] : loop_start
;
870 /* INST_READ includes all instruction addresses in a pc range. Need to
871 exclude the beginning part up to the address we're returning. That
872 is, exclude {0x4000} in the example above. */
874 *inst_read
+= inst_count
;
879 /* Backward read LEN bytes of target memory from address MEMADDR + LEN,
880 placing the results in GDB's memory from MYADDR + LEN. Returns
881 a count of the bytes actually read. */
884 read_memory_backward (struct gdbarch
*gdbarch
,
885 CORE_ADDR memaddr
, gdb_byte
*myaddr
, int len
)
888 int nread
; /* Number of bytes actually read. */
890 /* First try a complete read. */
891 errcode
= target_read_memory (memaddr
, myaddr
, len
);
899 /* Loop, reading one byte at a time until we get as much as we can. */
902 for (nread
= 0; nread
< len
; ++nread
)
904 errcode
= target_read_memory (--memaddr
, --myaddr
, 1);
907 /* The read was unsuccessful, so exit the loop. */
908 gdb_printf (_("Cannot access memory at address %s\n"),
909 paddress (gdbarch
, memaddr
));
917 /* Returns true if X (which is LEN bytes wide) is the number zero. */
920 integer_is_zero (const gdb_byte
*x
, int len
)
924 while (i
< len
&& x
[i
] == 0)
929 /* Find the start address of a string in which ADDR is included.
930 Basically we search for '\0' and return the next address,
931 but if OPTIONS->PRINT_MAX is smaller than the length of a string,
932 we stop searching and return the address to print characters as many as
933 PRINT_MAX from the string. */
936 find_string_backward (struct gdbarch
*gdbarch
,
937 CORE_ADDR addr
, int count
, int char_size
,
938 const struct value_print_options
*options
,
939 int *strings_counted
)
941 const int chunk_size
= 0x20;
944 int chars_to_read
= chunk_size
;
945 int chars_counted
= 0;
946 int count_original
= count
;
947 CORE_ADDR string_start_addr
= addr
;
949 gdb_assert (char_size
== 1 || char_size
== 2 || char_size
== 4);
950 gdb::byte_vector
buffer (chars_to_read
* char_size
);
951 while (count
> 0 && read_error
== 0)
955 addr
-= chars_to_read
* char_size
;
956 chars_read
= read_memory_backward (gdbarch
, addr
, buffer
.data (),
957 chars_to_read
* char_size
);
958 chars_read
/= char_size
;
959 read_error
= (chars_read
== chars_to_read
) ? 0 : 1;
960 /* Searching for '\0' from the end of buffer in backward direction. */
961 for (i
= 0; i
< chars_read
&& count
> 0 ; ++i
, ++chars_counted
)
963 int offset
= (chars_to_read
- i
- 1) * char_size
;
965 if (integer_is_zero (&buffer
[offset
], char_size
)
966 || chars_counted
== options
->print_max
)
968 /* Found '\0' or reached print_max. As OFFSET is the offset to
969 '\0', we add CHAR_SIZE to return the start address of
972 string_start_addr
= addr
+ offset
+ char_size
;
978 /* Update STRINGS_COUNTED with the actual number of loaded strings. */
979 *strings_counted
= count_original
- count
;
983 /* In error case, STRING_START_ADDR is pointing to the string that
984 was last successfully loaded. Rewind the partially loaded string. */
985 string_start_addr
-= chars_counted
* char_size
;
988 return string_start_addr
;
991 /* Examine data at address ADDR in format FMT.
992 Fetch it from memory and print on gdb_stdout. */
995 do_examine (struct format_data fmt
, struct gdbarch
*gdbarch
, CORE_ADDR addr
)
1000 struct type
*val_type
= NULL
;
1003 struct value_print_options opts
;
1004 int need_to_update_next_address
= 0;
1005 CORE_ADDR addr_rewound
= 0;
1007 format
= fmt
.format
;
1010 next_gdbarch
= gdbarch
;
1011 next_address
= addr
;
1013 /* Instruction format implies fetch single bytes
1014 regardless of the specified size.
1015 The case of strings is handled in decode_format, only explicit
1016 size operator are not changed to 'b'. */
1022 /* Pick the appropriate size for an address. */
1023 if (gdbarch_ptr_bit (next_gdbarch
) == 64)
1025 else if (gdbarch_ptr_bit (next_gdbarch
) == 32)
1027 else if (gdbarch_ptr_bit (next_gdbarch
) == 16)
1030 /* Bad value for gdbarch_ptr_bit. */
1031 internal_error (_("failed internal consistency check"));
1035 val_type
= builtin_type (next_gdbarch
)->builtin_int8
;
1036 else if (size
== 'h')
1037 val_type
= builtin_type (next_gdbarch
)->builtin_int16
;
1038 else if (size
== 'w')
1039 val_type
= builtin_type (next_gdbarch
)->builtin_int32
;
1040 else if (size
== 'g')
1041 val_type
= builtin_type (next_gdbarch
)->builtin_int64
;
1045 struct type
*char_type
= NULL
;
1047 /* Search for "char16_t" or "char32_t" types or fall back to 8-bit char
1048 if type is not found. */
1050 char_type
= builtin_type (next_gdbarch
)->builtin_char16
;
1051 else if (size
== 'w')
1052 char_type
= builtin_type (next_gdbarch
)->builtin_char32
;
1054 val_type
= char_type
;
1057 if (size
!= '\0' && size
!= 'b')
1058 warning (_("Unable to display strings with "
1059 "size '%c', using 'b' instead."), size
);
1061 val_type
= builtin_type (next_gdbarch
)->builtin_int8
;
1070 if (format
== 's' || format
== 'i')
1073 get_formatted_print_options (&opts
, format
);
1077 /* This is the negative repeat count case.
1078 We rewind the address based on the given repeat count and format,
1079 then examine memory from there in forward direction. */
1084 next_address
= find_instruction_backward (gdbarch
, addr
, count
,
1087 else if (format
== 's')
1089 next_address
= find_string_backward (gdbarch
, addr
, count
,
1090 val_type
->length (),
1095 next_address
= addr
- count
* val_type
->length ();
1098 /* The following call to print_formatted updates next_address in every
1099 iteration. In backward case, we store the start address here
1100 and update next_address with it before exiting the function. */
1101 addr_rewound
= (format
== 's'
1102 ? next_address
- val_type
->length ()
1104 need_to_update_next_address
= 1;
1107 /* Whether we need to print the memory tag information for the current
1109 bool print_range_tag
= true;
1110 uint32_t gsize
= gdbarch_memtag_granule_size (gdbarch
);
1112 /* Print as many objects as specified in COUNT, at most maxelts per line,
1113 with the address of the next one at the start of each line. */
1119 CORE_ADDR tag_laddr
= 0, tag_haddr
= 0;
1121 /* Print the memory tag information if requested. */
1122 if (fmt
.print_tags
&& print_range_tag
1123 && target_supports_memory_tagging ())
1125 tag_laddr
= align_down (next_address
, gsize
);
1126 tag_haddr
= align_down (next_address
+ gsize
, gsize
);
1128 struct value
*v_addr
1129 = value_from_ulongest (builtin_type (gdbarch
)->builtin_data_ptr
,
1132 if (gdbarch_tagged_address_p (target_gdbarch (), v_addr
))
1134 /* Fetch the allocation tag. */
1136 = gdbarch_get_memtag (gdbarch
, v_addr
, memtag_type::allocation
);
1138 = gdbarch_memtag_to_string (gdbarch
, tag
);
1142 gdb_printf (_("<Allocation Tag %s for range [%s,%s)>\n"),
1144 paddress (gdbarch
, tag_laddr
),
1145 paddress (gdbarch
, tag_haddr
));
1148 print_range_tag
= false;
1152 gdb_puts (pc_prefix (next_address
));
1153 print_address (next_gdbarch
, next_address
, gdb_stdout
);
1160 /* Note that print_formatted sets next_address for the next
1162 last_examine_address
= next_address
;
1164 /* The value to be displayed is not fetched greedily.
1165 Instead, to avoid the possibility of a fetched value not
1166 being used, its retrieval is delayed until the print code
1167 uses it. When examining an instruction stream, the
1168 disassembler will perform its own memory fetch using just
1169 the address stored in LAST_EXAMINE_VALUE. FIXME: Should
1170 the disassembler be modified so that LAST_EXAMINE_VALUE
1171 is left with the byte sequence from the last complete
1172 instruction fetched from memory? */
1174 = release_value (value_at_lazy (val_type
, next_address
));
1176 print_formatted (last_examine_value
.get (), size
, &opts
, gdb_stdout
);
1178 /* Display any branch delay slots following the final insn. */
1179 if (format
== 'i' && count
== 1)
1180 count
+= branch_delay_insns
;
1182 /* Update the tag range based on the current address being
1184 if (tag_haddr
<= next_address
)
1185 print_range_tag
= true;
1190 if (need_to_update_next_address
)
1191 next_address
= addr_rewound
;
1195 validate_format (struct format_data fmt
, const char *cmdname
)
1198 error (_("Size letters are meaningless in \"%s\" command."), cmdname
);
1200 error (_("Item count other than 1 is meaningless in \"%s\" command."),
1202 if (fmt
.format
== 'i')
1203 error (_("Format letter \"%c\" is meaningless in \"%s\" command."),
1204 fmt
.format
, cmdname
);
1207 /* Parse print command format string into *OPTS and update *EXPP.
1208 CMDNAME should name the current command. */
1211 print_command_parse_format (const char **expp
, const char *cmdname
,
1212 value_print_options
*opts
)
1214 const char *exp
= *expp
;
1216 /* opts->raw value might already have been set by 'set print raw-values'
1217 or by using 'print -raw-values'.
1218 So, do not set opts->raw to 0, only set it to 1 if /r is given. */
1219 if (exp
&& *exp
== '/')
1224 fmt
= decode_format (&exp
, last_format
, 0);
1225 validate_format (fmt
, cmdname
);
1226 last_format
= fmt
.format
;
1228 opts
->format
= fmt
.format
;
1229 opts
->raw
= opts
->raw
|| fmt
.raw
;
1239 /* See valprint.h. */
1242 print_value (value
*val
, const value_print_options
&opts
)
1244 int histindex
= record_latest_value (val
);
1246 annotate_value_history_begin (histindex
, value_type (val
));
1248 gdb_printf ("$%d = ", histindex
);
1250 annotate_value_history_value ();
1252 print_formatted (val
, 0, &opts
, gdb_stdout
);
1255 annotate_value_history_end ();
1258 /* Returns true if memory tags should be validated. False otherwise. */
1261 should_validate_memtags (struct value
*value
)
1263 gdb_assert (value
!= nullptr && value_type (value
) != nullptr);
1265 if (!target_supports_memory_tagging ())
1268 enum type_code code
= value_type (value
)->code ();
1270 /* Skip non-address values. */
1271 if (code
!= TYPE_CODE_PTR
1272 && !TYPE_IS_REFERENCE (value_type (value
)))
1275 /* OK, we have an address value. Check we have a complete value we
1277 if (value_optimized_out (value
)
1278 || !value_entirely_available (value
))
1281 /* We do. Check whether it includes any tags. */
1282 return gdbarch_tagged_address_p (target_gdbarch (), value
);
1285 /* Helper for parsing arguments for print_command_1. */
1287 static struct value
*
1288 process_print_command_args (const char *args
, value_print_options
*print_opts
,
1291 get_user_print_options (print_opts
);
1292 /* Override global settings with explicit options, if any. */
1293 auto group
= make_value_print_options_def_group (print_opts
);
1294 gdb::option::process_options
1295 (&args
, gdb::option::PROCESS_OPTIONS_REQUIRE_DELIMITER
, group
);
1297 print_command_parse_format (&args
, "print", print_opts
);
1299 const char *exp
= args
;
1301 if (exp
!= nullptr && *exp
)
1303 /* VOIDPRINT is true to indicate that we do want to print a void
1304 value, so invert it for parse_expression. */
1305 expression_up expr
= parse_expression (exp
, nullptr, !voidprint
);
1306 return evaluate_expression (expr
.get ());
1309 return access_value_history (0);
1312 /* Implementation of the "print" and "call" commands. */
1315 print_command_1 (const char *args
, int voidprint
)
1317 value_print_options print_opts
;
1319 struct value
*val
= process_print_command_args (args
, &print_opts
, voidprint
);
1321 if (voidprint
|| (val
&& value_type (val
) &&
1322 value_type (val
)->code () != TYPE_CODE_VOID
))
1324 /* If memory tagging validation is on, check if the tag is valid. */
1325 if (print_opts
.memory_tag_violations
)
1329 if (should_validate_memtags (val
)
1330 && !gdbarch_memtag_matches_p (target_gdbarch (), val
))
1332 /* Fetch the logical tag. */
1334 = gdbarch_get_memtag (target_gdbarch (), val
,
1335 memtag_type::logical
);
1337 = gdbarch_memtag_to_string (target_gdbarch (), tag
);
1339 /* Fetch the allocation tag. */
1340 tag
= gdbarch_get_memtag (target_gdbarch (), val
,
1341 memtag_type::allocation
);
1343 = gdbarch_memtag_to_string (target_gdbarch (), tag
);
1345 gdb_printf (_("Logical tag (%s) does not match the "
1346 "allocation tag (%s).\n"),
1347 ltag
.c_str (), atag
.c_str ());
1350 catch (gdb_exception_error
&ex
)
1352 if (ex
.error
== TARGET_CLOSE_ERROR
)
1355 gdb_printf (gdb_stderr
,
1356 _("Could not validate memory tag: %s\n"),
1357 ex
.message
->c_str ());
1361 print_value (val
, print_opts
);
1365 /* Called from command completion function to skip over /FMT
1366 specifications, allowing the rest of the line to be completed. Returns
1367 true if the /FMT is at the end of the current line and there is nothing
1368 left to complete, otherwise false is returned.
1370 In either case *ARGS can be updated to point after any part of /FMT that
1373 This function is designed so that trying to complete '/' will offer no
1374 completions, the user needs to insert the format specification
1375 themselves. Trying to complete '/FMT' (where FMT is any non-empty set
1376 of alpha-numeric characters) will cause readline to insert a single
1377 space, setting the user up to enter the expression. */
1380 skip_over_slash_fmt (completion_tracker
&tracker
, const char **args
)
1382 const char *text
= *args
;
1387 tracker
.set_use_custom_word_point (true);
1389 if (text
[1] == '\0')
1391 /* The user tried to complete after typing just the '/' character
1392 of the /FMT string. Step the completer past the '/', but we
1393 don't offer any completions. */
1399 /* The user has typed some characters after the '/', we assume
1400 this is a complete /FMT string, first skip over it. */
1401 text
= skip_to_space (text
);
1405 /* We're at the end of the input string. The user has typed
1406 '/FMT' and asked for a completion. Push an empty
1407 completion string, this will cause readline to insert a
1408 space so the user now has '/FMT '. */
1410 tracker
.add_completion (make_unique_xstrdup (text
));
1414 /* The user has already typed things after the /FMT, skip the
1415 whitespace and return false. Whoever called this function
1416 should then try to complete what comes next. */
1418 text
= skip_spaces (text
);
1422 tracker
.advance_custom_word_point_by (text
- *args
);
1430 /* See valprint.h. */
1433 print_command_completer (struct cmd_list_element
*ignore
,
1434 completion_tracker
&tracker
,
1435 const char *text
, const char * /*word*/)
1437 const auto group
= make_value_print_options_def_group (nullptr);
1438 if (gdb::option::complete_options
1439 (tracker
, &text
, gdb::option::PROCESS_OPTIONS_REQUIRE_DELIMITER
, group
))
1442 if (skip_over_slash_fmt (tracker
, &text
))
1445 const char *word
= advance_to_expression_complete_word_point (tracker
, text
);
1446 expression_completer (ignore
, tracker
, text
, word
);
1450 print_command (const char *exp
, int from_tty
)
1452 print_command_1 (exp
, true);
1455 /* Same as print, except it doesn't print void results. */
1457 call_command (const char *exp
, int from_tty
)
1459 print_command_1 (exp
, false);
1462 /* Implementation of the "output" command. */
1465 output_command (const char *exp
, int from_tty
)
1469 struct format_data fmt
;
1470 struct value_print_options opts
;
1475 if (exp
&& *exp
== '/')
1478 fmt
= decode_format (&exp
, 0, 0);
1479 validate_format (fmt
, "output");
1480 format
= fmt
.format
;
1483 expression_up expr
= parse_expression (exp
);
1485 val
= evaluate_expression (expr
.get ());
1487 annotate_value_begin (value_type (val
));
1489 get_formatted_print_options (&opts
, format
);
1491 print_formatted (val
, fmt
.size
, &opts
, gdb_stdout
);
1493 annotate_value_end ();
1495 gdb_flush (gdb_stdout
);
1499 set_command (const char *exp
, int from_tty
)
1501 expression_up expr
= parse_expression (exp
);
1503 switch (expr
->op
->opcode ())
1505 case UNOP_PREINCREMENT
:
1506 case UNOP_POSTINCREMENT
:
1507 case UNOP_PREDECREMENT
:
1508 case UNOP_POSTDECREMENT
:
1510 case BINOP_ASSIGN_MODIFY
:
1515 (_("Expression is not an assignment (and might have no effect)"));
1518 evaluate_expression (expr
.get ());
1522 info_symbol_command (const char *arg
, int from_tty
)
1524 struct minimal_symbol
*msymbol
;
1525 struct obj_section
*osect
;
1526 CORE_ADDR addr
, sect_addr
;
1528 unsigned int offset
;
1531 error_no_arg (_("address"));
1533 addr
= parse_and_eval_address (arg
);
1534 for (objfile
*objfile
: current_program_space
->objfiles ())
1535 ALL_OBJFILE_OSECTIONS (objfile
, osect
)
1537 /* Only process each object file once, even if there's a separate
1539 if (objfile
->separate_debug_objfile_backlink
)
1542 sect_addr
= overlay_mapped_address (addr
, osect
);
1544 if (osect
->addr () <= sect_addr
&& sect_addr
< osect
->endaddr ()
1546 = lookup_minimal_symbol_by_pc_section (sect_addr
,
1549 const char *obj_name
, *mapped
, *sec_name
, *msym_name
;
1550 const char *loc_string
;
1553 offset
= sect_addr
- msymbol
->value_address (objfile
);
1554 mapped
= section_is_mapped (osect
) ? _("mapped") : _("unmapped");
1555 sec_name
= osect
->the_bfd_section
->name
;
1556 msym_name
= msymbol
->print_name ();
1558 /* Don't print the offset if it is zero.
1559 We assume there's no need to handle i18n of "sym + offset". */
1560 std::string string_holder
;
1563 string_holder
= string_printf ("%s + %u", msym_name
, offset
);
1564 loc_string
= string_holder
.c_str ();
1567 loc_string
= msym_name
;
1569 gdb_assert (osect
->objfile
&& objfile_name (osect
->objfile
));
1570 obj_name
= objfile_name (osect
->objfile
);
1572 if (current_program_space
->multi_objfile_p ())
1573 if (pc_in_unmapped_range (addr
, osect
))
1574 if (section_is_overlay (osect
))
1575 gdb_printf (_("%s in load address range of "
1576 "%s overlay section %s of %s\n"),
1577 loc_string
, mapped
, sec_name
, obj_name
);
1579 gdb_printf (_("%s in load address range of "
1580 "section %s of %s\n"),
1581 loc_string
, sec_name
, obj_name
);
1583 if (section_is_overlay (osect
))
1584 gdb_printf (_("%s in %s overlay section %s of %s\n"),
1585 loc_string
, mapped
, sec_name
, obj_name
);
1587 gdb_printf (_("%s in section %s of %s\n"),
1588 loc_string
, sec_name
, obj_name
);
1590 if (pc_in_unmapped_range (addr
, osect
))
1591 if (section_is_overlay (osect
))
1592 gdb_printf (_("%s in load address range of %s overlay "
1594 loc_string
, mapped
, sec_name
);
1597 (_("%s in load address range of section %s\n"),
1598 loc_string
, sec_name
);
1600 if (section_is_overlay (osect
))
1601 gdb_printf (_("%s in %s overlay section %s\n"),
1602 loc_string
, mapped
, sec_name
);
1604 gdb_printf (_("%s in section %s\n"),
1605 loc_string
, sec_name
);
1609 gdb_printf (_("No symbol matches %s.\n"), arg
);
1613 info_address_command (const char *exp
, int from_tty
)
1615 struct gdbarch
*gdbarch
;
1618 struct bound_minimal_symbol msymbol
;
1620 struct obj_section
*section
;
1621 CORE_ADDR load_addr
, context_pc
= 0;
1622 struct field_of_this_result is_a_field_of_this
;
1625 error (_("Argument required."));
1627 sym
= lookup_symbol (exp
, get_selected_block (&context_pc
), VAR_DOMAIN
,
1628 &is_a_field_of_this
).symbol
;
1631 if (is_a_field_of_this
.type
!= NULL
)
1633 gdb_printf ("Symbol \"");
1634 fprintf_symbol (gdb_stdout
, exp
,
1635 current_language
->la_language
, DMGL_ANSI
);
1636 gdb_printf ("\" is a field of the local class variable ");
1637 if (current_language
->la_language
== language_objc
)
1638 gdb_printf ("`self'\n"); /* ObjC equivalent of "this" */
1640 gdb_printf ("`this'\n");
1644 msymbol
= lookup_bound_minimal_symbol (exp
);
1646 if (msymbol
.minsym
!= NULL
)
1648 struct objfile
*objfile
= msymbol
.objfile
;
1650 gdbarch
= objfile
->arch ();
1651 load_addr
= msymbol
.value_address ();
1653 gdb_printf ("Symbol \"");
1654 fprintf_symbol (gdb_stdout
, exp
,
1655 current_language
->la_language
, DMGL_ANSI
);
1656 gdb_printf ("\" is at ");
1657 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1659 gdb_printf (" in a file compiled without debugging");
1660 section
= msymbol
.minsym
->obj_section (objfile
);
1661 if (section_is_overlay (section
))
1663 load_addr
= overlay_unmapped_address (load_addr
, section
);
1664 gdb_printf (",\n -- loaded at ");
1665 fputs_styled (paddress (gdbarch
, load_addr
),
1666 address_style
.style (),
1668 gdb_printf (" in overlay section %s",
1669 section
->the_bfd_section
->name
);
1674 error (_("No symbol \"%s\" in current context."), exp
);
1678 gdb_printf ("Symbol \"");
1679 gdb_puts (sym
->print_name ());
1680 gdb_printf ("\" is ");
1681 val
= sym
->value_longest ();
1682 if (sym
->is_objfile_owned ())
1683 section
= sym
->obj_section (sym
->objfile ());
1686 gdbarch
= sym
->arch ();
1688 if (SYMBOL_COMPUTED_OPS (sym
) != NULL
)
1690 SYMBOL_COMPUTED_OPS (sym
)->describe_location (sym
, context_pc
,
1696 switch (sym
->aclass ())
1699 case LOC_CONST_BYTES
:
1700 gdb_printf ("constant");
1704 gdb_printf ("a label at address ");
1705 load_addr
= sym
->value_address ();
1706 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1708 if (section_is_overlay (section
))
1710 load_addr
= overlay_unmapped_address (load_addr
, section
);
1711 gdb_printf (",\n -- loaded at ");
1712 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1714 gdb_printf (" in overlay section %s",
1715 section
->the_bfd_section
->name
);
1720 gdb_assert_not_reached ("LOC_COMPUTED variable missing a method");
1723 /* GDBARCH is the architecture associated with the objfile the symbol
1724 is defined in; the target architecture may be different, and may
1725 provide additional registers. However, we do not know the target
1726 architecture at this point. We assume the objfile architecture
1727 will contain all the standard registers that occur in debug info
1729 regno
= SYMBOL_REGISTER_OPS (sym
)->register_number (sym
, gdbarch
);
1731 if (sym
->is_argument ())
1732 gdb_printf (_("an argument in register %s"),
1733 gdbarch_register_name (gdbarch
, regno
));
1735 gdb_printf (_("a variable in register %s"),
1736 gdbarch_register_name (gdbarch
, regno
));
1740 gdb_printf (_("static storage at address "));
1741 load_addr
= sym
->value_address ();
1742 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1744 if (section_is_overlay (section
))
1746 load_addr
= overlay_unmapped_address (load_addr
, section
);
1747 gdb_printf (_(",\n -- loaded at "));
1748 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1750 gdb_printf (_(" in overlay section %s"),
1751 section
->the_bfd_section
->name
);
1755 case LOC_REGPARM_ADDR
:
1756 /* Note comment at LOC_REGISTER. */
1757 regno
= SYMBOL_REGISTER_OPS (sym
)->register_number (sym
, gdbarch
);
1758 gdb_printf (_("address of an argument in register %s"),
1759 gdbarch_register_name (gdbarch
, regno
));
1763 gdb_printf (_("an argument at offset %ld"), val
);
1767 gdb_printf (_("a local variable at frame offset %ld"), val
);
1771 gdb_printf (_("a reference argument at offset %ld"), val
);
1775 gdb_printf (_("a typedef"));
1779 gdb_printf (_("a function at address "));
1780 load_addr
= sym
->value_block ()->entry_pc ();
1781 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1783 if (section_is_overlay (section
))
1785 load_addr
= overlay_unmapped_address (load_addr
, section
);
1786 gdb_printf (_(",\n -- loaded at "));
1787 fputs_styled (paddress (gdbarch
, load_addr
), address_style
.style (),
1789 gdb_printf (_(" in overlay section %s"),
1790 section
->the_bfd_section
->name
);
1794 case LOC_UNRESOLVED
:
1796 struct bound_minimal_symbol msym
;
1798 msym
= lookup_bound_minimal_symbol (sym
->linkage_name ());
1799 if (msym
.minsym
== NULL
)
1800 gdb_printf ("unresolved");
1803 section
= msym
.obj_section ();
1806 && (section
->the_bfd_section
->flags
& SEC_THREAD_LOCAL
) != 0)
1808 load_addr
= msym
.minsym
->value_raw_address ();
1809 gdb_printf (_("a thread-local variable at offset %s "
1810 "in the thread-local storage for `%s'"),
1811 paddress (gdbarch
, load_addr
),
1812 objfile_name (section
->objfile
));
1816 load_addr
= msym
.value_address ();
1817 gdb_printf (_("static storage at address "));
1818 fputs_styled (paddress (gdbarch
, load_addr
),
1819 address_style
.style (), gdb_stdout
);
1820 if (section_is_overlay (section
))
1822 load_addr
= overlay_unmapped_address (load_addr
, section
);
1823 gdb_printf (_(",\n -- loaded at "));
1824 fputs_styled (paddress (gdbarch
, load_addr
),
1825 address_style
.style (),
1827 gdb_printf (_(" in overlay section %s"),
1828 section
->the_bfd_section
->name
);
1835 case LOC_OPTIMIZED_OUT
:
1836 gdb_printf (_("optimized out"));
1840 gdb_printf (_("of unknown (botched) type"));
1848 x_command (const char *exp
, int from_tty
)
1850 struct format_data fmt
;
1853 fmt
.format
= last_format
? last_format
: 'x';
1854 fmt
.print_tags
= last_print_tags
;
1855 fmt
.size
= last_size
;
1859 /* If there is no expression and no format, use the most recent
1861 if (exp
== nullptr && last_count
> 0)
1862 fmt
.count
= last_count
;
1864 if (exp
&& *exp
== '/')
1866 const char *tmp
= exp
+ 1;
1868 fmt
= decode_format (&tmp
, last_format
, last_size
);
1872 last_count
= fmt
.count
;
1874 /* If we have an expression, evaluate it and use it as the address. */
1876 if (exp
!= 0 && *exp
!= 0)
1878 expression_up expr
= parse_expression (exp
);
1879 /* Cause expression not to be there any more if this command is
1880 repeated with Newline. But don't clobber a user-defined
1881 command's definition. */
1883 set_repeat_arguments ("");
1884 val
= evaluate_expression (expr
.get ());
1885 if (TYPE_IS_REFERENCE (value_type (val
)))
1886 val
= coerce_ref (val
);
1887 /* In rvalue contexts, such as this, functions are coerced into
1888 pointers to functions. This makes "x/i main" work. */
1889 if (value_type (val
)->code () == TYPE_CODE_FUNC
1890 && VALUE_LVAL (val
) == lval_memory
)
1891 next_address
= value_address (val
);
1893 next_address
= value_as_address (val
);
1895 next_gdbarch
= expr
->gdbarch
;
1899 error_no_arg (_("starting display address"));
1901 do_examine (fmt
, next_gdbarch
, next_address
);
1903 /* If the examine succeeds, we remember its size and format for next
1904 time. Set last_size to 'b' for strings. */
1905 if (fmt
.format
== 's')
1908 last_size
= fmt
.size
;
1909 last_format
= fmt
.format
;
1911 /* Remember tag-printing setting. */
1912 last_print_tags
= fmt
.print_tags
;
1914 /* Set a couple of internal variables if appropriate. */
1915 if (last_examine_value
!= nullptr)
1917 /* Make last address examined available to the user as $_. Use
1918 the correct pointer type. */
1919 struct type
*pointer_type
1920 = lookup_pointer_type (value_type (last_examine_value
.get ()));
1921 set_internalvar (lookup_internalvar ("_"),
1922 value_from_pointer (pointer_type
,
1923 last_examine_address
));
1925 /* Make contents of last address examined available to the user
1926 as $__. If the last value has not been fetched from memory
1927 then don't fetch it now; instead mark it by voiding the $__
1929 if (value_lazy (last_examine_value
.get ()))
1930 clear_internalvar (lookup_internalvar ("__"));
1932 set_internalvar (lookup_internalvar ("__"), last_examine_value
.get ());
1936 /* Command completion for the 'display' and 'x' commands. */
1939 display_and_x_command_completer (struct cmd_list_element
*ignore
,
1940 completion_tracker
&tracker
,
1941 const char *text
, const char * /*word*/)
1943 if (skip_over_slash_fmt (tracker
, &text
))
1946 const char *word
= advance_to_expression_complete_word_point (tracker
, text
);
1947 expression_completer (ignore
, tracker
, text
, word
);
1952 /* Add an expression to the auto-display chain.
1953 Specify the expression. */
1956 display_command (const char *arg
, int from_tty
)
1958 struct format_data fmt
;
1959 struct display
*newobj
;
1960 const char *exp
= arg
;
1971 fmt
= decode_format (&exp
, 0, 0);
1972 if (fmt
.size
&& fmt
.format
== 0)
1974 if (fmt
.format
== 'i' || fmt
.format
== 's')
1985 innermost_block_tracker tracker
;
1986 expression_up expr
= parse_expression (exp
, &tracker
);
1988 newobj
= new display (exp
, std::move (expr
), fmt
,
1989 current_program_space
, tracker
.block ());
1990 all_displays
.emplace_back (newobj
);
1993 do_one_display (newobj
);
1998 /* Clear out the display_chain. Done when new symtabs are loaded,
1999 since this invalidates the types stored in many expressions. */
2004 all_displays
.clear ();
2007 /* Delete the auto-display DISPLAY. */
2010 delete_display (struct display
*display
)
2012 gdb_assert (display
!= NULL
);
2014 auto iter
= std::find_if (all_displays
.begin (),
2015 all_displays
.end (),
2016 [=] (const std::unique_ptr
<struct display
> &item
)
2018 return item
.get () == display
;
2020 gdb_assert (iter
!= all_displays
.end ());
2021 all_displays
.erase (iter
);
2024 /* Call FUNCTION on each of the displays whose numbers are given in
2025 ARGS. DATA is passed unmodified to FUNCTION. */
2028 map_display_numbers (const char *args
,
2029 gdb::function_view
<void (struct display
*)> function
)
2034 error_no_arg (_("one or more display numbers"));
2036 number_or_range_parser
parser (args
);
2038 while (!parser
.finished ())
2040 const char *p
= parser
.cur_tok ();
2042 num
= parser
.get_number ();
2044 warning (_("bad display number at or near '%s'"), p
);
2047 auto iter
= std::find_if (all_displays
.begin (),
2048 all_displays
.end (),
2049 [=] (const std::unique_ptr
<display
> &item
)
2051 return item
->number
== num
;
2053 if (iter
== all_displays
.end ())
2054 gdb_printf (_("No display number %d.\n"), num
);
2056 function (iter
->get ());
2061 /* "undisplay" command. */
2064 undisplay_command (const char *args
, int from_tty
)
2068 if (query (_("Delete all auto-display expressions? ")))
2074 map_display_numbers (args
, delete_display
);
2078 /* Display a single auto-display.
2079 Do nothing if the display cannot be printed in the current context,
2080 or if the display is disabled. */
2083 do_one_display (struct display
*d
)
2085 int within_current_scope
;
2090 /* The expression carries the architecture that was used at parse time.
2091 This is a problem if the expression depends on architecture features
2092 (e.g. register numbers), and the current architecture is now different.
2093 For example, a display statement like "display/i $pc" is expected to
2094 display the PC register of the current architecture, not the arch at
2095 the time the display command was given. Therefore, we re-parse the
2096 expression if the current architecture has changed. */
2097 if (d
->exp
!= NULL
&& d
->exp
->gdbarch
!= get_current_arch ())
2108 innermost_block_tracker tracker
;
2109 d
->exp
= parse_expression (d
->exp_string
.c_str (), &tracker
);
2110 d
->block
= tracker
.block ();
2112 catch (const gdb_exception
&ex
)
2114 /* Can't re-parse the expression. Disable this display item. */
2115 d
->enabled_p
= false;
2116 warning (_("Unable to display \"%s\": %s"),
2117 d
->exp_string
.c_str (), ex
.what ());
2124 if (d
->pspace
== current_program_space
)
2125 within_current_scope
= contained_in (get_selected_block (0), d
->block
,
2128 within_current_scope
= 0;
2131 within_current_scope
= 1;
2132 if (!within_current_scope
)
2135 scoped_restore save_display_number
2136 = make_scoped_restore (¤t_display_number
, d
->number
);
2138 annotate_display_begin ();
2139 gdb_printf ("%d", d
->number
);
2140 annotate_display_number_end ();
2145 annotate_display_format ();
2148 if (d
->format
.count
!= 1)
2149 gdb_printf ("%d", d
->format
.count
);
2150 gdb_printf ("%c", d
->format
.format
);
2151 if (d
->format
.format
!= 'i' && d
->format
.format
!= 's')
2152 gdb_printf ("%c", d
->format
.size
);
2155 annotate_display_expression ();
2157 gdb_puts (d
->exp_string
.c_str ());
2158 annotate_display_expression_end ();
2160 if (d
->format
.count
!= 1 || d
->format
.format
== 'i')
2165 annotate_display_value ();
2172 val
= evaluate_expression (d
->exp
.get ());
2173 addr
= value_as_address (val
);
2174 if (d
->format
.format
== 'i')
2175 addr
= gdbarch_addr_bits_remove (d
->exp
->gdbarch
, addr
);
2176 do_examine (d
->format
, d
->exp
->gdbarch
, addr
);
2178 catch (const gdb_exception_error
&ex
)
2180 gdb_printf (_("%p[<error: %s>%p]\n"),
2181 metadata_style
.style ().ptr (), ex
.what (),
2187 struct value_print_options opts
;
2189 annotate_display_format ();
2191 if (d
->format
.format
)
2192 gdb_printf ("/%c ", d
->format
.format
);
2194 annotate_display_expression ();
2196 gdb_puts (d
->exp_string
.c_str ());
2197 annotate_display_expression_end ();
2201 annotate_display_expression ();
2203 get_formatted_print_options (&opts
, d
->format
.format
);
2204 opts
.raw
= d
->format
.raw
;
2210 val
= evaluate_expression (d
->exp
.get ());
2211 print_formatted (val
, d
->format
.size
, &opts
, gdb_stdout
);
2213 catch (const gdb_exception_error
&ex
)
2215 fprintf_styled (gdb_stdout
, metadata_style
.style (),
2216 _("<error: %s>"), ex
.what ());
2222 annotate_display_end ();
2224 gdb_flush (gdb_stdout
);
2227 /* Display all of the values on the auto-display chain which can be
2228 evaluated in the current scope. */
2233 for (auto &d
: all_displays
)
2234 do_one_display (d
.get ());
2237 /* Delete the auto-display which we were in the process of displaying.
2238 This is done when there is an error or a signal. */
2241 disable_display (int num
)
2243 for (auto &d
: all_displays
)
2244 if (d
->number
== num
)
2246 d
->enabled_p
= false;
2249 gdb_printf (_("No display number %d.\n"), num
);
2253 disable_current_display (void)
2255 if (current_display_number
>= 0)
2257 disable_display (current_display_number
);
2258 gdb_printf (gdb_stderr
,
2259 _("Disabling display %d to "
2260 "avoid infinite recursion.\n"),
2261 current_display_number
);
2263 current_display_number
= -1;
2267 info_display_command (const char *ignore
, int from_tty
)
2269 if (all_displays
.empty ())
2270 gdb_printf (_("There are no auto-display expressions now.\n"));
2272 gdb_printf (_("Auto-display expressions now in effect:\n\
2273 Num Enb Expression\n"));
2275 for (auto &d
: all_displays
)
2277 gdb_printf ("%d: %c ", d
->number
, "ny"[(int) d
->enabled_p
]);
2279 gdb_printf ("/%d%c%c ", d
->format
.count
, d
->format
.size
,
2281 else if (d
->format
.format
)
2282 gdb_printf ("/%c ", d
->format
.format
);
2283 gdb_puts (d
->exp_string
.c_str ());
2284 if (d
->block
&& !contained_in (get_selected_block (0), d
->block
, true))
2285 gdb_printf (_(" (cannot be evaluated in the current context)"));
2290 /* Implementation of both the "disable display" and "enable display"
2291 commands. ENABLE decides what to do. */
2294 enable_disable_display_command (const char *args
, int from_tty
, bool enable
)
2298 for (auto &d
: all_displays
)
2299 d
->enabled_p
= enable
;
2303 map_display_numbers (args
,
2304 [=] (struct display
*d
)
2306 d
->enabled_p
= enable
;
2310 /* The "enable display" command. */
2313 enable_display_command (const char *args
, int from_tty
)
2315 enable_disable_display_command (args
, from_tty
, true);
2318 /* The "disable display" command. */
2321 disable_display_command (const char *args
, int from_tty
)
2323 enable_disable_display_command (args
, from_tty
, false);
2326 /* display_chain items point to blocks and expressions. Some expressions in
2327 turn may point to symbols.
2328 Both symbols and blocks are obstack_alloc'd on objfile_stack, and are
2329 obstack_free'd when a shared library is unloaded.
2330 Clear pointers that are about to become dangling.
2331 Both .exp and .block fields will be restored next time we need to display
2332 an item by re-parsing .exp_string field in the new execution context. */
2335 clear_dangling_display_expressions (struct objfile
*objfile
)
2337 struct program_space
*pspace
;
2339 /* With no symbol file we cannot have a block or expression from it. */
2340 if (objfile
== NULL
)
2342 pspace
= objfile
->pspace
;
2343 if (objfile
->separate_debug_objfile_backlink
)
2345 objfile
= objfile
->separate_debug_objfile_backlink
;
2346 gdb_assert (objfile
->pspace
== pspace
);
2349 for (auto &d
: all_displays
)
2351 if (d
->pspace
!= pspace
)
2354 struct objfile
*bl_objf
= nullptr;
2355 if (d
->block
!= nullptr)
2357 bl_objf
= block_objfile (d
->block
);
2358 if (bl_objf
->separate_debug_objfile_backlink
!= nullptr)
2359 bl_objf
= bl_objf
->separate_debug_objfile_backlink
;
2362 if (bl_objf
== objfile
2363 || (d
->exp
!= NULL
&& exp_uses_objfile (d
->exp
.get (), objfile
)))
2372 /* Print the value in stack frame FRAME of a variable specified by a
2373 struct symbol. NAME is the name to print; if NULL then VAR's print
2374 name will be used. STREAM is the ui_file on which to print the
2375 value. INDENT specifies the number of indent levels to print
2376 before printing the variable name.
2378 This function invalidates FRAME. */
2381 print_variable_and_value (const char *name
, struct symbol
*var
,
2382 frame_info_ptr frame
,
2383 struct ui_file
*stream
, int indent
)
2387 name
= var
->print_name ();
2389 gdb_printf (stream
, "%*s%ps = ", 2 * indent
, "",
2390 styled_string (variable_name_style
.style (), name
));
2395 struct value_print_options opts
;
2397 /* READ_VAR_VALUE needs a block in order to deal with non-local
2398 references (i.e. to handle nested functions). In this context, we
2399 print variables that are local to this frame, so we can avoid passing
2401 val
= read_var_value (var
, NULL
, frame
);
2402 get_user_print_options (&opts
);
2403 opts
.deref_ref
= true;
2404 common_val_print_checked (val
, stream
, indent
, &opts
, current_language
);
2406 /* common_val_print invalidates FRAME when a pretty printer calls inferior
2410 catch (const gdb_exception_error
&except
)
2412 fprintf_styled (stream
, metadata_style
.style (),
2413 "<error reading variable %s (%s)>", name
,
2417 gdb_printf (stream
, "\n");
2420 /* Subroutine of ui_printf to simplify it.
2421 Print VALUE to STREAM using FORMAT.
2422 VALUE is a C-style string either on the target or
2423 in a GDB internal variable. */
2426 printf_c_string (struct ui_file
*stream
, const char *format
,
2427 struct value
*value
)
2429 const gdb_byte
*str
;
2431 if (value_type (value
)->code () != TYPE_CODE_PTR
2432 && VALUE_LVAL (value
) == lval_internalvar
2433 && c_is_string_type_p (value_type (value
)))
2435 size_t len
= value_type (value
)->length ();
2437 /* Copy the internal var value to TEM_STR and append a terminating null
2438 character. This protects against corrupted C-style strings that lack
2439 the terminating null char. It also allows Ada-style strings (not
2440 null terminated) to be printed without problems. */
2441 gdb_byte
*tem_str
= (gdb_byte
*) alloca (len
+ 1);
2443 memcpy (tem_str
, value_contents (value
).data (), len
);
2449 CORE_ADDR tem
= value_as_address (value
);;
2454 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2455 gdb_printf (stream
, format
, "(null)");
2460 /* This is a %s argument. Find the length of the string. */
2463 for (len
= 0;; len
++)
2468 read_memory (tem
+ len
, &c
, 1);
2473 /* Copy the string contents into a string inside GDB. */
2474 gdb_byte
*tem_str
= (gdb_byte
*) alloca (len
+ 1);
2477 read_memory (tem
, tem_str
, len
);
2483 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2484 gdb_printf (stream
, format
, (char *) str
);
2488 /* Subroutine of ui_printf to simplify it.
2489 Print VALUE to STREAM using FORMAT.
2490 VALUE is a wide C-style string on the target or
2491 in a GDB internal variable. */
2494 printf_wide_c_string (struct ui_file
*stream
, const char *format
,
2495 struct value
*value
)
2497 const gdb_byte
*str
;
2499 struct gdbarch
*gdbarch
= value_type (value
)->arch ();
2500 struct type
*wctype
= lookup_typename (current_language
,
2501 "wchar_t", NULL
, 0);
2502 int wcwidth
= wctype
->length ();
2504 if (VALUE_LVAL (value
) == lval_internalvar
2505 && c_is_string_type_p (value_type (value
)))
2507 str
= value_contents (value
).data ();
2508 len
= value_type (value
)->length ();
2512 CORE_ADDR tem
= value_as_address (value
);
2517 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2518 gdb_printf (stream
, format
, "(null)");
2523 /* This is a %s argument. Find the length of the string. */
2524 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
2525 gdb_byte
*buf
= (gdb_byte
*) alloca (wcwidth
);
2527 for (len
= 0;; len
+= wcwidth
)
2530 read_memory (tem
+ len
, buf
, wcwidth
);
2531 if (extract_unsigned_integer (buf
, wcwidth
, byte_order
) == 0)
2535 /* Copy the string contents into a string inside GDB. */
2536 gdb_byte
*tem_str
= (gdb_byte
*) alloca (len
+ wcwidth
);
2539 read_memory (tem
, tem_str
, len
);
2540 memset (&tem_str
[len
], 0, wcwidth
);
2544 auto_obstack output
;
2546 convert_between_encodings (target_wide_charset (gdbarch
),
2549 &output
, translit_char
);
2550 obstack_grow_str0 (&output
, "");
2553 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2554 gdb_printf (stream
, format
, obstack_base (&output
));
2558 /* Subroutine of ui_printf to simplify it.
2559 Print VALUE, a floating point value, to STREAM using FORMAT. */
2562 printf_floating (struct ui_file
*stream
, const char *format
,
2563 struct value
*value
, enum argclass argclass
)
2565 /* Parameter data. */
2566 struct type
*param_type
= value_type (value
);
2567 struct gdbarch
*gdbarch
= param_type
->arch ();
2569 /* Determine target type corresponding to the format string. */
2570 struct type
*fmt_type
;
2574 fmt_type
= builtin_type (gdbarch
)->builtin_double
;
2576 case long_double_arg
:
2577 fmt_type
= builtin_type (gdbarch
)->builtin_long_double
;
2579 case dec32float_arg
:
2580 fmt_type
= builtin_type (gdbarch
)->builtin_decfloat
;
2582 case dec64float_arg
:
2583 fmt_type
= builtin_type (gdbarch
)->builtin_decdouble
;
2585 case dec128float_arg
:
2586 fmt_type
= builtin_type (gdbarch
)->builtin_declong
;
2589 gdb_assert_not_reached ("unexpected argument class");
2592 /* To match the traditional GDB behavior, the conversion is
2593 done differently depending on the type of the parameter:
2595 - if the parameter has floating-point type, it's value
2596 is converted to the target type;
2598 - otherwise, if the parameter has a type that is of the
2599 same size as a built-in floating-point type, the value
2600 bytes are interpreted as if they were of that type, and
2601 then converted to the target type (this is not done for
2602 decimal floating-point argument classes);
2604 - otherwise, if the source value has an integer value,
2605 it's value is converted to the target type;
2607 - otherwise, an error is raised.
2609 In either case, the result of the conversion is a byte buffer
2610 formatted in the target format for the target type. */
2612 if (fmt_type
->code () == TYPE_CODE_FLT
)
2614 param_type
= float_type_from_length (param_type
);
2615 if (param_type
!= value_type (value
))
2616 value
= value_from_contents (param_type
,
2617 value_contents (value
).data ());
2620 value
= value_cast (fmt_type
, value
);
2622 /* Convert the value to a string and print it. */
2624 = target_float_to_string (value_contents (value
).data (), fmt_type
, format
);
2625 gdb_puts (str
.c_str (), stream
);
2628 /* Subroutine of ui_printf to simplify it.
2629 Print VALUE, a target pointer, to STREAM using FORMAT. */
2632 printf_pointer (struct ui_file
*stream
, const char *format
,
2633 struct value
*value
)
2635 /* We avoid the host's %p because pointers are too
2636 likely to be the wrong size. The only interesting
2637 modifier for %p is a width; extract that, and then
2638 handle %p as glibc would: %#x or a literal "(nil)". */
2642 #ifdef PRINTF_HAS_LONG_LONG
2643 long long val
= value_as_long (value
);
2645 long val
= value_as_long (value
);
2648 fmt
= (char *) alloca (strlen (format
) + 5);
2650 /* Copy up to the leading %. */
2655 int is_percent
= (*p
== '%');
2670 /* Copy any width or flags. Only the "-" flag is valid for pointers
2671 -- see the format_pieces constructor. */
2672 while (*p
== '-' || (*p
>= '0' && *p
< '9'))
2675 gdb_assert (*p
== 'p' && *(p
+ 1) == '\0');
2678 #ifdef PRINTF_HAS_LONG_LONG
2685 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2686 gdb_printf (stream
, fmt
, val
);
2694 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2695 gdb_printf (stream
, fmt
, "(nil)");
2700 /* printf "printf format string" ARG to STREAM. */
2703 ui_printf (const char *arg
, struct ui_file
*stream
)
2705 const char *s
= arg
;
2706 std::vector
<struct value
*> val_args
;
2709 error_no_arg (_("format-control string and values to print"));
2711 s
= skip_spaces (s
);
2713 /* A format string should follow, enveloped in double quotes. */
2715 error (_("Bad format string, missing '\"'."));
2717 format_pieces
fpieces (&s
);
2720 error (_("Bad format string, non-terminated '\"'."));
2722 s
= skip_spaces (s
);
2724 if (*s
!= ',' && *s
!= 0)
2725 error (_("Invalid argument syntax"));
2729 s
= skip_spaces (s
);
2734 const char *current_substring
;
2737 for (auto &&piece
: fpieces
)
2738 if (piece
.argclass
!= literal_piece
)
2741 /* Now, parse all arguments and evaluate them.
2742 Store the VALUEs in VAL_ARGS. */
2749 val_args
.push_back (parse_to_comma_and_eval (&s1
));
2756 if (val_args
.size () != nargs_wanted
)
2757 error (_("Wrong number of arguments for specified format-string"));
2759 /* Now actually print them. */
2761 for (auto &&piece
: fpieces
)
2763 current_substring
= piece
.string
;
2764 switch (piece
.argclass
)
2767 printf_c_string (stream
, current_substring
, val_args
[i
]);
2769 case wide_string_arg
:
2770 printf_wide_c_string (stream
, current_substring
, val_args
[i
]);
2774 struct gdbarch
*gdbarch
= value_type (val_args
[i
])->arch ();
2775 struct type
*wctype
= lookup_typename (current_language
,
2776 "wchar_t", NULL
, 0);
2777 struct type
*valtype
;
2778 const gdb_byte
*bytes
;
2780 valtype
= value_type (val_args
[i
]);
2781 if (valtype
->length () != wctype
->length ()
2782 || valtype
->code () != TYPE_CODE_INT
)
2783 error (_("expected wchar_t argument for %%lc"));
2785 bytes
= value_contents (val_args
[i
]).data ();
2787 auto_obstack output
;
2789 convert_between_encodings (target_wide_charset (gdbarch
),
2791 bytes
, valtype
->length (),
2793 &output
, translit_char
);
2794 obstack_grow_str0 (&output
, "");
2797 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2798 gdb_printf (stream
, current_substring
,
2799 obstack_base (&output
));
2804 #ifdef PRINTF_HAS_LONG_LONG
2806 long long val
= value_as_long (val_args
[i
]);
2809 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2810 gdb_printf (stream
, current_substring
, val
);
2815 error (_("long long not supported in printf"));
2819 int val
= value_as_long (val_args
[i
]);
2822 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2823 gdb_printf (stream
, current_substring
, val
);
2829 long val
= value_as_long (val_args
[i
]);
2832 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2833 gdb_printf (stream
, current_substring
, val
);
2839 size_t val
= value_as_long (val_args
[i
]);
2842 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2843 gdb_printf (stream
, current_substring
, val
);
2847 /* Handles floating-point values. */
2849 case long_double_arg
:
2850 case dec32float_arg
:
2851 case dec64float_arg
:
2852 case dec128float_arg
:
2853 printf_floating (stream
, current_substring
, val_args
[i
],
2857 printf_pointer (stream
, current_substring
, val_args
[i
]);
2860 /* Print a portion of the format string that has no
2861 directives. Note that this will not include any
2862 ordinary %-specs, but it might include "%%". That is
2863 why we use gdb_printf and not gdb_puts here.
2864 Also, we pass a dummy argument because some platforms
2865 have modified GCC to include -Wformat-security by
2866 default, which will warn here if there is no
2869 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
2870 gdb_printf (stream
, current_substring
, 0);
2874 internal_error (_("failed internal consistency check"));
2876 /* Maybe advance to the next argument. */
2877 if (piece
.argclass
!= literal_piece
)
2883 /* Implement the "printf" command. */
2886 printf_command (const char *arg
, int from_tty
)
2888 ui_printf (arg
, gdb_stdout
);
2889 gdb_stdout
->reset_style ();
2890 gdb_stdout
->wrap_here (0);
2891 gdb_stdout
->flush ();
2894 /* Implement the "eval" command. */
2897 eval_command (const char *arg
, int from_tty
)
2901 ui_printf (arg
, &stb
);
2903 std::string expanded
= insert_user_defined_cmd_args (stb
.c_str ());
2905 execute_command (expanded
.c_str (), from_tty
);
2908 /* Convenience function for error checking in memory-tag commands. */
2911 show_addr_not_tagged (CORE_ADDR address
)
2913 error (_("Address %s not in a region mapped with a memory tagging flag."),
2914 paddress (target_gdbarch (), address
));
2917 /* Convenience function for error checking in memory-tag commands. */
2920 show_memory_tagging_unsupported (void)
2922 error (_("Memory tagging not supported or disabled by the current"
2926 /* Implement the "memory-tag" prefix command. */
2929 memory_tag_command (const char *arg
, int from_tty
)
2931 help_list (memory_tag_list
, "memory-tag ", all_commands
, gdb_stdout
);
2934 /* Helper for print-logical-tag and print-allocation-tag. */
2937 memory_tag_print_tag_command (const char *args
, enum memtag_type tag_type
)
2939 if (args
== nullptr)
2940 error_no_arg (_("address or pointer"));
2942 /* Parse args into a value. If the value is a pointer or an address,
2943 then fetch the logical or allocation tag. */
2944 value_print_options print_opts
;
2946 struct value
*val
= process_print_command_args (args
, &print_opts
, true);
2948 /* If the address is not in a region memory mapped with a memory tagging
2949 flag, it is no use trying to access/manipulate its allocation tag.
2951 It is OK to manipulate the logical tag though. */
2952 if (tag_type
== memtag_type::allocation
2953 && !gdbarch_tagged_address_p (target_gdbarch (), val
))
2954 show_addr_not_tagged (value_as_address (val
));
2956 struct value
*tag_value
2957 = gdbarch_get_memtag (target_gdbarch (), val
, tag_type
);
2958 std::string tag
= gdbarch_memtag_to_string (target_gdbarch (), tag_value
);
2961 gdb_printf (_("%s tag unavailable.\n"),
2963 == memtag_type::logical
? "Logical" : "Allocation");
2965 struct value
*v_tag
= process_print_command_args (tag
.c_str (),
2968 print_opts
.output_format
= 'x';
2969 print_value (v_tag
, print_opts
);
2972 /* Implement the "memory-tag print-logical-tag" command. */
2975 memory_tag_print_logical_tag_command (const char *args
, int from_tty
)
2977 if (!target_supports_memory_tagging ())
2978 show_memory_tagging_unsupported ();
2980 memory_tag_print_tag_command (args
, memtag_type::logical
);
2983 /* Implement the "memory-tag print-allocation-tag" command. */
2986 memory_tag_print_allocation_tag_command (const char *args
, int from_tty
)
2988 if (!target_supports_memory_tagging ())
2989 show_memory_tagging_unsupported ();
2991 memory_tag_print_tag_command (args
, memtag_type::allocation
);
2994 /* Parse ARGS and extract ADDR and TAG.
2995 ARGS should have format <expression> <tag bytes>. */
2998 parse_with_logical_tag_input (const char *args
, struct value
**val
,
2999 gdb::byte_vector
&tags
,
3000 value_print_options
*print_opts
)
3002 /* Fetch the address. */
3003 std::string address_string
= extract_string_maybe_quoted (&args
);
3005 /* Parse the address into a value. */
3006 *val
= process_print_command_args (address_string
.c_str (), print_opts
,
3009 /* Fetch the tag bytes. */
3010 std::string tag_string
= extract_string_maybe_quoted (&args
);
3012 /* Validate the input. */
3013 if (address_string
.empty () || tag_string
.empty ())
3014 error (_("Missing arguments."));
3016 if (tag_string
.length () != 2)
3017 error (_("Error parsing tags argument. The tag should be 2 digits."));
3019 tags
= hex2bin (tag_string
.c_str ());
3022 /* Implement the "memory-tag with-logical-tag" command. */
3025 memory_tag_with_logical_tag_command (const char *args
, int from_tty
)
3027 if (!target_supports_memory_tagging ())
3028 show_memory_tagging_unsupported ();
3030 if (args
== nullptr)
3031 error_no_arg (_("<address> <tag>"));
3033 gdb::byte_vector tags
;
3035 value_print_options print_opts
;
3037 /* Parse the input. */
3038 parse_with_logical_tag_input (args
, &val
, tags
, &print_opts
);
3040 /* Setting the logical tag is just a local operation that does not touch
3041 any memory from the target. Given an input value, we modify the value
3042 to include the appropriate tag.
3044 For this reason we need to cast the argument value to a
3045 (void *) pointer. This is so we have the right type for the gdbarch
3046 hook to manipulate the value and insert the tag.
3048 Otherwise, this would fail if, for example, GDB parsed the argument value
3049 into an int-sized value and the pointer value has a type of greater
3052 /* Cast to (void *). */
3053 val
= value_cast (builtin_type (target_gdbarch ())->builtin_data_ptr
,
3056 /* Length doesn't matter for a logical tag. Pass 0. */
3057 if (!gdbarch_set_memtags (target_gdbarch (), val
, 0, tags
,
3058 memtag_type::logical
))
3059 gdb_printf (_("Could not update the logical tag data.\n"));
3062 /* Always print it in hex format. */
3063 print_opts
.output_format
= 'x';
3064 print_value (val
, print_opts
);
3068 /* Parse ARGS and extract ADDR, LENGTH and TAGS. */
3071 parse_set_allocation_tag_input (const char *args
, struct value
**val
,
3072 size_t *length
, gdb::byte_vector
&tags
)
3074 /* Fetch the address. */
3075 std::string address_string
= extract_string_maybe_quoted (&args
);
3077 /* Parse the address into a value. */
3078 value_print_options print_opts
;
3079 *val
= process_print_command_args (address_string
.c_str (), &print_opts
,
3082 /* Fetch the length. */
3083 std::string length_string
= extract_string_maybe_quoted (&args
);
3085 /* Fetch the tag bytes. */
3086 std::string tags_string
= extract_string_maybe_quoted (&args
);
3088 /* Validate the input. */
3089 if (address_string
.empty () || length_string
.empty () || tags_string
.empty ())
3090 error (_("Missing arguments."));
3093 const char *trailer
= nullptr;
3094 LONGEST parsed_length
= strtoulst (length_string
.c_str (), &trailer
, 10);
3096 if (errno
!= 0 || (trailer
!= nullptr && trailer
[0] != '\0'))
3097 error (_("Error parsing length argument."));
3099 if (parsed_length
<= 0)
3100 error (_("Invalid zero or negative length."));
3102 *length
= parsed_length
;
3104 if (tags_string
.length () % 2)
3105 error (_("Error parsing tags argument. Tags should be 2 digits per byte."));
3107 tags
= hex2bin (tags_string
.c_str ());
3109 /* If the address is not in a region memory mapped with a memory tagging
3110 flag, it is no use trying to access/manipulate its allocation tag. */
3111 if (!gdbarch_tagged_address_p (target_gdbarch (), *val
))
3112 show_addr_not_tagged (value_as_address (*val
));
3115 /* Implement the "memory-tag set-allocation-tag" command.
3116 ARGS should be in the format <address> <length> <tags>. */
3119 memory_tag_set_allocation_tag_command (const char *args
, int from_tty
)
3121 if (!target_supports_memory_tagging ())
3122 show_memory_tagging_unsupported ();
3124 if (args
== nullptr)
3125 error_no_arg (_("<starting address> <length> <tag bytes>"));
3127 gdb::byte_vector tags
;
3131 /* Parse the input. */
3132 parse_set_allocation_tag_input (args
, &val
, &length
, tags
);
3134 if (!gdbarch_set_memtags (target_gdbarch (), val
, length
, tags
,
3135 memtag_type::allocation
))
3136 gdb_printf (_("Could not update the allocation tag(s).\n"));
3138 gdb_printf (_("Allocation tag(s) updated successfully.\n"));
3141 /* Implement the "memory-tag check" command. */
3144 memory_tag_check_command (const char *args
, int from_tty
)
3146 if (!target_supports_memory_tagging ())
3147 show_memory_tagging_unsupported ();
3149 if (args
== nullptr)
3150 error (_("Argument required (address or pointer)"));
3152 /* Parse the expression into a value. If the value is an address or
3153 pointer, then check its logical tag against the allocation tag. */
3154 value_print_options print_opts
;
3156 struct value
*val
= process_print_command_args (args
, &print_opts
, true);
3158 /* If the address is not in a region memory mapped with a memory tagging
3159 flag, it is no use trying to access/manipulate its allocation tag. */
3160 if (!gdbarch_tagged_address_p (target_gdbarch (), val
))
3161 show_addr_not_tagged (value_as_address (val
));
3163 CORE_ADDR addr
= value_as_address (val
);
3165 /* Check if the tag is valid. */
3166 if (!gdbarch_memtag_matches_p (target_gdbarch (), val
))
3169 = gdbarch_get_memtag (target_gdbarch (), val
, memtag_type::logical
);
3171 = gdbarch_memtag_to_string (target_gdbarch (), tag
);
3173 tag
= gdbarch_get_memtag (target_gdbarch (), val
,
3174 memtag_type::allocation
);
3176 = gdbarch_memtag_to_string (target_gdbarch (), tag
);
3178 gdb_printf (_("Logical tag (%s) does not match"
3179 " the allocation tag (%s) for address %s.\n"),
3180 ltag
.c_str (), atag
.c_str (),
3181 paddress (target_gdbarch (), addr
));
3186 = gdbarch_get_memtag (target_gdbarch (), val
, memtag_type::logical
);
3188 = gdbarch_memtag_to_string (target_gdbarch (), tag
);
3190 gdb_printf (_("Memory tags for address %s match (%s).\n"),
3191 paddress (target_gdbarch (), addr
), ltag
.c_str ());
3195 void _initialize_printcmd ();
3197 _initialize_printcmd ()
3199 struct cmd_list_element
*c
;
3201 current_display_number
= -1;
3203 gdb::observers::free_objfile
.attach (clear_dangling_display_expressions
,
3206 add_info ("address", info_address_command
,
3207 _("Describe where symbol SYM is stored.\n\
3208 Usage: info address SYM"));
3210 add_info ("symbol", info_symbol_command
, _("\
3211 Describe what symbol is at location ADDR.\n\
3212 Usage: info symbol ADDR\n\
3213 Only for symbols with fixed locations (global or static scope)."));
3215 c
= add_com ("x", class_vars
, x_command
, _("\
3216 Examine memory: x/FMT ADDRESS.\n\
3217 ADDRESS is an expression for the memory address to examine.\n\
3218 FMT is a repeat count followed by a format letter and a size letter.\n\
3219 Format letters are o(octal), x(hex), d(decimal), u(unsigned decimal),\n\
3220 t(binary), f(float), a(address), i(instruction), c(char), s(string)\n\
3221 and z(hex, zero padded on the left).\n\
3222 Size letters are b(byte), h(halfword), w(word), g(giant, 8 bytes).\n\
3223 The specified number of objects of the specified size are printed\n\
3224 according to the format. If a negative number is specified, memory is\n\
3225 examined backward from the address.\n\n\
3226 Defaults for format and size letters are those previously used.\n\
3227 Default count is 1. Default address is following last thing printed\n\
3228 with this command or \"print\"."));
3229 set_cmd_completer_handle_brkchars (c
, display_and_x_command_completer
);
3231 add_info ("display", info_display_command
, _("\
3232 Expressions to display when program stops, with code numbers.\n\
3233 Usage: info display"));
3235 add_cmd ("undisplay", class_vars
, undisplay_command
, _("\
3236 Cancel some expressions to be displayed when program stops.\n\
3237 Usage: undisplay [NUM]...\n\
3238 Arguments are the code numbers of the expressions to stop displaying.\n\
3239 No argument means cancel all automatic-display expressions.\n\
3240 \"delete display\" has the same effect as this command.\n\
3241 Do \"info display\" to see current list of code numbers."),
3244 c
= add_com ("display", class_vars
, display_command
, _("\
3245 Print value of expression EXP each time the program stops.\n\
3246 Usage: display[/FMT] EXP\n\
3247 /FMT may be used before EXP as in the \"print\" command.\n\
3248 /FMT \"i\" or \"s\" or including a size-letter is allowed,\n\
3249 as in the \"x\" command, and then EXP is used to get the address to examine\n\
3250 and examining is done as in the \"x\" command.\n\n\
3251 With no argument, display all currently requested auto-display expressions.\n\
3252 Use \"undisplay\" to cancel display requests previously made."));
3253 set_cmd_completer_handle_brkchars (c
, display_and_x_command_completer
);
3255 add_cmd ("display", class_vars
, enable_display_command
, _("\
3256 Enable some expressions to be displayed when program stops.\n\
3257 Usage: enable display [NUM]...\n\
3258 Arguments are the code numbers of the expressions to resume displaying.\n\
3259 No argument means enable all automatic-display expressions.\n\
3260 Do \"info display\" to see current list of code numbers."), &enablelist
);
3262 add_cmd ("display", class_vars
, disable_display_command
, _("\
3263 Disable some expressions to be displayed when program stops.\n\
3264 Usage: disable display [NUM]...\n\
3265 Arguments are the code numbers of the expressions to stop displaying.\n\
3266 No argument means disable all automatic-display expressions.\n\
3267 Do \"info display\" to see current list of code numbers."), &disablelist
);
3269 add_cmd ("display", class_vars
, undisplay_command
, _("\
3270 Cancel some expressions to be displayed when program stops.\n\
3271 Usage: delete display [NUM]...\n\
3272 Arguments are the code numbers of the expressions to stop displaying.\n\
3273 No argument means cancel all automatic-display expressions.\n\
3274 Do \"info display\" to see current list of code numbers."), &deletelist
);
3276 add_com ("printf", class_vars
, printf_command
, _("\
3277 Formatted printing, like the C \"printf\" function.\n\
3278 Usage: printf \"format string\", ARG1, ARG2, ARG3, ..., ARGN\n\
3279 This supports most C printf format specifications, like %s, %d, etc."));
3281 add_com ("output", class_vars
, output_command
, _("\
3282 Like \"print\" but don't put in value history and don't print newline.\n\
3283 Usage: output EXP\n\
3284 This is useful in user-defined commands."));
3286 add_prefix_cmd ("set", class_vars
, set_command
, _("\
3287 Evaluate expression EXP and assign result to variable VAR.\n\
3288 Usage: set VAR = EXP\n\
3289 This uses assignment syntax appropriate for the current language\n\
3290 (VAR = EXP or VAR := EXP for example).\n\
3291 VAR may be a debugger \"convenience\" variable (names starting\n\
3292 with $), a register (a few standard names starting with $), or an actual\n\
3293 variable in the program being debugged. EXP is any valid expression.\n\
3294 Use \"set variable\" for variables with names identical to set subcommands.\n\
3296 With a subcommand, this command modifies parts of the gdb environment.\n\
3297 You can see these environment settings with the \"show\" command."),
3298 &setlist
, 1, &cmdlist
);
3300 /* "call" is the same as "set", but handy for dbx users to call fns. */
3301 c
= add_com ("call", class_vars
, call_command
, _("\
3302 Call a function in the program.\n\
3304 The argument is the function name and arguments, in the notation of the\n\
3305 current working language. The result is printed and saved in the value\n\
3306 history, if it is not void."));
3307 set_cmd_completer_handle_brkchars (c
, print_command_completer
);
3309 cmd_list_element
*set_variable_cmd
3310 = add_cmd ("variable", class_vars
, set_command
, _("\
3311 Evaluate expression EXP and assign result to variable VAR.\n\
3312 Usage: set variable VAR = EXP\n\
3313 This uses assignment syntax appropriate for the current language\n\
3314 (VAR = EXP or VAR := EXP for example).\n\
3315 VAR may be a debugger \"convenience\" variable (names starting\n\
3316 with $), a register (a few standard names starting with $), or an actual\n\
3317 variable in the program being debugged. EXP is any valid expression.\n\
3318 This may usually be abbreviated to simply \"set\"."),
3320 add_alias_cmd ("var", set_variable_cmd
, class_vars
, 0, &setlist
);
3322 const auto print_opts
= make_value_print_options_def_group (nullptr);
3324 static const std::string print_help
= gdb::option::build_help (_("\
3325 Print value of expression EXP.\n\
3326 Usage: print [[OPTION]... --] [/FMT] [EXP]\n\
3331 Note: because this command accepts arbitrary expressions, if you\n\
3332 specify any command option, you must use a double dash (\"--\")\n\
3333 to mark the end of option processing. E.g.: \"print -o -- myobj\".\n\
3335 Variables accessible are those of the lexical environment of the selected\n\
3336 stack frame, plus all those whose scope is global or an entire file.\n\
3338 $NUM gets previous value number NUM. $ and $$ are the last two values.\n\
3339 $$NUM refers to NUM'th value back from the last one.\n\
3340 Names starting with $ refer to registers (with the values they would have\n\
3341 if the program were to return to the stack frame now selected, restoring\n\
3342 all registers saved by frames farther in) or else to debugger\n\
3343 \"convenience\" variables (any such name not a known register).\n\
3344 Use assignment expressions to give values to convenience variables.\n\
3346 {TYPE}ADREXP refers to a datum of data type TYPE, located at address ADREXP.\n\
3347 @ is a binary operator for treating consecutive data objects\n\
3348 anywhere in memory as an array. FOO@NUM gives an array whose first\n\
3349 element is FOO, whose second element is stored in the space following\n\
3350 where FOO is stored, etc. FOO must be an expression whose value\n\
3351 resides in memory.\n\
3353 EXP may be preceded with /FMT, where FMT is a format letter\n\
3354 but no count or size letter (see \"x\" command)."),
3357 cmd_list_element
*print_cmd
3358 = add_com ("print", class_vars
, print_command
, print_help
.c_str ());
3359 set_cmd_completer_handle_brkchars (print_cmd
, print_command_completer
);
3360 add_com_alias ("p", print_cmd
, class_vars
, 1);
3361 add_com_alias ("inspect", print_cmd
, class_vars
, 1);
3363 add_setshow_uinteger_cmd ("max-symbolic-offset", no_class
,
3364 &max_symbolic_offset
, _("\
3365 Set the largest offset that will be printed in <SYMBOL+1234> form."), _("\
3366 Show the largest offset that will be printed in <SYMBOL+1234> form."), _("\
3367 Tell GDB to only display the symbolic form of an address if the\n\
3368 offset between the closest earlier symbol and the address is less than\n\
3369 the specified maximum offset. The default is \"unlimited\", which tells GDB\n\
3370 to always print the symbolic form of an address if any symbol precedes\n\
3371 it. Zero is equivalent to \"unlimited\"."),
3373 show_max_symbolic_offset
,
3374 &setprintlist
, &showprintlist
);
3375 add_setshow_boolean_cmd ("symbol-filename", no_class
,
3376 &print_symbol_filename
, _("\
3377 Set printing of source filename and line number with <SYMBOL>."), _("\
3378 Show printing of source filename and line number with <SYMBOL>."), NULL
,
3380 show_print_symbol_filename
,
3381 &setprintlist
, &showprintlist
);
3383 add_com ("eval", no_class
, eval_command
, _("\
3384 Construct a GDB command and then evaluate it.\n\
3385 Usage: eval \"format string\", ARG1, ARG2, ARG3, ..., ARGN\n\
3386 Convert the arguments to a string as \"printf\" would, but then\n\
3387 treat this string as a command line, and evaluate it."));
3389 /* Memory tagging commands. */
3390 add_prefix_cmd ("memory-tag", class_vars
, memory_tag_command
, _("\
3391 Generic command for printing and manipulating memory tag properties."),
3392 &memory_tag_list
, 0, &cmdlist
);
3393 add_cmd ("print-logical-tag", class_vars
,
3394 memory_tag_print_logical_tag_command
,
3395 ("Print the logical tag from POINTER.\n\
3396 Usage: memory-tag print-logical-tag <POINTER>.\n\
3397 <POINTER> is an expression that evaluates to a pointer.\n\
3398 Print the logical tag contained in POINTER. The tag interpretation is\n\
3399 architecture-specific."),
3401 add_cmd ("print-allocation-tag", class_vars
,
3402 memory_tag_print_allocation_tag_command
,
3403 _("Print the allocation tag for ADDRESS.\n\
3404 Usage: memory-tag print-allocation-tag <ADDRESS>.\n\
3405 <ADDRESS> is an expression that evaluates to a memory address.\n\
3406 Print the allocation tag associated with the memory address ADDRESS.\n\
3407 The tag interpretation is architecture-specific."),
3409 add_cmd ("with-logical-tag", class_vars
, memory_tag_with_logical_tag_command
,
3410 _("Print a POINTER with a specific logical TAG.\n\
3411 Usage: memory-tag with-logical-tag <POINTER> <TAG>\n\
3412 <POINTER> is an expression that evaluates to a pointer.\n\
3413 <TAG> is a sequence of hex bytes that is interpreted by the architecture\n\
3414 as a single memory tag."),
3416 add_cmd ("set-allocation-tag", class_vars
,
3417 memory_tag_set_allocation_tag_command
,
3418 _("Set the allocation tag(s) for a memory range.\n\
3419 Usage: memory-tag set-allocation-tag <ADDRESS> <LENGTH> <TAG_BYTES>\n\
3420 <ADDRESS> is an expression that evaluates to a memory address\n\
3421 <LENGTH> is the number of bytes that is added to <ADDRESS> to calculate\n\
3422 the memory range.\n\
3423 <TAG_BYTES> is a sequence of hex bytes that is interpreted by the\n\
3424 architecture as one or more memory tags.\n\
3425 Sets the tags of the memory range [ADDRESS, ADDRESS + LENGTH)\n\
3428 If the number of tags is greater than or equal to the number of tag granules\n\
3429 in the [ADDRESS, ADDRESS + LENGTH) range, only the tags up to the\n\
3430 number of tag granules are updated.\n\
3432 If the number of tags is less than the number of tag granules, then the\n\
3433 command is a fill operation. The TAG_BYTES are interpreted as a pattern\n\
3434 that gets repeated until the number of tag granules in the memory range\n\
3435 [ADDRESS, ADDRESS + LENGTH) is updated."),
3437 add_cmd ("check", class_vars
, memory_tag_check_command
,
3438 _("Validate a pointer's logical tag against the allocation tag.\n\
3439 Usage: memory-tag check <POINTER>\n\
3440 <POINTER> is an expression that evaluates to a pointer\n\
3441 Fetch the logical and allocation tags for POINTER and compare them\n\
3442 for equality. If the tags do not match, print additional information about\n\
3443 the tag mismatch."),