gdb: add target_ops::supports_displaced_step
[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
78134374
SM
88 if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ARRAY
89 || TYPE_TARGET_TYPE (type)->code () == 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
72a45c93 159 common_val_print (elt, stream, recurse, options, current_language);
c906108c 160
3e2e34f8 161 if (i != upperbound)
c5aa993b
JM
162 fprintf_filtered (stream, ", ");
163
79a45b7d 164 if ((*elts == options->print_max - 1)
3e2e34f8 165 && (i != upperbound))
c906108c
SS
166 fprintf_filtered (stream, "...");
167 }
168 }
169}
170
171/* This function gets called to print an F77 array, we set up some
0963b4bd 172 stuff and then immediately call f77_print_array_1(). */
c906108c 173
c5aa993b 174static void
fc1a4b47 175f77_print_array (struct type *type, const gdb_byte *valaddr,
490f124f 176 int embedded_offset,
a2bd3dcd 177 CORE_ADDR address, struct ui_file *stream,
0e03807e
TT
178 int recurse,
179 const struct value *val,
180 const struct value_print_options *options)
c906108c 181{
c5aa993b 182 int ndimensions;
b3cacbee 183 int elts = 0;
c5aa993b
JM
184
185 ndimensions = calc_f77_array_dims (type);
186
c906108c 187 if (ndimensions > MAX_FORTRAN_DIMS || ndimensions < 0)
3e43a32a
MS
188 error (_("\
189Type node corrupt! F77 arrays cannot have %d subscripts (%d Max)"),
c906108c 190 ndimensions, MAX_FORTRAN_DIMS);
c5aa993b 191
490f124f
PA
192 f77_print_array_1 (1, ndimensions, type, valaddr, embedded_offset,
193 address, stream, recurse, val, options, &elts);
c5aa993b 194}
c906108c 195\f
c5aa993b 196
e88acd96
TT
197/* Decorations for Fortran. */
198
199static const struct generic_val_print_decorations f_decorations =
200{
201 "(",
202 ",",
203 ")",
204 ".TRUE.",
205 ".FALSE.",
bbe75b9d 206 "void",
00272ec4
TT
207 "{",
208 "}"
e88acd96
TT
209};
210
24051bbe
TT
211/* See f-lang.h. */
212
213void
214f_value_print_innner (struct value *val, struct ui_file *stream, int recurse,
215 const struct value_print_options *options)
216{
6a95a1f5
TT
217 struct type *type = check_typedef (value_type (val));
218 struct gdbarch *gdbarch = get_type_arch (type);
219 int printed_field = 0; /* Number of fields printed. */
220 struct type *elttype;
221 CORE_ADDR addr;
222 int index;
223 const gdb_byte *valaddr = value_contents_for_printing (val);
224 const CORE_ADDR address = value_address (val);
225
78134374 226 switch (type->code ())
6a95a1f5
TT
227 {
228 case TYPE_CODE_STRING:
229 f77_get_dynamic_length_of_aggregate (type);
230 LA_PRINT_STRING (stream, builtin_type (gdbarch)->builtin_char,
231 valaddr, TYPE_LENGTH (type), NULL, 0, options);
232 break;
233
234 case TYPE_CODE_ARRAY:
78134374 235 if (TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_CHAR)
6a95a1f5
TT
236 {
237 fprintf_filtered (stream, "(");
238 f77_print_array (type, valaddr, 0,
239 address, stream, recurse, val, options);
240 fprintf_filtered (stream, ")");
241 }
242 else
243 {
244 struct type *ch_type = TYPE_TARGET_TYPE (type);
245
246 f77_get_dynamic_length_of_aggregate (type);
247 LA_PRINT_STRING (stream, ch_type, valaddr,
248 TYPE_LENGTH (type) / TYPE_LENGTH (ch_type),
249 NULL, 0, options);
250 }
251 break;
252
253 case TYPE_CODE_PTR:
254 if (options->format && options->format != 's')
255 {
256 value_print_scalar_formatted (val, options, 0, stream);
257 break;
258 }
259 else
260 {
261 int want_space = 0;
262
263 addr = unpack_pointer (type, valaddr);
264 elttype = check_typedef (TYPE_TARGET_TYPE (type));
265
78134374 266 if (elttype->code () == TYPE_CODE_FUNC)
6a95a1f5
TT
267 {
268 /* Try to print what function it points to. */
269 print_function_pointer_address (options, gdbarch, addr, stream);
270 return;
271 }
272
273 if (options->symbol_print)
274 want_space = print_address_demangle (options, gdbarch, addr,
275 stream, demangle);
276 else if (options->addressprint && options->format != 's')
277 {
278 fputs_filtered (paddress (gdbarch, addr), stream);
279 want_space = 1;
280 }
281
282 /* For a pointer to char or unsigned char, also print the string
283 pointed to, unless pointer is null. */
284 if (TYPE_LENGTH (elttype) == 1
78134374 285 && elttype->code () == TYPE_CODE_INT
6a95a1f5
TT
286 && (options->format == 0 || options->format == 's')
287 && addr != 0)
288 {
289 if (want_space)
290 fputs_filtered (" ", stream);
291 val_print_string (TYPE_TARGET_TYPE (type), NULL, addr, -1,
292 stream, options);
293 }
294 return;
295 }
296 break;
297
298 case TYPE_CODE_INT:
299 if (options->format || options->output_format)
300 {
301 struct value_print_options opts = *options;
302
303 opts.format = (options->format ? options->format
304 : options->output_format);
305 value_print_scalar_formatted (val, &opts, 0, stream);
306 }
307 else
308 value_print_scalar_formatted (val, options, 0, stream);
309 break;
310
311 case TYPE_CODE_STRUCT:
312 case TYPE_CODE_UNION:
313 /* Starting from the Fortran 90 standard, Fortran supports derived
314 types. */
315 fprintf_filtered (stream, "( ");
1f704f76 316 for (index = 0; index < type->num_fields (); index++)
6a95a1f5
TT
317 {
318 struct value *field = value_field (val, index);
319
320 struct type *field_type = check_typedef (TYPE_FIELD_TYPE (type, index));
321
322
78134374 323 if (field_type->code () != TYPE_CODE_FUNC)
6a95a1f5
TT
324 {
325 const char *field_name;
326
327 if (printed_field > 0)
328 fputs_filtered (", ", stream);
329
330 field_name = TYPE_FIELD_NAME (type, index);
331 if (field_name != NULL)
332 {
333 fputs_styled (field_name, variable_name_style.style (),
334 stream);
335 fputs_filtered (" = ", stream);
336 }
337
338 common_val_print (field, stream, recurse + 1,
339 options, current_language);
340
341 ++printed_field;
342 }
343 }
344 fprintf_filtered (stream, " )");
345 break;
346
347 case TYPE_CODE_BOOL:
348 if (options->format || options->output_format)
349 {
350 struct value_print_options opts = *options;
351 opts.format = (options->format ? options->format
352 : options->output_format);
353 value_print_scalar_formatted (val, &opts, 0, stream);
354 }
355 else
356 {
357 LONGEST longval = value_as_long (val);
358 /* The Fortran standard doesn't specify how logical types are
359 represented. Different compilers use different non zero
360 values to represent logical true. */
361 if (longval == 0)
362 fputs_filtered (f_decorations.false_name, stream);
363 else
364 fputs_filtered (f_decorations.true_name, stream);
365 }
366 break;
367
368 case TYPE_CODE_REF:
369 case TYPE_CODE_FUNC:
370 case TYPE_CODE_FLAGS:
371 case TYPE_CODE_FLT:
372 case TYPE_CODE_VOID:
373 case TYPE_CODE_ERROR:
374 case TYPE_CODE_RANGE:
375 case TYPE_CODE_UNDEF:
376 case TYPE_CODE_COMPLEX:
377 case TYPE_CODE_CHAR:
378 default:
379 generic_value_print (val, stream, recurse, options, &f_decorations);
380 break;
381 }
24051bbe
TT
382}
383
c906108c 384static void
3977b71f 385info_common_command_for_block (const struct block *block, const char *comname,
4357ac6c 386 int *any_printed)
c906108c 387{
4357ac6c
TT
388 struct block_iterator iter;
389 struct symbol *sym;
4357ac6c
TT
390 struct value_print_options opts;
391
392 get_user_print_options (&opts);
393
394 ALL_BLOCK_SYMBOLS (block, iter, sym)
395 if (SYMBOL_DOMAIN (sym) == COMMON_BLOCK_DOMAIN)
396 {
17a40b44 397 const struct common_block *common = SYMBOL_VALUE_COMMON_BLOCK (sym);
4357ac6c
TT
398 size_t index;
399
5a352474 400 gdb_assert (SYMBOL_CLASS (sym) == LOC_COMMON_BLOCK);
4357ac6c 401
987012b8
CB
402 if (comname && (!sym->linkage_name ()
403 || strcmp (comname, sym->linkage_name ()) != 0))
4357ac6c
TT
404 continue;
405
406 if (*any_printed)
407 putchar_filtered ('\n');
408 else
409 *any_printed = 1;
987012b8 410 if (sym->print_name ())
4357ac6c 411 printf_filtered (_("Contents of F77 COMMON block '%s':\n"),
987012b8 412 sym->print_name ());
4357ac6c
TT
413 else
414 printf_filtered (_("Contents of blank COMMON block:\n"));
415
416 for (index = 0; index < common->n_entries; index++)
417 {
418 struct value *val = NULL;
4357ac6c
TT
419
420 printf_filtered ("%s = ",
987012b8 421 common->contents[index]->print_name ());
4357ac6c 422
a70b8144 423 try
4357ac6c
TT
424 {
425 val = value_of_variable (common->contents[index], block);
426 value_print (val, gdb_stdout, &opts);
427 }
428
230d2906 429 catch (const gdb_exception_error &except)
492d29ea 430 {
7f6aba03
TT
431 fprintf_styled (gdb_stdout, metadata_style.style (),
432 "<error reading variable: %s>",
433 except.what ());
492d29ea 434 }
492d29ea 435
4357ac6c
TT
436 putchar_filtered ('\n');
437 }
438 }
c906108c
SS
439}
440
441/* This function is used to print out the values in a given COMMON
0963b4bd
MS
442 block. It will always use the most local common block of the
443 given name. */
c906108c 444
c5aa993b 445static void
1d12d88f 446info_common_command (const char *comname, int from_tty)
c906108c 447{
c906108c 448 struct frame_info *fi;
3977b71f 449 const struct block *block;
4357ac6c 450 int values_printed = 0;
c5aa993b 451
c906108c
SS
452 /* We have been told to display the contents of F77 COMMON
453 block supposedly visible in this function. Let us
454 first make sure that it is visible and if so, let
0963b4bd 455 us display its contents. */
c5aa993b 456
206415a3 457 fi = get_selected_frame (_("No frame selected"));
c5aa993b 458
c906108c 459 /* The following is generally ripped off from stack.c's routine
0963b4bd 460 print_frame_info(). */
c5aa993b 461
4357ac6c
TT
462 block = get_frame_block (fi, 0);
463 if (block == NULL)
c906108c 464 {
4357ac6c
TT
465 printf_filtered (_("No symbol table info available.\n"));
466 return;
c906108c 467 }
c5aa993b 468
4357ac6c 469 while (block)
c906108c 470 {
4357ac6c
TT
471 info_common_command_for_block (block, comname, &values_printed);
472 /* After handling the function's top-level block, stop. Don't
473 continue to its superblock, the block of per-file symbols. */
474 if (BLOCK_FUNCTION (block))
475 break;
476 block = BLOCK_SUPERBLOCK (block);
c906108c 477 }
c5aa993b 478
4357ac6c 479 if (!values_printed)
c906108c 480 {
4357ac6c
TT
481 if (comname)
482 printf_filtered (_("No common block '%s'.\n"), comname);
c5aa993b 483 else
4357ac6c 484 printf_filtered (_("No common blocks.\n"));
c906108c 485 }
c906108c
SS
486}
487
6c265988 488void _initialize_f_valprint ();
c906108c 489void
6c265988 490_initialize_f_valprint ()
c906108c
SS
491{
492 add_info ("common", info_common_command,
1bedd215 493 _("Print out the values contained in a Fortran COMMON block."));
c906108c 494}
This page took 1.496808 seconds and 4 git commands to generate.