* valprint.c (val_print): Update.
[deliverable/binutils-gdb.git] / gdb / f-valprint.c
1 /* Support for printing Fortran values for GDB, the GNU debugger.
2
3 Copyright (C) 1993-1996, 1998-2000, 2003, 2005-2012 Free Software
4 Foundation, Inc.
5
6 Contributed by Motorola. Adapted from the C definitions by Farooq Butt
7 (fmbutt@engage.sps.mot.com), additionally worked over by Stan Shebs.
8
9 This file is part of GDB.
10
11 This program is free software; you can redistribute it and/or modify
12 it under the terms of the GNU General Public License as published by
13 the Free Software Foundation; either version 3 of the License, or
14 (at your option) any later version.
15
16 This program is distributed in the hope that it will be useful,
17 but WITHOUT ANY WARRANTY; without even the implied warranty of
18 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 GNU General Public License for more details.
20
21 You should have received a copy of the GNU General Public License
22 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23
24 #include "defs.h"
25 #include "gdb_string.h"
26 #include "symtab.h"
27 #include "gdbtypes.h"
28 #include "expression.h"
29 #include "value.h"
30 #include "valprint.h"
31 #include "language.h"
32 #include "f-lang.h"
33 #include "frame.h"
34 #include "gdbcore.h"
35 #include "command.h"
36 #include "block.h"
37
38 #if 0
39 static int there_is_a_visible_common_named (char *);
40 #endif
41
42 extern void _initialize_f_valprint (void);
43 static void info_common_command (char *, int);
44 static void list_all_visible_commons (const char *);
45 static void f77_create_arrayprint_offset_tbl (struct type *,
46 struct ui_file *);
47 static void f77_get_dynamic_length_of_aggregate (struct type *);
48
49 int f77_array_offset_tbl[MAX_FORTRAN_DIMS + 1][2];
50
51 /* Array which holds offsets to be applied to get a row's elements
52 for a given array. Array also holds the size of each subarray. */
53
54 /* The following macro gives us the size of the nth dimension, Where
55 n is 1 based. */
56
57 #define F77_DIM_SIZE(n) (f77_array_offset_tbl[n][1])
58
59 /* The following gives us the offset for row n where n is 1-based. */
60
61 #define F77_DIM_OFFSET(n) (f77_array_offset_tbl[n][0])
62
63 int
64 f77_get_lowerbound (struct type *type)
65 {
66 if (TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED (type))
67 error (_("Lower bound may not be '*' in F77"));
68
69 return TYPE_ARRAY_LOWER_BOUND_VALUE (type);
70 }
71
72 int
73 f77_get_upperbound (struct type *type)
74 {
75 if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
76 {
77 /* We have an assumed size array on our hands. Assume that
78 upper_bound == lower_bound so that we show at least 1 element.
79 If the user wants to see more elements, let him manually ask for 'em
80 and we'll subscript the array and show him. */
81
82 return f77_get_lowerbound (type);
83 }
84
85 return TYPE_ARRAY_UPPER_BOUND_VALUE (type);
86 }
87
88 /* Obtain F77 adjustable array dimensions. */
89
90 static void
91 f77_get_dynamic_length_of_aggregate (struct type *type)
92 {
93 int upper_bound = -1;
94 int lower_bound = 1;
95
96 /* Recursively go all the way down into a possibly multi-dimensional
97 F77 array and get the bounds. For simple arrays, this is pretty
98 easy but when the bounds are dynamic, we must be very careful
99 to add up all the lengths correctly. Not doing this right
100 will lead to horrendous-looking arrays in parameter lists.
101
102 This function also works for strings which behave very
103 similarly to arrays. */
104
105 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY
106 || TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_STRING)
107 f77_get_dynamic_length_of_aggregate (TYPE_TARGET_TYPE (type));
108
109 /* Recursion ends here, start setting up lengths. */
110 lower_bound = f77_get_lowerbound (type);
111 upper_bound = f77_get_upperbound (type);
112
113 /* Patch in a valid length value. */
114
115 TYPE_LENGTH (type) =
116 (upper_bound - lower_bound + 1)
117 * TYPE_LENGTH (check_typedef (TYPE_TARGET_TYPE (type)));
118 }
119
120 /* Function that sets up the array offset,size table for the array
121 type "type". */
122
123 static void
124 f77_create_arrayprint_offset_tbl (struct type *type, struct ui_file *stream)
125 {
126 struct type *tmp_type;
127 int eltlen;
128 int ndimen = 1;
129 int upper, lower;
130
131 tmp_type = type;
132
133 while ((TYPE_CODE (tmp_type) == TYPE_CODE_ARRAY))
134 {
135 upper = f77_get_upperbound (tmp_type);
136 lower = f77_get_lowerbound (tmp_type);
137
138 F77_DIM_SIZE (ndimen) = upper - lower + 1;
139
140 tmp_type = TYPE_TARGET_TYPE (tmp_type);
141 ndimen++;
142 }
143
144 /* Now we multiply eltlen by all the offsets, so that later we
145 can print out array elements correctly. Up till now we
146 know an offset to apply to get the item but we also
147 have to know how much to add to get to the next item. */
148
149 ndimen--;
150 eltlen = TYPE_LENGTH (tmp_type);
151 F77_DIM_OFFSET (ndimen) = eltlen;
152 while (--ndimen > 0)
153 {
154 eltlen *= F77_DIM_SIZE (ndimen + 1);
155 F77_DIM_OFFSET (ndimen) = eltlen;
156 }
157 }
158
159
160
161 /* Actual function which prints out F77 arrays, Valaddr == address in
162 the superior. Address == the address in the inferior. */
163
164 static void
165 f77_print_array_1 (int nss, int ndimensions, struct type *type,
166 const gdb_byte *valaddr,
167 int embedded_offset, CORE_ADDR address,
168 struct ui_file *stream, int recurse,
169 const struct value *val,
170 const struct value_print_options *options,
171 int *elts)
172 {
173 int i;
174
175 if (nss != ndimensions)
176 {
177 for (i = 0;
178 (i < F77_DIM_SIZE (nss) && (*elts) < options->print_max);
179 i++)
180 {
181 fprintf_filtered (stream, "( ");
182 f77_print_array_1 (nss + 1, ndimensions, TYPE_TARGET_TYPE (type),
183 valaddr,
184 embedded_offset + i * F77_DIM_OFFSET (nss),
185 address,
186 stream, recurse, val, options, elts);
187 fprintf_filtered (stream, ") ");
188 }
189 if (*elts >= options->print_max && i < F77_DIM_SIZE (nss))
190 fprintf_filtered (stream, "...");
191 }
192 else
193 {
194 for (i = 0; i < F77_DIM_SIZE (nss) && (*elts) < options->print_max;
195 i++, (*elts)++)
196 {
197 val_print (TYPE_TARGET_TYPE (type),
198 valaddr,
199 embedded_offset + i * F77_DIM_OFFSET (ndimensions),
200 address, stream, recurse,
201 val, options, current_language);
202
203 if (i != (F77_DIM_SIZE (nss) - 1))
204 fprintf_filtered (stream, ", ");
205
206 if ((*elts == options->print_max - 1)
207 && (i != (F77_DIM_SIZE (nss) - 1)))
208 fprintf_filtered (stream, "...");
209 }
210 }
211 }
212
213 /* This function gets called to print an F77 array, we set up some
214 stuff and then immediately call f77_print_array_1(). */
215
216 static void
217 f77_print_array (struct type *type, const gdb_byte *valaddr,
218 int embedded_offset,
219 CORE_ADDR address, struct ui_file *stream,
220 int recurse,
221 const struct value *val,
222 const struct value_print_options *options)
223 {
224 int ndimensions;
225 int elts = 0;
226
227 ndimensions = calc_f77_array_dims (type);
228
229 if (ndimensions > MAX_FORTRAN_DIMS || ndimensions < 0)
230 error (_("\
231 Type node corrupt! F77 arrays cannot have %d subscripts (%d Max)"),
232 ndimensions, MAX_FORTRAN_DIMS);
233
234 /* Since F77 arrays are stored column-major, we set up an
235 offset table to get at the various row's elements. The
236 offset table contains entries for both offset and subarray size. */
237
238 f77_create_arrayprint_offset_tbl (type, stream);
239
240 f77_print_array_1 (1, ndimensions, type, valaddr, embedded_offset,
241 address, stream, recurse, val, options, &elts);
242 }
243 \f
244
245 /* See val_print for a description of the various parameters of this
246 function; they are identical. */
247
248 void
249 f_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
250 CORE_ADDR address, struct ui_file *stream, int recurse,
251 const struct value *original_value,
252 const struct value_print_options *options)
253 {
254 struct gdbarch *gdbarch = get_type_arch (type);
255 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
256 unsigned int i = 0; /* Number of characters printed. */
257 struct type *elttype;
258 LONGEST val;
259 CORE_ADDR addr;
260 int index;
261
262 CHECK_TYPEDEF (type);
263 switch (TYPE_CODE (type))
264 {
265 case TYPE_CODE_STRING:
266 f77_get_dynamic_length_of_aggregate (type);
267 LA_PRINT_STRING (stream, builtin_type (gdbarch)->builtin_char,
268 valaddr + embedded_offset,
269 TYPE_LENGTH (type), NULL, 0, options);
270 break;
271
272 case TYPE_CODE_ARRAY:
273 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_CHAR)
274 {
275 fprintf_filtered (stream, "(");
276 f77_print_array (type, valaddr, embedded_offset,
277 address, stream, recurse, original_value, options);
278 fprintf_filtered (stream, ")");
279 }
280 else
281 {
282 struct type *ch_type = TYPE_TARGET_TYPE (type);
283
284 f77_get_dynamic_length_of_aggregate (type);
285 LA_PRINT_STRING (stream, ch_type,
286 valaddr + embedded_offset,
287 TYPE_LENGTH (type) / TYPE_LENGTH (ch_type),
288 NULL, 0, options);
289 }
290 break;
291
292 case TYPE_CODE_PTR:
293 if (options->format && options->format != 's')
294 {
295 val_print_scalar_formatted (type, valaddr, embedded_offset,
296 original_value, options, 0, stream);
297 break;
298 }
299 else
300 {
301 addr = unpack_pointer (type, valaddr + embedded_offset);
302 elttype = check_typedef (TYPE_TARGET_TYPE (type));
303
304 if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
305 {
306 /* Try to print what function it points to. */
307 print_address_demangle (gdbarch, addr, stream, demangle);
308 return;
309 }
310
311 if (options->addressprint && options->format != 's')
312 fputs_filtered (paddress (gdbarch, addr), stream);
313
314 /* For a pointer to char or unsigned char, also print the string
315 pointed to, unless pointer is null. */
316 if (TYPE_LENGTH (elttype) == 1
317 && TYPE_CODE (elttype) == TYPE_CODE_INT
318 && (options->format == 0 || options->format == 's')
319 && addr != 0)
320 i = val_print_string (TYPE_TARGET_TYPE (type), NULL, addr, -1,
321 stream, options);
322 return;
323 }
324 break;
325
326 case TYPE_CODE_REF:
327 elttype = check_typedef (TYPE_TARGET_TYPE (type));
328 if (options->addressprint)
329 {
330 CORE_ADDR addr
331 = extract_typed_address (valaddr + embedded_offset, type);
332
333 fprintf_filtered (stream, "@");
334 fputs_filtered (paddress (gdbarch, addr), stream);
335 if (options->deref_ref)
336 fputs_filtered (": ", stream);
337 }
338 /* De-reference the reference. */
339 if (options->deref_ref)
340 {
341 if (TYPE_CODE (elttype) != TYPE_CODE_UNDEF)
342 {
343 struct value *deref_val;
344
345 deref_val = coerce_ref_if_computed (original_value);
346 if (deref_val != NULL)
347 {
348 /* More complicated computed references are not supported. */
349 gdb_assert (embedded_offset == 0);
350 }
351 else
352 deref_val = value_at (TYPE_TARGET_TYPE (type),
353 unpack_pointer (type,
354 (valaddr
355 + embedded_offset)));
356
357 common_val_print (deref_val, stream, recurse,
358 options, current_language);
359 }
360 else
361 fputs_filtered ("???", stream);
362 }
363 break;
364
365 case TYPE_CODE_FUNC:
366 if (options->format)
367 {
368 val_print_scalar_formatted (type, valaddr, embedded_offset,
369 original_value, options, 0, stream);
370 break;
371 }
372 /* FIXME, we should consider, at least for ANSI C language, eliminating
373 the distinction made between FUNCs and POINTERs to FUNCs. */
374 fprintf_filtered (stream, "{");
375 type_print (type, "", stream, -1);
376 fprintf_filtered (stream, "} ");
377 /* Try to print what function it points to, and its address. */
378 print_address_demangle (gdbarch, address, stream, demangle);
379 break;
380
381 case TYPE_CODE_INT:
382 case TYPE_CODE_CHAR:
383 if (options->format || options->output_format)
384 {
385 struct value_print_options opts = *options;
386
387 opts.format = (options->format ? options->format
388 : options->output_format);
389 val_print_scalar_formatted (type, valaddr, embedded_offset,
390 original_value, options, 0, stream);
391 }
392 else
393 {
394 val_print_type_code_int (type, valaddr + embedded_offset, stream);
395 /* C and C++ has no single byte int type, char is used instead.
396 Since we don't know whether the value is really intended to
397 be used as an integer or a character, print the character
398 equivalent as well. */
399 if (TYPE_LENGTH (type) == 1 || TYPE_CODE (type) == TYPE_CODE_CHAR)
400 {
401 LONGEST c;
402
403 fputs_filtered (" ", stream);
404 c = unpack_long (type, valaddr + embedded_offset);
405 LA_PRINT_CHAR ((unsigned char) c, type, stream);
406 }
407 }
408 break;
409
410 case TYPE_CODE_FLAGS:
411 if (options->format)
412 val_print_scalar_formatted (type, valaddr, embedded_offset,
413 original_value, options, 0, stream);
414 else
415 val_print_type_code_flags (type, valaddr + embedded_offset, stream);
416 break;
417
418 case TYPE_CODE_FLT:
419 if (options->format)
420 val_print_scalar_formatted (type, valaddr, embedded_offset,
421 original_value, options, 0, stream);
422 else
423 print_floating (valaddr + embedded_offset, type, stream);
424 break;
425
426 case TYPE_CODE_VOID:
427 fprintf_filtered (stream, "VOID");
428 break;
429
430 case TYPE_CODE_ERROR:
431 fprintf_filtered (stream, "%s", TYPE_ERROR_NAME (type));
432 break;
433
434 case TYPE_CODE_RANGE:
435 /* FIXME, we should not ever have to print one of these yet. */
436 fprintf_filtered (stream, "<range type>");
437 break;
438
439 case TYPE_CODE_BOOL:
440 if (options->format || options->output_format)
441 {
442 struct value_print_options opts = *options;
443
444 opts.format = (options->format ? options->format
445 : options->output_format);
446 val_print_scalar_formatted (type, valaddr, embedded_offset,
447 original_value, &opts, 0, stream);
448 }
449 else
450 {
451 val = extract_unsigned_integer (valaddr + embedded_offset,
452 TYPE_LENGTH (type), byte_order);
453 if (val == 0)
454 fprintf_filtered (stream, ".FALSE.");
455 else if (val == 1)
456 fprintf_filtered (stream, ".TRUE.");
457 else
458 /* Not a legitimate logical type, print as an integer. */
459 {
460 /* Bash the type code temporarily. */
461 TYPE_CODE (type) = TYPE_CODE_INT;
462 val_print (type, valaddr, embedded_offset,
463 address, stream, recurse,
464 original_value, options, current_language);
465 /* Restore the type code so later uses work as intended. */
466 TYPE_CODE (type) = TYPE_CODE_BOOL;
467 }
468 }
469 break;
470
471 case TYPE_CODE_COMPLEX:
472 type = TYPE_TARGET_TYPE (type);
473 fputs_filtered ("(", stream);
474 print_floating (valaddr + embedded_offset, type, stream);
475 fputs_filtered (",", stream);
476 print_floating (valaddr + embedded_offset + TYPE_LENGTH (type),
477 type, stream);
478 fputs_filtered (")", stream);
479 break;
480
481 case TYPE_CODE_UNDEF:
482 /* This happens (without TYPE_FLAG_STUB set) on systems which don't use
483 dbx xrefs (NO_DBX_XREFS in gcc) if a file has a "struct foo *bar"
484 and no complete type for struct foo in that file. */
485 fprintf_filtered (stream, "<incomplete type>");
486 break;
487
488 case TYPE_CODE_STRUCT:
489 case TYPE_CODE_UNION:
490 /* Starting from the Fortran 90 standard, Fortran supports derived
491 types. */
492 fprintf_filtered (stream, "( ");
493 for (index = 0; index < TYPE_NFIELDS (type); index++)
494 {
495 int offset = TYPE_FIELD_BITPOS (type, index) / 8;
496
497 val_print (TYPE_FIELD_TYPE (type, index), valaddr,
498 embedded_offset + offset,
499 address, stream, recurse + 1,
500 original_value, options, current_language);
501 if (index != TYPE_NFIELDS (type) - 1)
502 fputs_filtered (", ", stream);
503 }
504 fprintf_filtered (stream, " )");
505 break;
506
507 default:
508 error (_("Invalid F77 type code %d in symbol table."), TYPE_CODE (type));
509 }
510 gdb_flush (stream);
511 }
512
513 static void
514 list_all_visible_commons (const char *funname)
515 {
516 SAVED_F77_COMMON_PTR tmp;
517
518 tmp = head_common_list;
519
520 printf_filtered (_("All COMMON blocks visible at this level:\n\n"));
521
522 while (tmp != NULL)
523 {
524 if (strcmp (tmp->owning_function, funname) == 0)
525 printf_filtered ("%s\n", tmp->name);
526
527 tmp = tmp->next;
528 }
529 }
530
531 /* This function is used to print out the values in a given COMMON
532 block. It will always use the most local common block of the
533 given name. */
534
535 static void
536 info_common_command (char *comname, int from_tty)
537 {
538 SAVED_F77_COMMON_PTR the_common;
539 COMMON_ENTRY_PTR entry;
540 struct frame_info *fi;
541 const char *funname = 0;
542 struct symbol *func;
543
544 /* We have been told to display the contents of F77 COMMON
545 block supposedly visible in this function. Let us
546 first make sure that it is visible and if so, let
547 us display its contents. */
548
549 fi = get_selected_frame (_("No frame selected"));
550
551 /* The following is generally ripped off from stack.c's routine
552 print_frame_info(). */
553
554 func = find_pc_function (get_frame_pc (fi));
555 if (func)
556 {
557 /* In certain pathological cases, the symtabs give the wrong
558 function (when we are in the first function in a file which
559 is compiled without debugging symbols, the previous function
560 is compiled with debugging symbols, and the "foo.o" symbol
561 that is supposed to tell us where the file with debugging symbols
562 ends has been truncated by ar because it is longer than 15
563 characters).
564
565 So look in the minimal symbol tables as well, and if it comes
566 up with a larger address for the function use that instead.
567 I don't think this can ever cause any problems; there shouldn't
568 be any minimal symbols in the middle of a function.
569 FIXME: (Not necessarily true. What about text labels?) */
570
571 struct minimal_symbol *msymbol =
572 lookup_minimal_symbol_by_pc (get_frame_pc (fi));
573
574 if (msymbol != NULL
575 && (SYMBOL_VALUE_ADDRESS (msymbol)
576 > BLOCK_START (SYMBOL_BLOCK_VALUE (func))))
577 funname = SYMBOL_LINKAGE_NAME (msymbol);
578 else
579 funname = SYMBOL_LINKAGE_NAME (func);
580 }
581 else
582 {
583 struct minimal_symbol *msymbol =
584 lookup_minimal_symbol_by_pc (get_frame_pc (fi));
585
586 if (msymbol != NULL)
587 funname = SYMBOL_LINKAGE_NAME (msymbol);
588 else /* Got no 'funname', code below will fail. */
589 error (_("No function found for frame."));
590 }
591
592 /* If comname is NULL, we assume the user wishes to see the
593 which COMMON blocks are visible here and then return. */
594
595 if (comname == 0)
596 {
597 list_all_visible_commons (funname);
598 return;
599 }
600
601 the_common = find_common_for_function (comname, funname);
602
603 if (the_common)
604 {
605 if (strcmp (comname, BLANK_COMMON_NAME_LOCAL) == 0)
606 printf_filtered (_("Contents of blank COMMON block:\n"));
607 else
608 printf_filtered (_("Contents of F77 COMMON block '%s':\n"), comname);
609
610 printf_filtered ("\n");
611 entry = the_common->entries;
612
613 while (entry != NULL)
614 {
615 print_variable_and_value (NULL, entry->symbol, fi, gdb_stdout, 0);
616 entry = entry->next;
617 }
618 }
619 else
620 printf_filtered (_("Cannot locate the common block %s in function '%s'\n"),
621 comname, funname);
622 }
623
624 /* This function is used to determine whether there is a
625 F77 common block visible at the current scope called 'comname'. */
626
627 #if 0
628 static int
629 there_is_a_visible_common_named (char *comname)
630 {
631 SAVED_F77_COMMON_PTR the_common;
632 struct frame_info *fi;
633 char *funname = 0;
634 struct symbol *func;
635
636 if (comname == NULL)
637 error (_("Cannot deal with NULL common name!"));
638
639 fi = get_selected_frame (_("No frame selected"));
640
641 /* The following is generally ripped off from stack.c's routine
642 print_frame_info(). */
643
644 func = find_pc_function (fi->pc);
645 if (func)
646 {
647 /* In certain pathological cases, the symtabs give the wrong
648 function (when we are in the first function in a file which
649 is compiled without debugging symbols, the previous function
650 is compiled with debugging symbols, and the "foo.o" symbol
651 that is supposed to tell us where the file with debugging symbols
652 ends has been truncated by ar because it is longer than 15
653 characters).
654
655 So look in the minimal symbol tables as well, and if it comes
656 up with a larger address for the function use that instead.
657 I don't think this can ever cause any problems; there shouldn't
658 be any minimal symbols in the middle of a function.
659 FIXME: (Not necessarily true. What about text labels?) */
660
661 struct minimal_symbol *msymbol = lookup_minimal_symbol_by_pc (fi->pc);
662
663 if (msymbol != NULL
664 && (SYMBOL_VALUE_ADDRESS (msymbol)
665 > BLOCK_START (SYMBOL_BLOCK_VALUE (func))))
666 funname = SYMBOL_LINKAGE_NAME (msymbol);
667 else
668 funname = SYMBOL_LINKAGE_NAME (func);
669 }
670 else
671 {
672 struct minimal_symbol *msymbol =
673 lookup_minimal_symbol_by_pc (fi->pc);
674
675 if (msymbol != NULL)
676 funname = SYMBOL_LINKAGE_NAME (msymbol);
677 }
678
679 the_common = find_common_for_function (comname, funname);
680
681 return (the_common ? 1 : 0);
682 }
683 #endif
684
685 void
686 _initialize_f_valprint (void)
687 {
688 add_info ("common", info_common_command,
689 _("Print out the values contained in a Fortran COMMON block."));
690 if (xdb_commands)
691 add_com ("lc", class_info, info_common_command,
692 _("Print out the values contained in a Fortran COMMON block."));
693 }
This page took 0.044246 seconds and 4 git commands to generate.