]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/c-valprint.c
Fix typo in tui-data.h
[thirdparty/binutils-gdb.git] / gdb / c-valprint.c
CommitLineData
c906108c 1/* Support for printing C values for GDB, the GNU debugger.
1bac305b 2
1d506c26 3 Copyright (C) 1986-2024 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c 19
ec452525 20#include "extract-store-integer.h"
4de283e4 21#include "symtab.h"
d55e5aa6 22#include "gdbtypes.h"
4de283e4
TT
23#include "expression.h"
24#include "value.h"
25#include "valprint.h"
d55e5aa6 26#include "language.h"
4de283e4
TT
27#include "c-lang.h"
28#include "cp-abi.h"
d55e5aa6 29#include "target.h"
4de283e4 30#include "objfiles.h"
c906108c 31\f
c5aa993b 32
96c07c5b 33/* A helper for c_textual_element_type. This checks the name of the
6c7a06a3
TT
34 typedef. This is bogus but it isn't apparent that the compiler
35 provides us the help we may need. */
36
37static int
38textual_name (const char *name)
39{
40 return (!strcmp (name, "wchar_t")
41 || !strcmp (name, "char16_t")
42 || !strcmp (name, "char32_t"));
43}
44
ea37ba09
DJ
45/* Apply a heuristic to decide whether an array of TYPE or a pointer
46 to TYPE should be printed as a textual string. Return non-zero if
47 it should, or zero if it should be treated as an array of integers
aff410f1
MS
48 or pointer to integers. FORMAT is the current format letter, or 0
49 if none.
ea37ba09
DJ
50
51 We guess that "char" is a character. Explicitly signed and
52 unsigned character types are also characters. Integer data from
53 vector types is not. The user can override this by using the /s
54 format letter. */
55
96c07c5b
TT
56int
57c_textual_element_type (struct type *type, char format)
ea37ba09 58{
85e306ed 59 struct type *true_type, *iter_type;
ea37ba09
DJ
60
61 if (format != 0 && format != 's')
62 return 0;
63
85e306ed
TT
64 /* We also rely on this for its side effect of setting up all the
65 typedef pointers. */
66 true_type = check_typedef (type);
67
ea37ba09 68 /* TYPE_CODE_CHAR is always textual. */
78134374 69 if (true_type->code () == TYPE_CODE_CHAR)
ea37ba09 70 return 1;
85e306ed 71
6c7a06a3 72 /* Any other character-like types must be integral. */
78134374 73 if (true_type->code () != TYPE_CODE_INT)
6c7a06a3
TT
74 return 0;
75
85e306ed
TT
76 /* We peel typedefs one by one, looking for a match. */
77 iter_type = type;
78 while (iter_type)
79 {
80 /* Check the name of the type. */
7d93a1e0 81 if (iter_type->name () && textual_name (iter_type->name ()))
85e306ed
TT
82 return 1;
83
78134374 84 if (iter_type->code () != TYPE_CODE_TYPEDEF)
85e306ed
TT
85 break;
86
87 /* Peel a single typedef. If the typedef doesn't have a target
88 type, we use check_typedef and hope the result is ok -- it
89 might be for C++, where wchar_t is a built-in type. */
27710edb
SM
90 if (iter_type->target_type ())
91 iter_type = iter_type->target_type ();
85e306ed
TT
92 else
93 iter_type = check_typedef (iter_type);
94 }
ea37ba09
DJ
95
96 if (format == 's')
97 {
aff410f1
MS
98 /* Print this as a string if we can manage it. For now, no wide
99 character support. */
78134374 100 if (true_type->code () == TYPE_CODE_INT
df86565b 101 && true_type->length () == 1)
ea37ba09
DJ
102 return 1;
103 }
104 else
105 {
106 /* If a one-byte TYPE_CODE_INT is missing the not-a-character
107 flag, then we treat it as text; otherwise, we assume it's
108 being used as data. */
78134374 109 if (true_type->code () == TYPE_CODE_INT
df86565b 110 && true_type->length () == 1
ea37ba09
DJ
111 && !TYPE_NOTTEXT (true_type))
112 return 1;
113 }
114
115 return 0;
116}
117
e88acd96
TT
118/* Decorations for C. */
119
120static const struct generic_val_print_decorations c_decorations =
121{
122 "",
123 " + ",
981c08ce 124 "i",
e88acd96
TT
125 "true",
126 "false",
00272ec4
TT
127 "void",
128 "{",
129 "}"
e88acd96
TT
130};
131
1033c33c
SM
132/* Print a pointer based on the type of its target.
133
134 Arguments to this functions are roughly the same as those in c_val_print.
135 A difference is that ADDRESS is the address to print, with embedded_offset
136 already added. UNRESOLVED_ELTTYPE and ELTTYPE represent the pointed type,
137 respectively before and after check_typedef. */
138
139static void
140print_unpacked_pointer (struct type *type, struct type *elttype,
141 struct type *unresolved_elttype,
142 const gdb_byte *valaddr, int embedded_offset,
143 CORE_ADDR address, struct ui_file *stream, int recurse,
144 const struct value_print_options *options)
145{
146 int want_space = 0;
8ee511af 147 struct gdbarch *gdbarch = type->arch ();
1033c33c 148
78134374 149 if (elttype->code () == TYPE_CODE_FUNC)
1033c33c
SM
150 {
151 /* Try to print what function it points to. */
152 print_function_pointer_address (options, gdbarch, address, stream);
153 return;
154 }
155
156 if (options->symbol_print)
157 want_space = print_address_demangle (options, gdbarch, address, stream,
158 demangle);
159 else if (options->addressprint)
160 {
0426ad51 161 gdb_puts (paddress (gdbarch, address), stream);
1033c33c
SM
162 want_space = 1;
163 }
164
165 /* For a pointer to a textual type, also print the string
166 pointed to, unless pointer is null. */
167
168 if (c_textual_element_type (unresolved_elttype, options->format)
169 && address != 0)
170 {
171 if (want_space)
0426ad51 172 gdb_puts (" ", stream);
1033c33c
SM
173 val_print_string (unresolved_elttype, NULL, address, -1, stream, options);
174 }
175 else if (cp_is_vtbl_member (type))
176 {
177 /* Print vtbl's nicely. */
178 CORE_ADDR vt_address = unpack_pointer (type, valaddr + embedded_offset);
179 struct bound_minimal_symbol msymbol =
180 lookup_minimal_symbol_by_pc (vt_address);
181
182 /* If 'symbol_print' is set, we did the work above. */
183 if (!options->symbol_print
184 && (msymbol.minsym != NULL)
4aeddc50 185 && (vt_address == msymbol.value_address ()))
1033c33c
SM
186 {
187 if (want_space)
0426ad51
TT
188 gdb_puts (" ", stream);
189 gdb_puts (" <", stream);
190 gdb_puts (msymbol.minsym->print_name (), stream);
191 gdb_puts (">", stream);
1033c33c
SM
192 want_space = 1;
193 }
194
195 if (vt_address && options->vtblprint)
196 {
197 struct value *vt_val;
be903358 198 struct symbol *wsym = NULL;
1033c33c 199 struct type *wtype;
1033c33c
SM
200
201 if (want_space)
0426ad51 202 gdb_puts (" ", stream);
1033c33c
SM
203
204 if (msymbol.minsym != NULL)
de63c46b 205 {
c9d95fa3 206 const char *search_name = msymbol.minsym->search_name ();
582942f4 207 wsym = lookup_symbol_search_name (search_name, NULL,
ccf41c24 208 SEARCH_VAR_DOMAIN).symbol;
de63c46b 209 }
1033c33c
SM
210
211 if (wsym)
212 {
5f9c5a63 213 wtype = wsym->type ();
1033c33c
SM
214 }
215 else
216 {
217 wtype = unresolved_elttype;
218 }
219 vt_val = value_at (wtype, vt_address);
220 common_val_print (vt_val, stream, recurse + 1, options,
221 current_language);
222 if (options->prettyformat)
223 {
6cb06a8c 224 gdb_printf (stream, "\n");
d0b1020b 225 print_spaces (2 + 2 * recurse, stream);
1033c33c
SM
226 }
227 }
228 }
229}
230
6999f067
TT
231/* c_value_print helper for TYPE_CODE_ARRAY. */
232
233static void
234c_value_print_array (struct value *val,
235 struct ui_file *stream, int recurse,
236 const struct value_print_options *options)
237{
d0c97917 238 struct type *type = check_typedef (val->type ());
9feb2d07 239 CORE_ADDR address = val->address ();
efaf1ae0 240 const gdb_byte *valaddr = val->contents_for_printing ().data ();
27710edb 241 struct type *unresolved_elttype = type->target_type ();
6999f067
TT
242 struct type *elttype = check_typedef (unresolved_elttype);
243
df86565b 244 if (type->length () > 0 && unresolved_elttype->length () > 0)
6999f067
TT
245 {
246 LONGEST low_bound, high_bound;
247 int eltlen, len;
248 enum bfd_endian byte_order = type_byte_order (type);
249
250 if (!get_array_bounds (type, &low_bound, &high_bound))
251 error (_("Could not determine the array high bound"));
252
df86565b 253 eltlen = elttype->length ();
6999f067 254 len = high_bound - low_bound + 1;
6999f067
TT
255
256 /* Print arrays of textual chars with a string syntax, as
257 long as the entire array is valid. */
258 if (c_textual_element_type (unresolved_elttype,
259 options->format)
d00664db
TT
260 && val->bytes_available (0, type->length ())
261 && !val->bits_any_optimized_out (0,
262 TARGET_CHAR_BIT * type->length ()))
6999f067
TT
263 {
264 int force_ellipses = 0;
265
266 /* If requested, look for the first null char and only
267 print elements up to it. */
268 if (options->stop_print_at_null)
269 {
76b58849 270 unsigned int print_max_chars = get_print_max_chars (options);
6999f067
TT
271 unsigned int temp_len;
272
273 for (temp_len = 0;
274 (temp_len < len
76b58849 275 && temp_len < print_max_chars
6999f067
TT
276 && extract_unsigned_integer (valaddr + temp_len * eltlen,
277 eltlen, byte_order) != 0);
278 ++temp_len)
279 ;
280
660da3c1 281 /* Force printstr to print ellipses if
6999f067
TT
282 we've printed the maximum characters and
283 the next character is not \000. */
76b58849 284 if (temp_len == print_max_chars && temp_len < len)
6999f067
TT
285 {
286 ULONGEST ival
287 = extract_unsigned_integer (valaddr + temp_len * eltlen,
288 eltlen, byte_order);
289 if (ival != 0)
290 force_ellipses = 1;
291 }
292
293 len = temp_len;
294 }
295
660da3c1
TT
296 current_language->printstr (stream, unresolved_elttype, valaddr, len,
297 NULL, force_ellipses, options);
6999f067
TT
298 }
299 else
300 {
301 unsigned int i = 0;
6cb06a8c 302 gdb_printf (stream, "{");
6999f067
TT
303 /* If this is a virtual function table, print the 0th
304 entry specially, and the rest of the members
305 normally. */
306 if (cp_is_vtbl_ptr_type (elttype))
307 {
308 i = 1;
6cb06a8c
TT
309 gdb_printf (stream, _("%d vtable entries"),
310 len - 1);
6999f067
TT
311 }
312 value_print_array_elements (val, stream, recurse, options, i);
6cb06a8c 313 gdb_printf (stream, "}");
6999f067
TT
314 }
315 }
316 else
317 {
318 /* Array of unspecified length: treat like pointer to first elt. */
319 print_unpacked_pointer (type, elttype, unresolved_elttype, valaddr,
320 0, address, stream, recurse, options);
321 }
322}
323
da3e2c29
TT
324/* c_value_print_inner helper for TYPE_CODE_PTR. */
325
326static void
327c_value_print_ptr (struct value *val, struct ui_file *stream, int recurse,
328 const struct value_print_options *options)
329{
330 if (options->format && options->format != 's')
331 {
332 value_print_scalar_formatted (val, options, 0, stream);
333 return;
334 }
335
d0c97917 336 struct type *type = check_typedef (val->type ());
efaf1ae0 337 const gdb_byte *valaddr = val->contents_for_printing ().data ();
da3e2c29
TT
338
339 if (options->vtblprint && cp_is_vtbl_ptr_type (type))
340 {
341 /* Print the unmangled name if desired. */
342 /* Print vtable entry - we only get here if we ARE using
343 -fvtable_thunks. (Otherwise, look under
344 TYPE_CODE_STRUCT.) */
345 CORE_ADDR addr = extract_typed_address (valaddr, type);
346
8ee511af 347 print_function_pointer_address (options, type->arch (), addr, stream);
da3e2c29
TT
348 }
349 else
350 {
27710edb 351 struct type *unresolved_elttype = type->target_type ();
da3e2c29
TT
352 struct type *elttype = check_typedef (unresolved_elttype);
353 CORE_ADDR addr = unpack_pointer (type, valaddr);
354
355 print_unpacked_pointer (type, elttype, unresolved_elttype, valaddr,
356 0, addr, stream, recurse, options);
357 }
358}
359
64b653ca
TT
360/* c_value_print helper for TYPE_CODE_STRUCT and TYPE_CODE_UNION. */
361
362static void
363c_value_print_struct (struct value *val, struct ui_file *stream, int recurse,
364 const struct value_print_options *options)
365{
d0c97917 366 struct type *type = check_typedef (val->type ());
64b653ca 367
78134374 368 if (type->code () == TYPE_CODE_UNION && recurse && !options->unionprint)
6cb06a8c 369 gdb_printf (stream, "{...}");
64b653ca
TT
370 else if (options->vtblprint && cp_is_vtbl_ptr_type (type))
371 {
372 /* Print the unmangled name if desired. */
373 /* Print vtable entry - we only get here if NOT using
374 -fvtable_thunks. (Otherwise, look under
375 TYPE_CODE_PTR.) */
b610c045 376 int offset = type->field (VTBL_FNADDR_OFFSET).loc_bitpos () / 8;
940da03e 377 struct type *field_type = type->field (VTBL_FNADDR_OFFSET).type ();
efaf1ae0 378 const gdb_byte *valaddr = val->contents_for_printing ().data ();
64b653ca
TT
379 CORE_ADDR addr = extract_typed_address (valaddr + offset, field_type);
380
8ee511af 381 print_function_pointer_address (options, type->arch (), addr, stream);
64b653ca
TT
382 }
383 else
384 cp_print_value_fields (val, stream, recurse, options, NULL, 0);
385}
386
2faac269
TT
387/* c_value_print helper for TYPE_CODE_INT. */
388
389static void
390c_value_print_int (struct value *val, struct ui_file *stream,
391 const struct value_print_options *options)
392{
393 if (options->format || options->output_format)
394 {
395 struct value_print_options opts = *options;
396
397 opts.format = (options->format ? options->format
398 : options->output_format);
399 value_print_scalar_formatted (val, &opts, 0, stream);
400 }
401 else
402 {
403 value_print_scalar_formatted (val, options, 0, stream);
404 /* C and C++ has no single byte int type, char is used
405 instead. Since we don't know whether the value is really
406 intended to be used as an integer or a character, print
407 the character equivalent as well. */
d0c97917 408 struct type *type = val->type ();
efaf1ae0 409 const gdb_byte *valaddr = val->contents_for_printing ().data ();
2faac269
TT
410 if (c_textual_element_type (type, options->format))
411 {
0426ad51 412 gdb_puts (" ", stream);
362501dc
TT
413 current_language->printchar (unpack_long (type, valaddr), type,
414 stream);
2faac269
TT
415 }
416 }
417}
418
62182190
TT
419/* See c-lang.h. */
420
421void
422c_value_print_inner (struct value *val, struct ui_file *stream, int recurse,
423 const struct value_print_options *options)
424{
d0c97917 425 struct type *type = val->type ();
50836231
TT
426
427 type = check_typedef (type);
78134374 428 switch (type->code ())
50836231
TT
429 {
430 case TYPE_CODE_ARRAY:
6999f067 431 c_value_print_array (val, stream, recurse, options);
50836231
TT
432 break;
433
50836231 434 case TYPE_CODE_PTR:
da3e2c29 435 c_value_print_ptr (val, stream, recurse, options);
50836231
TT
436 break;
437
438 case TYPE_CODE_UNION:
50836231 439 case TYPE_CODE_STRUCT:
64b653ca 440 c_value_print_struct (val, stream, recurse, options);
50836231
TT
441 break;
442
1c0e4363 443 case TYPE_CODE_CHAR:
50836231 444 case TYPE_CODE_INT:
2faac269 445 c_value_print_int (val, stream, options);
50836231
TT
446 break;
447
6b5a7bc7 448 case TYPE_CODE_METHODPTR:
50836231 449 case TYPE_CODE_MEMBERPTR:
50836231
TT
450 case TYPE_CODE_REF:
451 case TYPE_CODE_RVALUE_REF:
452 case TYPE_CODE_ENUM:
453 case TYPE_CODE_FLAGS:
454 case TYPE_CODE_FUNC:
455 case TYPE_CODE_METHOD:
456 case TYPE_CODE_BOOL:
457 case TYPE_CODE_RANGE:
458 case TYPE_CODE_FLT:
459 case TYPE_CODE_DECFLOAT:
460 case TYPE_CODE_VOID:
461 case TYPE_CODE_ERROR:
462 case TYPE_CODE_UNDEF:
463 case TYPE_CODE_COMPLEX:
50836231
TT
464 default:
465 generic_value_print (val, stream, recurse, options, &c_decorations);
466 break;
467 }
62182190
TT
468}
469
c906108c 470\f
8e069a98 471void
79a45b7d
TT
472c_value_print (struct value *val, struct ui_file *stream,
473 const struct value_print_options *options)
c906108c 474{
a1f6a07c 475 struct type *type, *real_type;
6b850546
DT
476 int full, using_enc;
477 LONGEST top;
79a45b7d
TT
478 struct value_print_options opts = *options;
479
dad6b350 480 opts.deref_ref = true;
c5aa993b 481
c906108c
SS
482 /* If it is a pointer, indicate what it points to.
483
484 Print type also if it is a reference.
485
486 C++: if it is a member pointer, we will take care
487 of that when we print it. */
88750304 488
d0c97917 489 type = check_typedef (val->type ());
88750304 490
809f3be1 491 if (type->is_pointer_or_reference ())
c906108c 492 {
d0c97917 493 struct type *original_type = val->type ();
a1f6a07c 494
c906108c 495 /* Hack: remove (char *) for char strings. Their
dda83cd7
SM
496 type is indicated by the quoted string anyway.
497 (Don't use c_textual_element_type here; quoted strings
498 are always exactly (char *), (wchar_t *), or the like. */
78134374 499 if (original_type->code () == TYPE_CODE_PTR
7d93a1e0 500 && original_type->name () == NULL
27710edb
SM
501 && original_type->target_type ()->name () != NULL
502 && (strcmp (original_type->target_type ()->name (),
aff410f1 503 "char") == 0
27710edb 504 || textual_name (original_type->target_type ()->name ())))
c906108c 505 {
aff410f1 506 /* Print nothing. */
c906108c 507 }
79a45b7d 508 else if (options->objectprint
27710edb 509 && (type->target_type ()->code () == TYPE_CODE_STRUCT))
c5aa993b 510 {
a65cfae5
AV
511 int is_ref = TYPE_IS_REFERENCE (type);
512 enum type_code refcode = TYPE_CODE_UNDEF;
5f2e6b00
TT
513
514 if (is_ref)
a65cfae5
AV
515 {
516 val = value_addr (val);
78134374 517 refcode = type->code ();
a65cfae5 518 }
070ad9f0 519
aff410f1 520 /* Pointer to class, check real type of object. */
6cb06a8c 521 gdb_printf (stream, "(");
ec0a52e1 522
d00664db 523 if (val->entirely_available ())
476350ba 524 {
dfcee124
AG
525 real_type = value_rtti_indirect_type (val, &full, &top,
526 &using_enc);
ec0a52e1
PA
527 if (real_type)
528 {
529 /* RTTI entry found. */
dfcee124 530
ec0a52e1 531 /* Need to adjust pointer value. */
5f2e6b00
TT
532 val = value_from_pointer (real_type,
533 value_as_address (val) - top);
534
ec0a52e1
PA
535 /* Note: When we look up RTTI entries, we don't get
536 any information on const or volatile
537 attributes. */
538 }
539 }
476350ba
MG
540
541 if (is_ref)
a1f6a07c 542 val = value_ref (value_ind (val), refcode);
476350ba 543
d0c97917 544 type = val->type ();
476350ba 545 type_print (type, "", stream, -1);
6cb06a8c 546 gdb_printf (stream, ") ");
c5aa993b 547 }
c906108c
SS
548 else
549 {
c5aa993b 550 /* normal case */
6cb06a8c 551 gdb_printf (stream, "(");
d0c97917 552 type_print (val->type (), "", stream, -1);
6cb06a8c 553 gdb_printf (stream, ") ");
c906108c
SS
554 }
555 }
88750304 556
8e5b19ad 557 if (!val->initialized ())
6cb06a8c 558 gdb_printf (stream, " [uninitialized] ");
42be36b3 559
78134374 560 if (options->objectprint && (type->code () == TYPE_CODE_STRUCT))
c906108c 561 {
aff410f1 562 /* Attempt to determine real type of object. */
c906108c 563 real_type = value_rtti_type (val, &full, &top, &using_enc);
c5aa993b
JM
564 if (real_type)
565 {
aff410f1
MS
566 /* We have RTTI information, so use it. */
567 val = value_full_object (val, real_type,
568 full, top, using_enc);
a1f6a07c
TT
569 /* In a destructor we might see a real type that is a
570 superclass of the object's type. In this case it is
571 better to leave the object as-is. */
572 if (!(full
df86565b 573 && (real_type->length ()
463b870d 574 < val->enclosing_type ()->length ())))
a1f6a07c 575 val = value_cast (real_type, val);
6cb06a8c
TT
576 gdb_printf (stream, "(%s%s) ",
577 real_type->name (),
578 full ? "" : _(" [incomplete object]"));
c5aa993b 579 }
463b870d 580 else if (type != check_typedef (val->enclosing_type ()))
c5aa993b 581 {
aff410f1 582 /* No RTTI information, so let's do our best. */
6cb06a8c 583 gdb_printf (stream, "(%s ?) ",
463b870d
TT
584 val->enclosing_type ()->name ());
585 val = value_cast (val->enclosing_type (), val);
c5aa993b 586 }
c906108c 587 }
c5aa993b 588
a1f6a07c 589 common_val_print (val, stream, 0, &opts, current_language);
c906108c 590}