]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gdb/c-valprint.c
Fix latent bug in custom word point completion handling
[thirdparty/binutils-gdb.git] / gdb / c-valprint.c
1 /* Support for printing C values for GDB, the GNU debugger.
2
3 Copyright (C) 1986-2019 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
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.
11
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.
16
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/>. */
19
20 #include "defs.h"
21 #include "symtab.h"
22 #include "gdbtypes.h"
23 #include "expression.h"
24 #include "value.h"
25 #include "valprint.h"
26 #include "language.h"
27 #include "c-lang.h"
28 #include "cp-abi.h"
29 #include "target.h"
30 #include "objfiles.h"
31 \f
32
33 /* A helper for c_textual_element_type. This checks the name of the
34 typedef. This is bogus but it isn't apparent that the compiler
35 provides us the help we may need. */
36
37 static int
38 textual_name (const char *name)
39 {
40 return (!strcmp (name, "wchar_t")
41 || !strcmp (name, "char16_t")
42 || !strcmp (name, "char32_t"));
43 }
44
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
48 or pointer to integers. FORMAT is the current format letter, or 0
49 if none.
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
56 int
57 c_textual_element_type (struct type *type, char format)
58 {
59 struct type *true_type, *iter_type;
60
61 if (format != 0 && format != 's')
62 return 0;
63
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
68 /* TYPE_CODE_CHAR is always textual. */
69 if (TYPE_CODE (true_type) == TYPE_CODE_CHAR)
70 return 1;
71
72 /* Any other character-like types must be integral. */
73 if (TYPE_CODE (true_type) != TYPE_CODE_INT)
74 return 0;
75
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. */
81 if (TYPE_NAME (iter_type) && textual_name (TYPE_NAME (iter_type)))
82 return 1;
83
84 if (TYPE_CODE (iter_type) != TYPE_CODE_TYPEDEF)
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. */
90 if (TYPE_TARGET_TYPE (iter_type))
91 iter_type = TYPE_TARGET_TYPE (iter_type);
92 else
93 iter_type = check_typedef (iter_type);
94 }
95
96 if (format == 's')
97 {
98 /* Print this as a string if we can manage it. For now, no wide
99 character support. */
100 if (TYPE_CODE (true_type) == TYPE_CODE_INT
101 && TYPE_LENGTH (true_type) == 1)
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. */
109 if (TYPE_CODE (true_type) == TYPE_CODE_INT
110 && TYPE_LENGTH (true_type) == 1
111 && !TYPE_NOTTEXT (true_type))
112 return 1;
113 }
114
115 return 0;
116 }
117
118 /* Decorations for C. */
119
120 static const struct generic_val_print_decorations c_decorations =
121 {
122 "",
123 " + ",
124 " * I",
125 "true",
126 "false",
127 "void",
128 "{",
129 "}"
130 };
131
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
139 static void
140 print_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;
147 struct gdbarch *gdbarch = get_type_arch (type);
148
149 if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
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 {
161 fputs_filtered (paddress (gdbarch, address), stream);
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)
172 fputs_filtered (" ", stream);
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)
185 && (vt_address == BMSYMBOL_VALUE_ADDRESS (msymbol)))
186 {
187 if (want_space)
188 fputs_filtered (" ", stream);
189 fputs_filtered (" <", stream);
190 fputs_filtered (MSYMBOL_PRINT_NAME (msymbol.minsym), stream);
191 fputs_filtered (">", stream);
192 want_space = 1;
193 }
194
195 if (vt_address && options->vtblprint)
196 {
197 struct value *vt_val;
198 struct symbol *wsym = NULL;
199 struct type *wtype;
200
201 if (want_space)
202 fputs_filtered (" ", stream);
203
204 if (msymbol.minsym != NULL)
205 {
206 const char *search_name
207 = MSYMBOL_SEARCH_NAME (msymbol.minsym);
208 wsym = lookup_symbol_search_name (search_name, NULL,
209 VAR_DOMAIN).symbol;
210 }
211
212 if (wsym)
213 {
214 wtype = SYMBOL_TYPE (wsym);
215 }
216 else
217 {
218 wtype = unresolved_elttype;
219 }
220 vt_val = value_at (wtype, vt_address);
221 common_val_print (vt_val, stream, recurse + 1, options,
222 current_language);
223 if (options->prettyformat)
224 {
225 fprintf_filtered (stream, "\n");
226 print_spaces_filtered (2 + 2 * recurse, stream);
227 }
228 }
229 }
230 }
231
232 /* c_val_print helper for TYPE_CODE_ARRAY. */
233
234 static void
235 c_val_print_array (struct type *type, const gdb_byte *valaddr,
236 int embedded_offset, CORE_ADDR address,
237 struct ui_file *stream, int recurse,
238 struct value *original_value,
239 const struct value_print_options *options)
240 {
241 struct type *unresolved_elttype = TYPE_TARGET_TYPE (type);
242 struct type *elttype = check_typedef (unresolved_elttype);
243 struct gdbarch *arch = get_type_arch (type);
244 int unit_size = gdbarch_addressable_memory_unit_size (arch);
245
246 if (TYPE_LENGTH (type) > 0 && TYPE_LENGTH (unresolved_elttype) > 0)
247 {
248 LONGEST low_bound, high_bound;
249 int eltlen, len;
250 struct gdbarch *gdbarch = get_type_arch (type);
251 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
252 unsigned int i = 0; /* Number of characters printed. */
253
254 if (!get_array_bounds (type, &low_bound, &high_bound))
255 error (_("Could not determine the array high bound"));
256
257 eltlen = TYPE_LENGTH (elttype);
258 len = high_bound - low_bound + 1;
259 if (options->prettyformat_arrays)
260 {
261 print_spaces_filtered (2 + 2 * recurse, stream);
262 }
263
264 /* Print arrays of textual chars with a string syntax, as
265 long as the entire array is valid. */
266 if (c_textual_element_type (unresolved_elttype,
267 options->format)
268 && value_bytes_available (original_value, embedded_offset,
269 TYPE_LENGTH (type))
270 && !value_bits_any_optimized_out (original_value,
271 TARGET_CHAR_BIT * embedded_offset,
272 TARGET_CHAR_BIT * TYPE_LENGTH (type)))
273 {
274 int force_ellipses = 0;
275
276 /* If requested, look for the first null char and only
277 print elements up to it. */
278 if (options->stop_print_at_null)
279 {
280 unsigned int temp_len;
281
282 for (temp_len = 0;
283 (temp_len < len
284 && temp_len < options->print_max
285 && extract_unsigned_integer (valaddr
286 + embedded_offset * unit_size
287 + temp_len * eltlen,
288 eltlen, byte_order) != 0);
289 ++temp_len)
290 ;
291
292 /* Force LA_PRINT_STRING to print ellipses if
293 we've printed the maximum characters and
294 the next character is not \000. */
295 if (temp_len == options->print_max && temp_len < len)
296 {
297 ULONGEST val
298 = extract_unsigned_integer (valaddr
299 + embedded_offset * unit_size
300 + temp_len * eltlen,
301 eltlen, byte_order);
302 if (val != 0)
303 force_ellipses = 1;
304 }
305
306 len = temp_len;
307 }
308
309 LA_PRINT_STRING (stream, unresolved_elttype,
310 valaddr + embedded_offset * unit_size, len,
311 NULL, force_ellipses, options);
312 i = len;
313 }
314 else
315 {
316 fprintf_filtered (stream, "{");
317 /* If this is a virtual function table, print the 0th
318 entry specially, and the rest of the members
319 normally. */
320 if (cp_is_vtbl_ptr_type (elttype))
321 {
322 i = 1;
323 fprintf_filtered (stream, _("%d vtable entries"),
324 len - 1);
325 }
326 else
327 {
328 i = 0;
329 }
330 val_print_array_elements (type, embedded_offset,
331 address, stream,
332 recurse, original_value, options, i);
333 fprintf_filtered (stream, "}");
334 }
335 }
336 else
337 {
338 /* Array of unspecified length: treat like pointer to first elt. */
339 print_unpacked_pointer (type, elttype, unresolved_elttype, valaddr,
340 embedded_offset, address + embedded_offset,
341 stream, recurse, options);
342 }
343 }
344
345 /* c_val_print helper for TYPE_CODE_PTR. */
346
347 static void
348 c_val_print_ptr (struct type *type, const gdb_byte *valaddr,
349 int embedded_offset, struct ui_file *stream, int recurse,
350 struct value *original_value,
351 const struct value_print_options *options)
352 {
353 struct gdbarch *arch = get_type_arch (type);
354 int unit_size = gdbarch_addressable_memory_unit_size (arch);
355
356 if (options->format && options->format != 's')
357 {
358 val_print_scalar_formatted (type, embedded_offset,
359 original_value, options, 0, stream);
360 }
361 else if (options->vtblprint && cp_is_vtbl_ptr_type (type))
362 {
363 /* Print the unmangled name if desired. */
364 /* Print vtable entry - we only get here if we ARE using
365 -fvtable_thunks. (Otherwise, look under
366 TYPE_CODE_STRUCT.) */
367 CORE_ADDR addr
368 = extract_typed_address (valaddr + embedded_offset, type);
369 struct gdbarch *gdbarch = get_type_arch (type);
370
371 print_function_pointer_address (options, gdbarch, addr, stream);
372 }
373 else
374 {
375 struct type *unresolved_elttype = TYPE_TARGET_TYPE (type);
376 struct type *elttype = check_typedef (unresolved_elttype);
377 CORE_ADDR addr = unpack_pointer (type,
378 valaddr + embedded_offset * unit_size);
379
380 print_unpacked_pointer (type, elttype, unresolved_elttype, valaddr,
381 embedded_offset, addr, stream, recurse, options);
382 }
383 }
384
385 /* c_val_print helper for TYPE_CODE_STRUCT. */
386
387 static void
388 c_val_print_struct (struct type *type, const gdb_byte *valaddr,
389 int embedded_offset, CORE_ADDR address,
390 struct ui_file *stream, int recurse,
391 struct value *original_value,
392 const struct value_print_options *options)
393 {
394 if (options->vtblprint && cp_is_vtbl_ptr_type (type))
395 {
396 /* Print the unmangled name if desired. */
397 /* Print vtable entry - we only get here if NOT using
398 -fvtable_thunks. (Otherwise, look under
399 TYPE_CODE_PTR.) */
400 struct gdbarch *gdbarch = get_type_arch (type);
401 int offset = (embedded_offset
402 + TYPE_FIELD_BITPOS (type,
403 VTBL_FNADDR_OFFSET) / 8);
404 struct type *field_type = TYPE_FIELD_TYPE (type, VTBL_FNADDR_OFFSET);
405 CORE_ADDR addr = extract_typed_address (valaddr + offset, field_type);
406
407 print_function_pointer_address (options, gdbarch, addr, stream);
408 }
409 else
410 cp_print_value_fields_rtti (type, valaddr,
411 embedded_offset, address,
412 stream, recurse,
413 original_value, options,
414 NULL, 0);
415 }
416
417 /* c_val_print helper for TYPE_CODE_UNION. */
418
419 static void
420 c_val_print_union (struct type *type, const gdb_byte *valaddr,
421 int embedded_offset, CORE_ADDR address,
422 struct ui_file *stream, int recurse,
423 struct value *original_value,
424 const struct value_print_options *options)
425 {
426 if (recurse && !options->unionprint)
427 {
428 fprintf_filtered (stream, "{...}");
429 }
430 else
431 {
432 c_val_print_struct (type, valaddr, embedded_offset, address, stream,
433 recurse, original_value, options);
434 }
435 }
436
437 /* c_val_print helper for TYPE_CODE_INT. */
438
439 static void
440 c_val_print_int (struct type *type, struct type *unresolved_type,
441 const gdb_byte *valaddr, int embedded_offset,
442 struct ui_file *stream, struct value *original_value,
443 const struct value_print_options *options)
444 {
445 struct gdbarch *arch = get_type_arch (type);
446 int unit_size = gdbarch_addressable_memory_unit_size (arch);
447
448 if (options->format || options->output_format)
449 {
450 struct value_print_options opts = *options;
451
452 opts.format = (options->format ? options->format
453 : options->output_format);
454 val_print_scalar_formatted (type, embedded_offset,
455 original_value, &opts, 0, stream);
456 }
457 else
458 {
459 val_print_scalar_formatted (type, embedded_offset,
460 original_value, options, 0, stream);
461 /* C and C++ has no single byte int type, char is used
462 instead. Since we don't know whether the value is really
463 intended to be used as an integer or a character, print
464 the character equivalent as well. */
465 if (c_textual_element_type (unresolved_type, options->format))
466 {
467 fputs_filtered (" ", stream);
468 LA_PRINT_CHAR (unpack_long (type,
469 valaddr + embedded_offset * unit_size),
470 unresolved_type, stream);
471 }
472 }
473 }
474
475 /* c_val_print helper for TYPE_CODE_MEMBERPTR. */
476
477 static void
478 c_val_print_memberptr (struct type *type, const gdb_byte *valaddr,
479 int embedded_offset, CORE_ADDR address,
480 struct ui_file *stream, int recurse,
481 struct value *original_value,
482 const struct value_print_options *options)
483 {
484 if (!options->format)
485 {
486 cp_print_class_member (valaddr + embedded_offset, type, stream, "&");
487 }
488 else
489 {
490 generic_val_print (type, embedded_offset, address, stream,
491 recurse, original_value, options, &c_decorations);
492 }
493 }
494
495 /* See val_print for a description of the various parameters of this
496 function; they are identical. */
497
498 void
499 c_val_print (struct type *type,
500 int embedded_offset, CORE_ADDR address,
501 struct ui_file *stream, int recurse,
502 struct value *original_value,
503 const struct value_print_options *options)
504 {
505 struct type *unresolved_type = type;
506 const gdb_byte *valaddr = value_contents_for_printing (original_value);
507
508 type = check_typedef (type);
509 switch (TYPE_CODE (type))
510 {
511 case TYPE_CODE_ARRAY:
512 c_val_print_array (type, valaddr, embedded_offset, address, stream,
513 recurse, original_value, options);
514 break;
515
516 case TYPE_CODE_METHODPTR:
517 cplus_print_method_ptr (valaddr + embedded_offset, type, stream);
518 break;
519
520 case TYPE_CODE_PTR:
521 c_val_print_ptr (type, valaddr, embedded_offset, stream, recurse,
522 original_value, options);
523 break;
524
525 case TYPE_CODE_UNION:
526 c_val_print_union (type, valaddr, embedded_offset, address, stream,
527 recurse, original_value, options);
528 break;
529
530 case TYPE_CODE_STRUCT:
531 c_val_print_struct (type, valaddr, embedded_offset, address, stream,
532 recurse, original_value, options);
533 break;
534
535 case TYPE_CODE_INT:
536 c_val_print_int (type, unresolved_type, valaddr, embedded_offset, stream,
537 original_value, options);
538 break;
539
540 case TYPE_CODE_MEMBERPTR:
541 c_val_print_memberptr (type, valaddr, embedded_offset, address, stream,
542 recurse, original_value, options);
543 break;
544
545 case TYPE_CODE_REF:
546 case TYPE_CODE_RVALUE_REF:
547 case TYPE_CODE_ENUM:
548 case TYPE_CODE_FLAGS:
549 case TYPE_CODE_FUNC:
550 case TYPE_CODE_METHOD:
551 case TYPE_CODE_BOOL:
552 case TYPE_CODE_RANGE:
553 case TYPE_CODE_FLT:
554 case TYPE_CODE_DECFLOAT:
555 case TYPE_CODE_VOID:
556 case TYPE_CODE_ERROR:
557 case TYPE_CODE_UNDEF:
558 case TYPE_CODE_COMPLEX:
559 case TYPE_CODE_CHAR:
560 default:
561 generic_val_print (type, embedded_offset, address,
562 stream, recurse, original_value, options,
563 &c_decorations);
564 break;
565 }
566 }
567 \f
568 void
569 c_value_print (struct value *val, struct ui_file *stream,
570 const struct value_print_options *options)
571 {
572 struct type *type, *real_type, *val_type;
573 int full, using_enc;
574 LONGEST top;
575 struct value_print_options opts = *options;
576
577 opts.deref_ref = 1;
578
579 /* If it is a pointer, indicate what it points to.
580
581 Print type also if it is a reference.
582
583 C++: if it is a member pointer, we will take care
584 of that when we print it. */
585
586 /* Preserve the original type before stripping typedefs. We prefer
587 to pass down the original type when possible, but for local
588 checks it is better to look past the typedefs. */
589 val_type = value_type (val);
590 type = check_typedef (val_type);
591
592 if (TYPE_CODE (type) == TYPE_CODE_PTR || TYPE_IS_REFERENCE (type))
593 {
594 /* Hack: remove (char *) for char strings. Their
595 type is indicated by the quoted string anyway.
596 (Don't use c_textual_element_type here; quoted strings
597 are always exactly (char *), (wchar_t *), or the like. */
598 if (TYPE_CODE (val_type) == TYPE_CODE_PTR
599 && TYPE_NAME (val_type) == NULL
600 && TYPE_NAME (TYPE_TARGET_TYPE (val_type)) != NULL
601 && (strcmp (TYPE_NAME (TYPE_TARGET_TYPE (val_type)),
602 "char") == 0
603 || textual_name (TYPE_NAME (TYPE_TARGET_TYPE (val_type)))))
604 {
605 /* Print nothing. */
606 }
607 else if (options->objectprint
608 && (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_STRUCT))
609 {
610 int is_ref = TYPE_IS_REFERENCE (type);
611 enum type_code refcode = TYPE_CODE_UNDEF;
612
613 if (is_ref)
614 {
615 val = value_addr (val);
616 refcode = TYPE_CODE (type);
617 }
618
619 /* Pointer to class, check real type of object. */
620 fprintf_filtered (stream, "(");
621
622 if (value_entirely_available (val))
623 {
624 real_type = value_rtti_indirect_type (val, &full, &top,
625 &using_enc);
626 if (real_type)
627 {
628 /* RTTI entry found. */
629 type = real_type;
630
631 /* Need to adjust pointer value. */
632 val = value_from_pointer (real_type,
633 value_as_address (val) - top);
634
635 /* Note: When we look up RTTI entries, we don't get
636 any information on const or volatile
637 attributes. */
638 }
639 }
640
641 if (is_ref)
642 {
643 val = value_ref (value_ind (val), refcode);
644 type = value_type (val);
645 }
646
647 type_print (type, "", stream, -1);
648 fprintf_filtered (stream, ") ");
649 val_type = type;
650 }
651 else
652 {
653 /* normal case */
654 fprintf_filtered (stream, "(");
655 type_print (value_type (val), "", stream, -1);
656 fprintf_filtered (stream, ") ");
657 }
658 }
659
660 if (!value_initialized (val))
661 fprintf_filtered (stream, " [uninitialized] ");
662
663 if (options->objectprint && (TYPE_CODE (type) == TYPE_CODE_STRUCT))
664 {
665 /* Attempt to determine real type of object. */
666 real_type = value_rtti_type (val, &full, &top, &using_enc);
667 if (real_type)
668 {
669 /* We have RTTI information, so use it. */
670 val = value_full_object (val, real_type,
671 full, top, using_enc);
672 fprintf_filtered (stream, "(%s%s) ",
673 TYPE_NAME (real_type),
674 full ? "" : _(" [incomplete object]"));
675 /* Print out object: enclosing type is same as real_type if
676 full. */
677 val_print (value_enclosing_type (val),
678 0,
679 value_address (val), stream, 0,
680 val, &opts, current_language);
681 return;
682 /* Note: When we look up RTTI entries, we don't get any
683 information on const or volatile attributes. */
684 }
685 else if (type != check_typedef (value_enclosing_type (val)))
686 {
687 /* No RTTI information, so let's do our best. */
688 fprintf_filtered (stream, "(%s ?) ",
689 TYPE_NAME (value_enclosing_type (val)));
690 val_print (value_enclosing_type (val),
691 0,
692 value_address (val), stream, 0,
693 val, &opts, current_language);
694 return;
695 }
696 /* Otherwise, we end up at the return outside this "if". */
697 }
698
699 val_print (val_type,
700 value_embedded_offset (val),
701 value_address (val),
702 stream, 0,
703 val, &opts, current_language);
704 }