Make "gnutarget" const
[deliverable/binutils-gdb.git] / gdb / f-valprint.c
CommitLineData
c906108c 1/* Support for printing Fortran values for GDB, the GNU debugger.
a2bd3dcd 2
b811d2c2 3 Copyright (C) 1993-2020 Free Software Foundation, Inc.
a2bd3dcd 4
c906108c
SS
5 Contributed by Motorola. Adapted from the C definitions by Farooq Butt
6 (fmbutt@engage.sps.mot.com), additionally worked over by Stan Shebs.
7
c5aa993b 8 This file is part of GDB.
c906108c 9
c5aa993b
JM
10 This program is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
a9762ec7 12 the Free Software Foundation; either version 3 of the License, or
c5aa993b 13 (at your option) any later version.
c906108c 14
c5aa993b
JM
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
c906108c 19
c5aa993b 20 You should have received a copy of the GNU General Public License
a9762ec7 21 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
22
23#include "defs.h"
4de283e4
TT
24#include "symtab.h"
25#include "gdbtypes.h"
c906108c 26#include "expression.h"
4de283e4
TT
27#include "value.h"
28#include "valprint.h"
29#include "language.h"
c5aa993b 30#include "f-lang.h"
c906108c
SS
31#include "frame.h"
32#include "gdbcore.h"
4de283e4
TT
33#include "command.h"
34#include "block.h"
35#include "dictionary.h"
7f6aba03 36#include "cli/cli-style.h"
5bbd8269 37#include "gdbarch.h"
c906108c 38
a14ed312 39static void f77_get_dynamic_length_of_aggregate (struct type *);
c906108c 40
c5aa993b 41int f77_array_offset_tbl[MAX_FORTRAN_DIMS + 1][2];
c906108c
SS
42
43/* Array which holds offsets to be applied to get a row's elements
0963b4bd 44 for a given array. Array also holds the size of each subarray. */
c906108c 45
2880242d 46LONGEST
d78df370 47f77_get_lowerbound (struct type *type)
c906108c 48{
d78df370
JK
49 if (TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED (type))
50 error (_("Lower bound may not be '*' in F77"));
c5aa993b 51
d78df370 52 return TYPE_ARRAY_LOWER_BOUND_VALUE (type);
c906108c
SS
53}
54
2880242d 55LONGEST
d78df370 56f77_get_upperbound (struct type *type)
c906108c 57{
d78df370 58 if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
c906108c 59 {
d78df370
JK
60 /* We have an assumed size array on our hands. Assume that
61 upper_bound == lower_bound so that we show at least 1 element.
62 If the user wants to see more elements, let him manually ask for 'em
63 and we'll subscript the array and show him. */
64
65 return f77_get_lowerbound (type);
c906108c 66 }
d78df370
JK
67
68 return TYPE_ARRAY_UPPER_BOUND_VALUE (type);
c906108c
SS
69}
70
0963b4bd 71/* Obtain F77 adjustable array dimensions. */
c906108c
SS
72
73static void
fba45db2 74f77_get_dynamic_length_of_aggregate (struct type *type)
c906108c
SS
75{
76 int upper_bound = -1;
c5aa993b 77 int lower_bound = 1;
c5aa993b 78
c906108c
SS
79 /* Recursively go all the way down into a possibly multi-dimensional
80 F77 array and get the bounds. For simple arrays, this is pretty
81 easy but when the bounds are dynamic, we must be very careful
82 to add up all the lengths correctly. Not doing this right
83 will lead to horrendous-looking arrays in parameter lists.
c5aa993b 84
c906108c 85 This function also works for strings which behave very
c5aa993b
JM
86 similarly to arrays. */
87
88 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY
89 || TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_STRING)
c906108c 90 f77_get_dynamic_length_of_aggregate (TYPE_TARGET_TYPE (type));
c5aa993b
JM
91
92 /* Recursion ends here, start setting up lengths. */
d78df370
JK
93 lower_bound = f77_get_lowerbound (type);
94 upper_bound = f77_get_upperbound (type);
c5aa993b 95
0963b4bd 96 /* Patch in a valid length value. */
c5aa993b 97
c906108c 98 TYPE_LENGTH (type) =
3e43a32a
MS
99 (upper_bound - lower_bound + 1)
100 * TYPE_LENGTH (check_typedef (TYPE_TARGET_TYPE (type)));
c5aa993b 101}
c906108c 102
c906108c
SS
103/* Actual function which prints out F77 arrays, Valaddr == address in
104 the superior. Address == the address in the inferior. */
7b0090c3 105
c5aa993b 106static void
a2bd3dcd 107f77_print_array_1 (int nss, int ndimensions, struct type *type,
490f124f
PA
108 const gdb_byte *valaddr,
109 int embedded_offset, CORE_ADDR address,
79a45b7d 110 struct ui_file *stream, int recurse,
0e03807e 111 const struct value *val,
79a45b7d 112 const struct value_print_options *options,
b3cacbee 113 int *elts)
c906108c 114{
3e2e34f8
KB
115 struct type *range_type = TYPE_INDEX_TYPE (check_typedef (type));
116 CORE_ADDR addr = address + embedded_offset;
117 LONGEST lowerbound, upperbound;
e409c542 118 LONGEST i;
c5aa993b 119
3e2e34f8
KB
120 get_discrete_bounds (range_type, &lowerbound, &upperbound);
121
c906108c
SS
122 if (nss != ndimensions)
123 {
5bbd8269
AB
124 struct gdbarch *gdbarch = get_type_arch (type);
125 size_t dim_size = type_length_units (TYPE_TARGET_TYPE (type));
126 int unit_size = gdbarch_addressable_memory_unit_size (gdbarch);
127 size_t byte_stride = TYPE_ARRAY_BIT_STRIDE (type) / (unit_size * 8);
128 if (byte_stride == 0)
129 byte_stride = dim_size;
3e2e34f8
KB
130 size_t offs = 0;
131
132 for (i = lowerbound;
133 (i < upperbound + 1 && (*elts) < options->print_max);
3e43a32a 134 i++)
c906108c 135 {
3e2e34f8
KB
136 struct value *subarray = value_from_contents_and_address
137 (TYPE_TARGET_TYPE (type), value_contents_for_printing_const (val)
138 + offs, addr + offs);
139
c906108c 140 fprintf_filtered (stream, "( ");
3e2e34f8
KB
141 f77_print_array_1 (nss + 1, ndimensions, value_type (subarray),
142 value_contents_for_printing (subarray),
143 value_embedded_offset (subarray),
144 value_address (subarray),
145 stream, recurse, subarray, options, elts);
5bbd8269 146 offs += byte_stride;
c906108c
SS
147 fprintf_filtered (stream, ") ");
148 }
3e2e34f8 149 if (*elts >= options->print_max && i < upperbound)
b3cacbee 150 fprintf_filtered (stream, "...");
c906108c
SS
151 }
152 else
153 {
3e2e34f8 154 for (i = lowerbound; i < upperbound + 1 && (*elts) < options->print_max;
7b0090c3 155 i++, (*elts)++)
c906108c 156 {
3e2e34f8
KB
157 struct value *elt = value_subscript ((struct value *)val, i);
158
159 val_print (value_type (elt),
3e2e34f8
KB
160 value_embedded_offset (elt),
161 value_address (elt), stream, recurse,
162 elt, options, current_language);
c906108c 163
3e2e34f8 164 if (i != upperbound)
c5aa993b
JM
165 fprintf_filtered (stream, ", ");
166
79a45b7d 167 if ((*elts == options->print_max - 1)
3e2e34f8 168 && (i != upperbound))
c906108c
SS
169 fprintf_filtered (stream, "...");
170 }
171 }
172}
173
174/* This function gets called to print an F77 array, we set up some
0963b4bd 175 stuff and then immediately call f77_print_array_1(). */
c906108c 176
c5aa993b 177static void
fc1a4b47 178f77_print_array (struct type *type, const gdb_byte *valaddr,
490f124f 179 int embedded_offset,
a2bd3dcd 180 CORE_ADDR address, struct ui_file *stream,
0e03807e
TT
181 int recurse,
182 const struct value *val,
183 const struct value_print_options *options)
c906108c 184{
c5aa993b 185 int ndimensions;
b3cacbee 186 int elts = 0;
c5aa993b
JM
187
188 ndimensions = calc_f77_array_dims (type);
189
c906108c 190 if (ndimensions > MAX_FORTRAN_DIMS || ndimensions < 0)
3e43a32a
MS
191 error (_("\
192Type node corrupt! F77 arrays cannot have %d subscripts (%d Max)"),
c906108c 193 ndimensions, MAX_FORTRAN_DIMS);
c5aa993b 194
490f124f
PA
195 f77_print_array_1 (1, ndimensions, type, valaddr, embedded_offset,
196 address, stream, recurse, val, options, &elts);
c5aa993b 197}
c906108c 198\f
c5aa993b 199
e88acd96
TT
200/* Decorations for Fortran. */
201
202static const struct generic_val_print_decorations f_decorations =
203{
204 "(",
205 ",",
206 ")",
207 ".TRUE.",
208 ".FALSE.",
bbe75b9d 209 "void",
00272ec4
TT
210 "{",
211 "}"
e88acd96
TT
212};
213
32b72a42 214/* See val_print for a description of the various parameters of this
d3eab38a 215 function; they are identical. */
c906108c 216
d3eab38a 217void
e8b24d9f 218f_val_print (struct type *type, int embedded_offset,
79a45b7d 219 CORE_ADDR address, struct ui_file *stream, int recurse,
e8b24d9f 220 struct value *original_value,
79a45b7d 221 const struct value_print_options *options)
c906108c 222{
50810684 223 struct gdbarch *gdbarch = get_type_arch (type);
04d59df6 224 int printed_field = 0; /* Number of fields printed. */
c906108c 225 struct type *elttype;
c906108c 226 CORE_ADDR addr;
2a5e440c 227 int index;
e8b24d9f 228 const gdb_byte *valaddr =value_contents_for_printing (original_value);
c5aa993b 229
f168693b 230 type = check_typedef (type);
c906108c
SS
231 switch (TYPE_CODE (type))
232 {
c5aa993b 233 case TYPE_CODE_STRING:
c906108c 234 f77_get_dynamic_length_of_aggregate (type);
50810684 235 LA_PRINT_STRING (stream, builtin_type (gdbarch)->builtin_char,
490f124f
PA
236 valaddr + embedded_offset,
237 TYPE_LENGTH (type), NULL, 0, options);
c906108c 238 break;
c5aa993b 239
c906108c 240 case TYPE_CODE_ARRAY:
3b2b8fea
TT
241 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_CHAR)
242 {
243 fprintf_filtered (stream, "(");
244 f77_print_array (type, valaddr, embedded_offset,
245 address, stream, recurse, original_value, options);
246 fprintf_filtered (stream, ")");
247 }
248 else
249 {
250 struct type *ch_type = TYPE_TARGET_TYPE (type);
251
252 f77_get_dynamic_length_of_aggregate (type);
253 LA_PRINT_STRING (stream, ch_type,
254 valaddr + embedded_offset,
255 TYPE_LENGTH (type) / TYPE_LENGTH (ch_type),
256 NULL, 0, options);
257 }
c906108c 258 break;
7e86466e 259
c906108c 260 case TYPE_CODE_PTR:
79a45b7d 261 if (options->format && options->format != 's')
c906108c 262 {
e8b24d9f 263 val_print_scalar_formatted (type, embedded_offset,
ab2188aa 264 original_value, options, 0, stream);
c906108c
SS
265 break;
266 }
267 else
268 {
b012acdd
TT
269 int want_space = 0;
270
490f124f 271 addr = unpack_pointer (type, valaddr + embedded_offset);
c906108c 272 elttype = check_typedef (TYPE_TARGET_TYPE (type));
c5aa993b 273
c906108c
SS
274 if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
275 {
276 /* Try to print what function it points to. */
edf0c1b7 277 print_function_pointer_address (options, gdbarch, addr, stream);
d3eab38a 278 return;
c906108c 279 }
c5aa993b 280
9cb709b6
TT
281 if (options->symbol_print)
282 want_space = print_address_demangle (options, gdbarch, addr,
283 stream, demangle);
284 else if (options->addressprint && options->format != 's')
b012acdd
TT
285 {
286 fputs_filtered (paddress (gdbarch, addr), stream);
287 want_space = 1;
288 }
c5aa993b 289
c906108c
SS
290 /* For a pointer to char or unsigned char, also print the string
291 pointed to, unless pointer is null. */
292 if (TYPE_LENGTH (elttype) == 1
293 && TYPE_CODE (elttype) == TYPE_CODE_INT
79a45b7d 294 && (options->format == 0 || options->format == 's')
c906108c 295 && addr != 0)
b012acdd
TT
296 {
297 if (want_space)
298 fputs_filtered (" ", stream);
78cc6c2d
TT
299 val_print_string (TYPE_TARGET_TYPE (type), NULL, addr, -1,
300 stream, options);
b012acdd 301 }
d3eab38a 302 return;
7e86466e
RH
303 }
304 break;
305
c906108c 306 case TYPE_CODE_INT:
79a45b7d
TT
307 if (options->format || options->output_format)
308 {
309 struct value_print_options opts = *options;
bb9bcb69 310
79a45b7d
TT
311 opts.format = (options->format ? options->format
312 : options->output_format);
e8b24d9f 313 val_print_scalar_formatted (type, embedded_offset,
eb0b0463 314 original_value, &opts, 0, stream);
79a45b7d 315 }
c906108c 316 else
469412dd
CW
317 val_print_scalar_formatted (type, embedded_offset,
318 original_value, options, 0, stream);
c906108c 319 break;
c5aa993b 320
2a5e440c 321 case TYPE_CODE_STRUCT:
9eec4d1e 322 case TYPE_CODE_UNION:
2a5e440c
WZ
323 /* Starting from the Fortran 90 standard, Fortran supports derived
324 types. */
9eec4d1e 325 fprintf_filtered (stream, "( ");
2a5e440c
WZ
326 for (index = 0; index < TYPE_NFIELDS (type); index++)
327 {
3e2e34f8
KB
328 struct value *field = value_field
329 ((struct value *)original_value, index);
330
04d59df6 331 struct type *field_type = check_typedef (TYPE_FIELD_TYPE (type, index));
bb9bcb69 332
04d59df6
WT
333
334 if (TYPE_CODE (field_type) != TYPE_CODE_FUNC)
335 {
336 const char *field_name;
337
338 if (printed_field > 0)
339 fputs_filtered (", ", stream);
340
341 field_name = TYPE_FIELD_NAME (type, index);
342 if (field_name != NULL)
343 {
3f0cbb04
TT
344 fputs_styled (field_name, variable_name_style.style (),
345 stream);
04d59df6
WT
346 fputs_filtered (" = ", stream);
347 }
348
349 val_print (value_type (field),
04d59df6
WT
350 value_embedded_offset (field),
351 value_address (field), stream, recurse + 1,
352 field, options, current_language);
353
354 ++printed_field;
355 }
356 }
9eec4d1e 357 fprintf_filtered (stream, " )");
2a5e440c
WZ
358 break;
359
5e5d66b6
AB
360 case TYPE_CODE_BOOL:
361 if (options->format || options->output_format)
362 {
363 struct value_print_options opts = *options;
364 opts.format = (options->format ? options->format
365 : options->output_format);
366 val_print_scalar_formatted (type, embedded_offset,
367 original_value, &opts, 0, stream);
368 }
369 else
370 {
371 int unit_size = gdbarch_addressable_memory_unit_size (gdbarch);
372 LONGEST val
373 = unpack_long (type, valaddr + embedded_offset * unit_size);
374 /* The Fortran standard doesn't specify how logical types are
375 represented. Different compilers use different non zero
376 values to represent logical true. */
377 if (val == 0)
378 fputs_filtered (f_decorations.false_name, stream);
379 else
380 fputs_filtered (f_decorations.true_name, stream);
381 }
382 break;
383
e88acd96
TT
384 case TYPE_CODE_REF:
385 case TYPE_CODE_FUNC:
386 case TYPE_CODE_FLAGS:
387 case TYPE_CODE_FLT:
388 case TYPE_CODE_VOID:
389 case TYPE_CODE_ERROR:
390 case TYPE_CODE_RANGE:
391 case TYPE_CODE_UNDEF:
392 case TYPE_CODE_COMPLEX:
e88acd96 393 case TYPE_CODE_CHAR:
c906108c 394 default:
e8b24d9f 395 generic_val_print (type, embedded_offset, address,
e88acd96
TT
396 stream, recurse, original_value, options,
397 &f_decorations);
398 break;
c906108c 399 }
c906108c
SS
400}
401
402static void
3977b71f 403info_common_command_for_block (const struct block *block, const char *comname,
4357ac6c 404 int *any_printed)
c906108c 405{
4357ac6c
TT
406 struct block_iterator iter;
407 struct symbol *sym;
4357ac6c
TT
408 struct value_print_options opts;
409
410 get_user_print_options (&opts);
411
412 ALL_BLOCK_SYMBOLS (block, iter, sym)
413 if (SYMBOL_DOMAIN (sym) == COMMON_BLOCK_DOMAIN)
414 {
17a40b44 415 const struct common_block *common = SYMBOL_VALUE_COMMON_BLOCK (sym);
4357ac6c
TT
416 size_t index;
417
5a352474 418 gdb_assert (SYMBOL_CLASS (sym) == LOC_COMMON_BLOCK);
4357ac6c 419
987012b8
CB
420 if (comname && (!sym->linkage_name ()
421 || strcmp (comname, sym->linkage_name ()) != 0))
4357ac6c
TT
422 continue;
423
424 if (*any_printed)
425 putchar_filtered ('\n');
426 else
427 *any_printed = 1;
987012b8 428 if (sym->print_name ())
4357ac6c 429 printf_filtered (_("Contents of F77 COMMON block '%s':\n"),
987012b8 430 sym->print_name ());
4357ac6c
TT
431 else
432 printf_filtered (_("Contents of blank COMMON block:\n"));
433
434 for (index = 0; index < common->n_entries; index++)
435 {
436 struct value *val = NULL;
4357ac6c
TT
437
438 printf_filtered ("%s = ",
987012b8 439 common->contents[index]->print_name ());
4357ac6c 440
a70b8144 441 try
4357ac6c
TT
442 {
443 val = value_of_variable (common->contents[index], block);
444 value_print (val, gdb_stdout, &opts);
445 }
446
230d2906 447 catch (const gdb_exception_error &except)
492d29ea 448 {
7f6aba03
TT
449 fprintf_styled (gdb_stdout, metadata_style.style (),
450 "<error reading variable: %s>",
451 except.what ());
492d29ea 452 }
492d29ea 453
4357ac6c
TT
454 putchar_filtered ('\n');
455 }
456 }
c906108c
SS
457}
458
459/* This function is used to print out the values in a given COMMON
0963b4bd
MS
460 block. It will always use the most local common block of the
461 given name. */
c906108c 462
c5aa993b 463static void
1d12d88f 464info_common_command (const char *comname, int from_tty)
c906108c 465{
c906108c 466 struct frame_info *fi;
3977b71f 467 const struct block *block;
4357ac6c 468 int values_printed = 0;
c5aa993b 469
c906108c
SS
470 /* We have been told to display the contents of F77 COMMON
471 block supposedly visible in this function. Let us
472 first make sure that it is visible and if so, let
0963b4bd 473 us display its contents. */
c5aa993b 474
206415a3 475 fi = get_selected_frame (_("No frame selected"));
c5aa993b 476
c906108c 477 /* The following is generally ripped off from stack.c's routine
0963b4bd 478 print_frame_info(). */
c5aa993b 479
4357ac6c
TT
480 block = get_frame_block (fi, 0);
481 if (block == NULL)
c906108c 482 {
4357ac6c
TT
483 printf_filtered (_("No symbol table info available.\n"));
484 return;
c906108c 485 }
c5aa993b 486
4357ac6c 487 while (block)
c906108c 488 {
4357ac6c
TT
489 info_common_command_for_block (block, comname, &values_printed);
490 /* After handling the function's top-level block, stop. Don't
491 continue to its superblock, the block of per-file symbols. */
492 if (BLOCK_FUNCTION (block))
493 break;
494 block = BLOCK_SUPERBLOCK (block);
c906108c 495 }
c5aa993b 496
4357ac6c 497 if (!values_printed)
c906108c 498 {
4357ac6c
TT
499 if (comname)
500 printf_filtered (_("No common block '%s'.\n"), comname);
c5aa993b 501 else
4357ac6c 502 printf_filtered (_("No common blocks.\n"));
c906108c 503 }
c906108c
SS
504}
505
6c265988 506void _initialize_f_valprint ();
c906108c 507void
6c265988 508_initialize_f_valprint ()
c906108c
SS
509{
510 add_info ("common", info_common_command,
1bedd215 511 _("Print out the values contained in a Fortran COMMON block."));
c906108c 512}
This page took 1.783261 seconds and 4 git commands to generate.