* gnu-v3-abi.c (struct value_and_voffset): New.
[deliverable/binutils-gdb.git] / gdb / cp-valprint.c
CommitLineData
c906108c 1/* Support for printing C++ values for GDB, the GNU debugger.
a2bd3dcd 2
0b302171
JB
3 Copyright (C) 1986, 1988-1989, 1991-1997, 2000-2003, 2005-2012 Free
4 Software Foundation, Inc.
c906108c 5
c5aa993b 6 This file is part of GDB.
c906108c 7
c5aa993b
JM
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
a9762ec7 10 the Free Software Foundation; either version 3 of the License, or
c5aa993b 11 (at your option) any later version.
c906108c 12
c5aa993b
JM
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
c906108c 17
c5aa993b 18 You should have received a copy of the GNU General Public License
a9762ec7 19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
20
21#include "defs.h"
04ea0df1 22#include "gdb_obstack.h"
c906108c
SS
23#include "symtab.h"
24#include "gdbtypes.h"
25#include "expression.h"
26#include "value.h"
27#include "command.h"
28#include "gdbcmd.h"
29#include "demangle.h"
30#include "annotate.h"
31#include "gdb_string.h"
32#include "c-lang.h"
33#include "target.h"
b9d652ac 34#include "cp-abi.h"
973177d3 35#include "valprint.h"
d3cbe7ef 36#include "cp-support.h"
cf309262 37#include "language.h"
a6bac58e 38#include "python/python.h"
8af8e3bc 39#include "exceptions.h"
c906108c 40
aff410f1 41/* Controls printing of vtbl's. */
920d2a44
AC
42static void
43show_vtblprint (struct ui_file *file, int from_tty,
44 struct cmd_list_element *c, const char *value)
45{
46 fprintf_filtered (file, _("\
47Printing of C++ virtual function tables is %s.\n"),
48 value);
49}
50
51/* Controls looking up an object's derived type using what we find in
52 its vtables. */
920d2a44
AC
53static void
54show_objectprint (struct ui_file *file, int from_tty,
55 struct cmd_list_element *c,
56 const char *value)
57{
58 fprintf_filtered (file, _("\
59Printing of object's derived type based on vtable info is %s.\n"),
60 value);
61}
62
920d2a44
AC
63static void
64show_static_field_print (struct ui_file *file, int from_tty,
aff410f1
MS
65 struct cmd_list_element *c,
66 const char *value)
920d2a44 67{
aff410f1
MS
68 fprintf_filtered (file,
69 _("Printing of C++ static members is %s.\n"),
920d2a44
AC
70 value);
71}
72
c906108c
SS
73
74static struct obstack dont_print_vb_obstack;
75static struct obstack dont_print_statmem_obstack;
ec31cde5 76static struct obstack dont_print_stat_array_obstack;
c906108c 77
a14ed312 78extern void _initialize_cp_valprint (void);
392a587b 79
6943961c 80static void cp_print_static_field (struct type *, struct value *,
79a45b7d
TT
81 struct ui_file *, int,
82 const struct value_print_options *);
c906108c 83
aff410f1
MS
84static void cp_print_value (struct type *, struct type *,
85 const gdb_byte *, int,
86 CORE_ADDR, struct ui_file *,
87 int, const struct value *,
88 const struct value_print_options *,
89 struct type **);
c906108c 90
c906108c 91
8343f86c 92/* GCC versions after 2.4.5 use this. */
2c63a960 93const char vtbl_ptr_name[] = "__vtbl_ptr_type";
c906108c 94
c906108c
SS
95/* Return truth value for assertion that TYPE is of the type
96 "pointer to virtual function". */
97
98int
fba45db2 99cp_is_vtbl_ptr_type (struct type *type)
c906108c 100{
0d5cff50 101 const char *typename = type_name_no_tag (type);
c906108c 102
8343f86c 103 return (typename != NULL && !strcmp (typename, vtbl_ptr_name));
c906108c
SS
104}
105
106/* Return truth value for the assertion that TYPE is of the type
107 "pointer to virtual function table". */
108
109int
fba45db2 110cp_is_vtbl_member (struct type *type)
c906108c 111{
aff410f1
MS
112 /* With older versions of g++, the vtbl field pointed to an array of
113 structures. Nowadays it points directly to the structure. */
c906108c
SS
114 if (TYPE_CODE (type) == TYPE_CODE_PTR)
115 {
116 type = TYPE_TARGET_TYPE (type);
117 if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
118 {
119 type = TYPE_TARGET_TYPE (type);
aff410f1
MS
120 if (TYPE_CODE (type) == TYPE_CODE_STRUCT /* if not using thunks */
121 || TYPE_CODE (type) == TYPE_CODE_PTR) /* if using thunks */
c906108c
SS
122 {
123 /* Virtual functions tables are full of pointers
aff410f1 124 to virtual functions. */
c906108c
SS
125 return cp_is_vtbl_ptr_type (type);
126 }
127 }
0e5e3ea6
PS
128 else if (TYPE_CODE (type) == TYPE_CODE_STRUCT) /* if not using thunks */
129 {
130 return cp_is_vtbl_ptr_type (type);
131 }
132 else if (TYPE_CODE (type) == TYPE_CODE_PTR) /* if using thunks */
133 {
aff410f1
MS
134 /* The type name of the thunk pointer is NULL when using
135 dwarf2. We could test for a pointer to a function, but
136 there is no type info for the virtual table either, so it
137 wont help. */
0e5e3ea6
PS
138 return cp_is_vtbl_ptr_type (type);
139 }
c906108c
SS
140 }
141 return 0;
142}
143
144/* Mutually recursive subroutines of cp_print_value and c_val_print to
aff410f1
MS
145 print out a structure's fields: cp_print_value_fields and
146 cp_print_value.
c5aa993b 147
aff410f1
MS
148 TYPE, VALADDR, ADDRESS, STREAM, RECURSE, and OPTIONS have the same
149 meanings as in cp_print_value and c_val_print.
c906108c 150
aff410f1
MS
151 2nd argument REAL_TYPE is used to carry over the type of the
152 derived class across the recursion to base classes.
c906108c 153
aff410f1
MS
154 DONT_PRINT is an array of baseclass types that we should not print,
155 or zero if called from top level. */
c906108c
SS
156
157void
a2bd3dcd 158cp_print_value_fields (struct type *type, struct type *real_type,
aff410f1
MS
159 const gdb_byte *valaddr, int offset,
160 CORE_ADDR address, struct ui_file *stream,
161 int recurse, const struct value *val,
79a45b7d 162 const struct value_print_options *options,
aff410f1
MS
163 struct type **dont_print_vb,
164 int dont_print_statmem)
c906108c
SS
165{
166 int i, len, n_baseclasses;
c906108c 167 int fields_seen = 0;
ec31cde5 168 static int last_set_recurse = -1;
c906108c
SS
169
170 CHECK_TYPEDEF (type);
99903ae3 171
ec31cde5
CM
172 if (recurse == 0)
173 {
aff410f1
MS
174 /* Any object can be left on obstacks only during an unexpected
175 error. */
6036c742 176
ec31cde5 177 if (obstack_object_size (&dont_print_statmem_obstack) > 0)
6036c742
JK
178 {
179 obstack_free (&dont_print_statmem_obstack, NULL);
aff410f1
MS
180 obstack_begin (&dont_print_statmem_obstack,
181 32 * sizeof (CORE_ADDR));
6036c742 182 }
ec31cde5 183 if (obstack_object_size (&dont_print_stat_array_obstack) > 0)
6036c742
JK
184 {
185 obstack_free (&dont_print_stat_array_obstack, NULL);
186 obstack_begin (&dont_print_stat_array_obstack,
187 32 * sizeof (struct type *));
188 }
ec31cde5 189 }
c906108c
SS
190
191 fprintf_filtered (stream, "{");
192 len = TYPE_NFIELDS (type);
193 n_baseclasses = TYPE_N_BASECLASSES (type);
194
195 /* First, print out baseclasses such that we don't print
196 duplicates of virtual baseclasses. */
197
198 if (n_baseclasses > 0)
aff410f1
MS
199 cp_print_value (type, real_type, valaddr,
200 offset, address, stream,
201 recurse + 1, val, options,
202 dont_print_vb);
c906108c
SS
203
204 /* Second, print out data fields */
205
086280be
UW
206 /* If there are no data fields, skip this part */
207 if (len == n_baseclasses || !len)
c906108c
SS
208 fprintf_filtered (stream, "<No data fields>");
209 else
210 {
f56dcb88
CM
211 int statmem_obstack_initial_size = 0;
212 int stat_array_obstack_initial_size = 0;
99903ae3 213
c906108c
SS
214 if (dont_print_statmem == 0)
215 {
f56dcb88 216 statmem_obstack_initial_size =
0b66f317 217 obstack_object_size (&dont_print_statmem_obstack);
ec31cde5
CM
218
219 if (last_set_recurse != recurse)
220 {
f56dcb88
CM
221 stat_array_obstack_initial_size =
222 obstack_object_size (&dont_print_stat_array_obstack);
c5504eaf 223
ec31cde5
CM
224 last_set_recurse = recurse;
225 }
c906108c
SS
226 }
227
228 for (i = n_baseclasses; i < len; i++)
229 {
230 /* If requested, skip printing of static fields. */
79a45b7d 231 if (!options->static_field_print
d6a843b5 232 && field_is_static (&TYPE_FIELD (type, i)))
c906108c
SS
233 continue;
234
c906108c
SS
235 if (fields_seen)
236 fprintf_filtered (stream, ", ");
237 else if (n_baseclasses > 0)
238 {
79a45b7d 239 if (options->pretty)
c906108c
SS
240 {
241 fprintf_filtered (stream, "\n");
242 print_spaces_filtered (2 + 2 * recurse, stream);
243 fputs_filtered ("members of ", stream);
244 fputs_filtered (type_name_no_tag (type), stream);
245 fputs_filtered (": ", stream);
246 }
247 }
248 fields_seen = 1;
249
79a45b7d 250 if (options->pretty)
c906108c
SS
251 {
252 fprintf_filtered (stream, "\n");
253 print_spaces_filtered (2 + 2 * recurse, stream);
254 }
c5aa993b 255 else
c906108c
SS
256 {
257 wrap_here (n_spaces (2 + 2 * recurse));
258 }
79a45b7d 259 if (options->inspect_it)
c906108c
SS
260 {
261 if (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_PTR)
262 fputs_filtered ("\"( ptr \"", stream);
263 else
264 fputs_filtered ("\"( nodef \"", stream);
d6a843b5 265 if (field_is_static (&TYPE_FIELD (type, i)))
c906108c 266 fputs_filtered ("static ", stream);
aff410f1
MS
267 fprintf_symbol_filtered (stream,
268 TYPE_FIELD_NAME (type, i),
cf309262 269 current_language->la_language,
c906108c
SS
270 DMGL_PARAMS | DMGL_ANSI);
271 fputs_filtered ("\" \"", stream);
aff410f1
MS
272 fprintf_symbol_filtered (stream,
273 TYPE_FIELD_NAME (type, i),
cf309262 274 current_language->la_language,
c906108c
SS
275 DMGL_PARAMS | DMGL_ANSI);
276 fputs_filtered ("\") \"", stream);
277 }
278 else
279 {
280 annotate_field_begin (TYPE_FIELD_TYPE (type, i));
281
d6a843b5 282 if (field_is_static (&TYPE_FIELD (type, i)))
c906108c 283 fputs_filtered ("static ", stream);
aff410f1
MS
284 fprintf_symbol_filtered (stream,
285 TYPE_FIELD_NAME (type, i),
cf309262 286 current_language->la_language,
c906108c
SS
287 DMGL_PARAMS | DMGL_ANSI);
288 annotate_field_name_end ();
aff410f1
MS
289 /* Do not print leading '=' in case of anonymous
290 unions. */
c906108c
SS
291 if (strcmp (TYPE_FIELD_NAME (type, i), ""))
292 fputs_filtered (" = ", stream);
293 annotate_field_value ();
294 }
295
d6a843b5
JK
296 if (!field_is_static (&TYPE_FIELD (type, i))
297 && TYPE_FIELD_PACKED (type, i))
c906108c 298 {
6943961c 299 struct value *v;
c906108c 300
aff410f1
MS
301 /* Bitfields require special handling, especially due to
302 byte order problems. */
c906108c
SS
303 if (TYPE_FIELD_IGNORE (type, i))
304 {
c5aa993b 305 fputs_filtered ("<optimized out or zero length>", stream);
c906108c 306 }
8cf6f0b1
TT
307 else if (value_bits_synthetic_pointer (val,
308 TYPE_FIELD_BITPOS (type,
309 i),
310 TYPE_FIELD_BITSIZE (type,
311 i)))
312 {
313 fputs_filtered (_("<synthetic pointer>"), stream);
314 }
aff410f1
MS
315 else if (!value_bits_valid (val,
316 TYPE_FIELD_BITPOS (type, i),
0e03807e
TT
317 TYPE_FIELD_BITSIZE (type, i)))
318 {
585fdaa1 319 val_print_optimized_out (stream);
0e03807e 320 }
c906108c
SS
321 else
322 {
79a45b7d 323 struct value_print_options opts = *options;
c5504eaf 324
79a45b7d 325 opts.deref_ref = 0;
5467c6c8
PA
326
327 v = value_field_bitfield (type, i, valaddr, offset, val);
c906108c 328
79a45b7d 329 common_val_print (v, stream, recurse + 1, &opts,
d8ca156b 330 current_language);
c906108c
SS
331 }
332 }
333 else
334 {
335 if (TYPE_FIELD_IGNORE (type, i))
336 {
aff410f1
MS
337 fputs_filtered ("<optimized out or zero length>",
338 stream);
c906108c 339 }
d6a843b5 340 else if (field_is_static (&TYPE_FIELD (type, i)))
c906108c 341 {
ee86786c
TT
342 volatile struct gdb_exception ex;
343 struct value *v = NULL;
344
345 TRY_CATCH (ex, RETURN_MASK_ERROR)
346 {
347 v = value_static_field (type, i);
348 }
349
350 if (ex.reason < 0)
351 fprintf_filtered (stream,
352 _("<error reading variable: %s>"),
353 ex.message);
354 else if (v == NULL)
585fdaa1 355 val_print_optimized_out (stream);
c906108c 356 else
aff410f1
MS
357 cp_print_static_field (TYPE_FIELD_TYPE (type, i),
358 v, stream, recurse + 1,
359 options);
c906108c
SS
360 }
361 else
362 {
79a45b7d 363 struct value_print_options opts = *options;
c5504eaf 364
79a45b7d 365 opts.deref_ref = 0;
c5aa993b 366 val_print (TYPE_FIELD_TYPE (type, i),
aff410f1
MS
367 valaddr,
368 offset + TYPE_FIELD_BITPOS (type, i) / 8,
edf3d5f3 369 address,
0e03807e 370 stream, recurse + 1, val, &opts,
d8ca156b 371 current_language);
c906108c
SS
372 }
373 }
374 annotate_field_end ();
375 }
376
377 if (dont_print_statmem == 0)
378 {
0b66f317
CM
379 int obstack_final_size =
380 obstack_object_size (&dont_print_statmem_obstack);
381
aff410f1
MS
382 if (obstack_final_size > statmem_obstack_initial_size)
383 {
384 /* In effect, a pop of the printed-statics stack. */
0b66f317 385
aff410f1
MS
386 void *free_to_ptr =
387 obstack_next_free (&dont_print_statmem_obstack) -
388 (obstack_final_size - statmem_obstack_initial_size);
0b66f317 389
aff410f1
MS
390 obstack_free (&dont_print_statmem_obstack,
391 free_to_ptr);
392 }
ec31cde5
CM
393
394 if (last_set_recurse != recurse)
395 {
f56dcb88
CM
396 int obstack_final_size =
397 obstack_object_size (&dont_print_stat_array_obstack);
398
399 if (obstack_final_size > stat_array_obstack_initial_size)
400 {
401 void *free_to_ptr =
aff410f1
MS
402 obstack_next_free (&dont_print_stat_array_obstack)
403 - (obstack_final_size
404 - stat_array_obstack_initial_size);
f56dcb88
CM
405
406 obstack_free (&dont_print_stat_array_obstack,
407 free_to_ptr);
408 }
ec31cde5
CM
409 last_set_recurse = -1;
410 }
c906108c
SS
411 }
412
79a45b7d 413 if (options->pretty)
c906108c
SS
414 {
415 fprintf_filtered (stream, "\n");
416 print_spaces_filtered (2 * recurse, stream);
417 }
c5aa993b 418 } /* if there are data fields */
c5aa993b 419
c906108c
SS
420 fprintf_filtered (stream, "}");
421}
422
edf3d5f3
TT
423/* Like cp_print_value_fields, but find the runtime type of the object
424 and pass it as the `real_type' argument to cp_print_value_fields.
425 This function is a hack to work around the fact that
426 common_val_print passes the embedded offset to val_print, but not
427 the enclosing type. */
428
429void
430cp_print_value_fields_rtti (struct type *type,
431 const gdb_byte *valaddr, int offset,
432 CORE_ADDR address,
433 struct ui_file *stream, int recurse,
0e03807e 434 const struct value *val,
edf3d5f3 435 const struct value_print_options *options,
c5504eaf
MS
436 struct type **dont_print_vb,
437 int dont_print_statmem)
edf3d5f3 438{
0e03807e
TT
439 struct type *real_type = NULL;
440
441 /* We require all bits to be valid in order to attempt a
442 conversion. */
443 if (value_bits_valid (val, TARGET_CHAR_BIT * offset,
444 TARGET_CHAR_BIT * TYPE_LENGTH (type)))
445 {
446 struct value *value;
447 int full, top, using_enc;
448
449 /* Ugh, we have to convert back to a value here. */
450 value = value_from_contents_and_address (type, valaddr + offset,
451 address + offset);
aff410f1
MS
452 /* We don't actually care about most of the result here -- just
453 the type. We already have the correct offset, due to how
454 val_print was initially called. */
0e03807e
TT
455 real_type = value_rtti_type (value, &full, &top, &using_enc);
456 }
457
edf3d5f3
TT
458 if (!real_type)
459 real_type = type;
460
461 cp_print_value_fields (type, real_type, valaddr, offset,
0e03807e 462 address, stream, recurse, val, options,
edf3d5f3
TT
463 dont_print_vb, dont_print_statmem);
464}
465
aff410f1
MS
466/* Special val_print routine to avoid printing multiple copies of
467 virtual baseclasses. */
c906108c
SS
468
469static void
a2bd3dcd 470cp_print_value (struct type *type, struct type *real_type,
aff410f1
MS
471 const gdb_byte *valaddr, int offset,
472 CORE_ADDR address, struct ui_file *stream,
473 int recurse, const struct value *val,
79a45b7d
TT
474 const struct value_print_options *options,
475 struct type **dont_print_vb)
c906108c 476{
c906108c 477 struct type **last_dont_print
2c63a960 478 = (struct type **) obstack_next_free (&dont_print_vb_obstack);
c1b6e682 479 struct obstack tmp_obstack = dont_print_vb_obstack;
c906108c 480 int i, n_baseclasses = TYPE_N_BASECLASSES (type);
b9d652ac
DJ
481 int thisoffset;
482 struct type *thistype;
c906108c
SS
483
484 if (dont_print_vb == 0)
485 {
aff410f1
MS
486 /* If we're at top level, carve out a completely fresh chunk of
487 the obstack and use that until this particular invocation
488 returns. */
c906108c
SS
489 /* Bump up the high-water mark. Now alpha is omega. */
490 obstack_finish (&dont_print_vb_obstack);
491 }
492
493 for (i = 0; i < n_baseclasses; i++)
494 {
8af8e3bc 495 int boffset = 0;
c906108c
SS
496 int skip;
497 struct type *baseclass = check_typedef (TYPE_BASECLASS (type, i));
0d5cff50 498 const char *basename = TYPE_NAME (baseclass);
8af8e3bc
PA
499 const gdb_byte *base_valaddr = NULL;
500 const struct value *base_val = NULL;
501 volatile struct gdb_exception ex;
c906108c
SS
502
503 if (BASETYPE_VIA_VIRTUAL (type, i))
504 {
505 struct type **first_dont_print
2c63a960 506 = (struct type **) obstack_base (&dont_print_vb_obstack);
c906108c 507
aff410f1
MS
508 int j = (struct type **)
509 obstack_next_free (&dont_print_vb_obstack) - first_dont_print;
c906108c
SS
510
511 while (--j >= 0)
512 if (baseclass == first_dont_print[j])
513 goto flush_it;
514
515 obstack_ptr_grow (&dont_print_vb_obstack, baseclass);
516 }
517
b9d652ac
DJ
518 thisoffset = offset;
519 thistype = real_type;
086280be 520
8af8e3bc 521 TRY_CATCH (ex, RETURN_MASK_ERROR)
c5aa993b 522 {
8af8e3bc
PA
523 boffset = baseclass_offset (type, i, valaddr, offset, address, val);
524 }
525 if (ex.reason < 0 && ex.error == NOT_AVAILABLE_ERROR)
526 skip = -1;
527 else if (ex.reason < 0)
528 skip = 1;
529 else
530 {
531 skip = 0;
c906108c 532
8af8e3bc 533 if (BASETYPE_VIA_VIRTUAL (type, i))
c5aa993b 534 {
8af8e3bc
PA
535 /* The virtual base class pointer might have been
536 clobbered by the user program. Make sure that it
537 still points to a valid memory location. */
538
539 if ((boffset + offset) < 0
540 || (boffset + offset) >= TYPE_LENGTH (real_type))
541 {
542 /* FIXME (alloca): unsafe if baseclass is really
543 really large. */
544 gdb_byte *buf = alloca (TYPE_LENGTH (baseclass));
545
546 if (target_read_memory (address + boffset, buf,
547 TYPE_LENGTH (baseclass)) != 0)
548 skip = 1;
549 base_val = value_from_contents_and_address (baseclass,
550 buf,
551 address + boffset);
552 thisoffset = 0;
553 boffset = 0;
554 thistype = baseclass;
555 base_valaddr = value_contents_for_printing_const (base_val);
556 }
557 else
558 {
559 base_valaddr = valaddr;
560 base_val = val;
561 }
c5aa993b
JM
562 }
563 else
de4127a3
PA
564 {
565 base_valaddr = valaddr;
566 base_val = val;
567 }
c906108c
SS
568 }
569
aff410f1 570 /* Now do the printing. */
79a45b7d 571 if (options->pretty)
c906108c
SS
572 {
573 fprintf_filtered (stream, "\n");
574 print_spaces_filtered (2 * recurse, stream);
575 }
576 fputs_filtered ("<", stream);
aff410f1
MS
577 /* Not sure what the best notation is in the case where there is
578 no baseclass name. */
c906108c
SS
579 fputs_filtered (basename ? basename : "", stream);
580 fputs_filtered ("> = ", stream);
581
8af8e3bc
PA
582 if (skip < 0)
583 val_print_unavailable (stream);
584 else if (skip > 0)
585 val_print_invalid_address (stream);
c906108c 586 else
a6bac58e
TT
587 {
588 int result = 0;
589
590 /* Attempt to run the Python pretty-printers on the
591 baseclass if possible. */
592 if (!options->raw)
593 result = apply_val_pretty_printer (baseclass, base_valaddr,
594 thisoffset + boffset,
de4127a3
PA
595 value_address (base_val),
596 stream, recurse, base_val,
597 options, current_language);
598
599
a6bac58e
TT
600
601 if (!result)
602 cp_print_value_fields (baseclass, thistype, base_valaddr,
de4127a3
PA
603 thisoffset + boffset,
604 value_address (base_val),
605 stream, recurse, base_val, options,
a6bac58e
TT
606 ((struct type **)
607 obstack_base (&dont_print_vb_obstack)),
608 0);
609 }
c906108c
SS
610 fputs_filtered (", ", stream);
611
612 flush_it:
613 ;
614 }
615
616 if (dont_print_vb == 0)
617 {
618 /* Free the space used to deal with the printing
c5aa993b 619 of this type from top level. */
c906108c
SS
620 obstack_free (&dont_print_vb_obstack, last_dont_print);
621 /* Reset watermark so that we can continue protecting
c5aa993b 622 ourselves from whatever we were protecting ourselves. */
c906108c
SS
623 dont_print_vb_obstack = tmp_obstack;
624 }
625}
626
aff410f1
MS
627/* Print value of a static member. To avoid infinite recursion when
628 printing a class that contains a static instance of the class, we
629 keep the addresses of all printed static member classes in an
630 obstack and refuse to print them more than once.
c906108c 631
79a45b7d 632 VAL contains the value to print, TYPE, STREAM, RECURSE, and OPTIONS
c906108c
SS
633 have the same meanings as in c_val_print. */
634
635static void
2c63a960 636cp_print_static_field (struct type *type,
6943961c 637 struct value *val,
2c63a960 638 struct ui_file *stream,
2c63a960 639 int recurse,
79a45b7d 640 const struct value_print_options *options)
c906108c 641{
79a45b7d 642 struct value_print_options opts;
ec31cde5 643
c906108c
SS
644 if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
645 {
646 CORE_ADDR *first_dont_print;
42ae5230 647 CORE_ADDR addr;
c906108c
SS
648 int i;
649
650 first_dont_print
c5aa993b 651 = (CORE_ADDR *) obstack_base (&dont_print_statmem_obstack);
99903ae3
CM
652 i = obstack_object_size (&dont_print_statmem_obstack)
653 / sizeof (CORE_ADDR);
c906108c
SS
654
655 while (--i >= 0)
656 {
42ae5230 657 if (value_address (val) == first_dont_print[i])
c906108c 658 {
2c63a960
JB
659 fputs_filtered ("<same as static member of an already"
660 " seen type>",
c906108c
SS
661 stream);
662 return;
663 }
664 }
665
42ae5230
TT
666 addr = value_address (val);
667 obstack_grow (&dont_print_statmem_obstack, (char *) &addr,
c906108c 668 sizeof (CORE_ADDR));
c906108c 669 CHECK_TYPEDEF (type);
edf3d5f3 670 cp_print_value_fields (type, value_enclosing_type (val),
0e03807e 671 value_contents_for_printing (val),
42ae5230 672 value_embedded_offset (val), addr,
aff410f1
MS
673 stream, recurse, val,
674 options, NULL, 1);
c906108c
SS
675 return;
676 }
79a45b7d 677
ec31cde5
CM
678 if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
679 {
680 struct type **first_dont_print;
681 int i;
682 struct type *target_type = TYPE_TARGET_TYPE (type);
683
684 first_dont_print
685 = (struct type **) obstack_base (&dont_print_stat_array_obstack);
686 i = obstack_object_size (&dont_print_stat_array_obstack)
1e9beacb 687 / sizeof (struct type *);
ec31cde5
CM
688
689 while (--i >= 0)
690 {
691 if (target_type == first_dont_print[i])
692 {
693 fputs_filtered ("<same as static member of an already"
694 " seen type>",
695 stream);
696 return;
697 }
698 }
699
aff410f1
MS
700 obstack_grow (&dont_print_stat_array_obstack,
701 (char *) &target_type,
ec31cde5
CM
702 sizeof (struct type *));
703 }
704
79a45b7d
TT
705 opts = *options;
706 opts.deref_ref = 0;
0e03807e 707 val_print (type, value_contents_for_printing (val),
aff410f1
MS
708 value_embedded_offset (val),
709 value_address (val),
710 stream, recurse, val,
711 &opts, current_language);
c906108c
SS
712}
713
0d5de010 714
aff410f1
MS
715/* Find the field in *DOMAIN, or its non-virtual base classes, with
716 bit offset OFFSET. Set *DOMAIN to the containing type and *FIELDNO
717 to the containing field number. If OFFSET is not exactly at the
718 start of some field, set *DOMAIN to NULL. */
0d5de010 719
2c0b251b 720static void
0d5de010
DJ
721cp_find_class_member (struct type **domain_p, int *fieldno,
722 LONGEST offset)
723{
724 struct type *domain;
725 unsigned int i;
726 unsigned len;
727
728 *domain_p = check_typedef (*domain_p);
729 domain = *domain_p;
730 len = TYPE_NFIELDS (domain);
731
732 for (i = TYPE_N_BASECLASSES (domain); i < len; i++)
733 {
734 LONGEST bitpos = TYPE_FIELD_BITPOS (domain, i);
735
736 QUIT;
737 if (offset == bitpos)
738 {
739 *fieldno = i;
740 return;
741 }
742 }
743
744 for (i = 0; i < TYPE_N_BASECLASSES (domain); i++)
745 {
746 LONGEST bitpos = TYPE_FIELD_BITPOS (domain, i);
747 LONGEST bitsize = 8 * TYPE_LENGTH (TYPE_FIELD_TYPE (domain, i));
748
749 if (offset >= bitpos && offset < bitpos + bitsize)
750 {
751 *domain_p = TYPE_FIELD_TYPE (domain, i);
752 cp_find_class_member (domain_p, fieldno, offset - bitpos);
753 return;
754 }
755 }
756
757 *domain_p = NULL;
758}
759
c906108c 760void
ad4820ab 761cp_print_class_member (const gdb_byte *valaddr, struct type *type,
fba45db2 762 struct ui_file *stream, char *prefix)
c906108c 763{
e17a4113
UW
764 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
765
c906108c
SS
766 /* VAL is a byte offset into the structure type DOMAIN.
767 Find the name of the field for that offset and
768 print it. */
ad4820ab 769 struct type *domain = TYPE_DOMAIN_TYPE (type);
e17a4113 770 LONGEST val;
0d5de010 771 unsigned int fieldno;
c906108c 772
aff410f1
MS
773 val = extract_signed_integer (valaddr,
774 TYPE_LENGTH (type),
775 byte_order);
e17a4113 776
0d5de010
DJ
777 /* Pointers to data members are usually byte offsets into an object.
778 Because a data member can have offset zero, and a NULL pointer to
779 member must be distinct from any valid non-NULL pointer to
780 member, either the value is biased or the NULL value has a
781 special representation; both are permitted by ISO C++. HP aCC
782 used a bias of 0x20000000; HP cfront used a bias of 1; g++ 3.x
783 and other compilers which use the Itanium ABI use -1 as the NULL
784 value. GDB only supports that last form; to add support for
785 another form, make this into a cp-abi hook. */
c906108c 786
0d5de010 787 if (val == -1)
c906108c 788 {
0d5de010
DJ
789 fprintf_filtered (stream, "NULL");
790 return;
c906108c 791 }
0d5de010
DJ
792
793 cp_find_class_member (&domain, &fieldno, val << 3);
794
795 if (domain != NULL)
c906108c 796 {
0d5cff50 797 const char *name;
c5504eaf 798
306d9ac5 799 fputs_filtered (prefix, stream);
c906108c
SS
800 name = type_name_no_tag (domain);
801 if (name)
c5aa993b 802 fputs_filtered (name, stream);
c906108c
SS
803 else
804 c_type_print_base (domain, stream, 0, 0);
805 fprintf_filtered (stream, "::");
0d5de010 806 fputs_filtered (TYPE_FIELD_NAME (domain, fieldno), stream);
c906108c
SS
807 }
808 else
0d5de010 809 fprintf_filtered (stream, "%ld", (long) val);
c906108c
SS
810}
811
812
c906108c 813void
fba45db2 814_initialize_cp_valprint (void)
c906108c 815{
5bf193a2 816 add_setshow_boolean_cmd ("static-members", class_support,
79a45b7d 817 &user_print_options.static_field_print, _("\
5bf193a2
AC
818Set printing of C++ static members."), _("\
819Show printing of C++ static members."), NULL,
820 NULL,
920d2a44 821 show_static_field_print,
5bf193a2 822 &setprintlist, &showprintlist);
c906108c 823
79a45b7d
TT
824 add_setshow_boolean_cmd ("vtbl", class_support,
825 &user_print_options.vtblprint, _("\
5bf193a2
AC
826Set printing of C++ virtual function tables."), _("\
827Show printing of C++ virtual function tables."), NULL,
828 NULL,
920d2a44 829 show_vtblprint,
5bf193a2
AC
830 &setprintlist, &showprintlist);
831
79a45b7d
TT
832 add_setshow_boolean_cmd ("object", class_support,
833 &user_print_options.objectprint, _("\
5bf193a2
AC
834Set printing of object's derived type based on vtable info."), _("\
835Show printing of object's derived type based on vtable info."), NULL,
836 NULL,
920d2a44 837 show_objectprint,
5bf193a2 838 &setprintlist, &showprintlist);
c906108c 839
aff410f1
MS
840 obstack_begin (&dont_print_stat_array_obstack,
841 32 * sizeof (struct type *));
842 obstack_begin (&dont_print_statmem_obstack,
843 32 * sizeof (CORE_ADDR));
844 obstack_begin (&dont_print_vb_obstack,
845 32 * sizeof (struct type *));
c906108c 846}
This page took 0.832778 seconds and 4 git commands to generate.