Commit | Line | Data |
---|---|---|
c906108c | 1 | /* Support for printing Fortran values for GDB, the GNU debugger. |
a2bd3dcd | 2 | |
42a4f53d | 3 | Copyright (C) 1993-2019 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 | 39 | static void f77_get_dynamic_length_of_aggregate (struct type *); |
c906108c | 40 | |
c5aa993b | 41 | int 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 | 46 | LONGEST |
d78df370 | 47 | f77_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 | 55 | LONGEST |
d78df370 | 56 | f77_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 | |
73 | static void | |
fba45db2 | 74 | f77_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 | 106 | static void |
a2bd3dcd | 107 | f77_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; | |
c906108c | 118 | int 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 | 177 | static void |
fc1a4b47 | 178 | f77_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 (_("\ |
192 | Type 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 | ||
202 | static 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 | 217 | void |
e8b24d9f | 218 | f_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 | { | |
344 | fputs_filtered (field_name, stream); | |
345 | fputs_filtered (" = ", stream); | |
346 | } | |
347 | ||
348 | val_print (value_type (field), | |
04d59df6 WT |
349 | value_embedded_offset (field), |
350 | value_address (field), stream, recurse + 1, | |
351 | field, options, current_language); | |
352 | ||
353 | ++printed_field; | |
354 | } | |
355 | } | |
9eec4d1e | 356 | fprintf_filtered (stream, " )"); |
2a5e440c WZ |
357 | break; |
358 | ||
e88acd96 TT |
359 | case TYPE_CODE_REF: |
360 | case TYPE_CODE_FUNC: | |
361 | case TYPE_CODE_FLAGS: | |
362 | case TYPE_CODE_FLT: | |
363 | case TYPE_CODE_VOID: | |
364 | case TYPE_CODE_ERROR: | |
365 | case TYPE_CODE_RANGE: | |
366 | case TYPE_CODE_UNDEF: | |
367 | case TYPE_CODE_COMPLEX: | |
368 | case TYPE_CODE_BOOL: | |
369 | case TYPE_CODE_CHAR: | |
c906108c | 370 | default: |
e8b24d9f | 371 | generic_val_print (type, embedded_offset, address, |
e88acd96 TT |
372 | stream, recurse, original_value, options, |
373 | &f_decorations); | |
374 | break; | |
c906108c | 375 | } |
c906108c SS |
376 | } |
377 | ||
378 | static void | |
3977b71f | 379 | info_common_command_for_block (const struct block *block, const char *comname, |
4357ac6c | 380 | int *any_printed) |
c906108c | 381 | { |
4357ac6c TT |
382 | struct block_iterator iter; |
383 | struct symbol *sym; | |
4357ac6c TT |
384 | struct value_print_options opts; |
385 | ||
386 | get_user_print_options (&opts); | |
387 | ||
388 | ALL_BLOCK_SYMBOLS (block, iter, sym) | |
389 | if (SYMBOL_DOMAIN (sym) == COMMON_BLOCK_DOMAIN) | |
390 | { | |
17a40b44 | 391 | const struct common_block *common = SYMBOL_VALUE_COMMON_BLOCK (sym); |
4357ac6c TT |
392 | size_t index; |
393 | ||
5a352474 | 394 | gdb_assert (SYMBOL_CLASS (sym) == LOC_COMMON_BLOCK); |
4357ac6c | 395 | |
987012b8 CB |
396 | if (comname && (!sym->linkage_name () |
397 | || strcmp (comname, sym->linkage_name ()) != 0)) | |
4357ac6c TT |
398 | continue; |
399 | ||
400 | if (*any_printed) | |
401 | putchar_filtered ('\n'); | |
402 | else | |
403 | *any_printed = 1; | |
987012b8 | 404 | if (sym->print_name ()) |
4357ac6c | 405 | printf_filtered (_("Contents of F77 COMMON block '%s':\n"), |
987012b8 | 406 | sym->print_name ()); |
4357ac6c TT |
407 | else |
408 | printf_filtered (_("Contents of blank COMMON block:\n")); | |
409 | ||
410 | for (index = 0; index < common->n_entries; index++) | |
411 | { | |
412 | struct value *val = NULL; | |
4357ac6c TT |
413 | |
414 | printf_filtered ("%s = ", | |
987012b8 | 415 | common->contents[index]->print_name ()); |
4357ac6c | 416 | |
a70b8144 | 417 | try |
4357ac6c TT |
418 | { |
419 | val = value_of_variable (common->contents[index], block); | |
420 | value_print (val, gdb_stdout, &opts); | |
421 | } | |
422 | ||
230d2906 | 423 | catch (const gdb_exception_error &except) |
492d29ea | 424 | { |
7f6aba03 TT |
425 | fprintf_styled (gdb_stdout, metadata_style.style (), |
426 | "<error reading variable: %s>", | |
427 | except.what ()); | |
492d29ea | 428 | } |
492d29ea | 429 | |
4357ac6c TT |
430 | putchar_filtered ('\n'); |
431 | } | |
432 | } | |
c906108c SS |
433 | } |
434 | ||
435 | /* This function is used to print out the values in a given COMMON | |
0963b4bd MS |
436 | block. It will always use the most local common block of the |
437 | given name. */ | |
c906108c | 438 | |
c5aa993b | 439 | static void |
1d12d88f | 440 | info_common_command (const char *comname, int from_tty) |
c906108c | 441 | { |
c906108c | 442 | struct frame_info *fi; |
3977b71f | 443 | const struct block *block; |
4357ac6c | 444 | int values_printed = 0; |
c5aa993b | 445 | |
c906108c SS |
446 | /* We have been told to display the contents of F77 COMMON |
447 | block supposedly visible in this function. Let us | |
448 | first make sure that it is visible and if so, let | |
0963b4bd | 449 | us display its contents. */ |
c5aa993b | 450 | |
206415a3 | 451 | fi = get_selected_frame (_("No frame selected")); |
c5aa993b | 452 | |
c906108c | 453 | /* The following is generally ripped off from stack.c's routine |
0963b4bd | 454 | print_frame_info(). */ |
c5aa993b | 455 | |
4357ac6c TT |
456 | block = get_frame_block (fi, 0); |
457 | if (block == NULL) | |
c906108c | 458 | { |
4357ac6c TT |
459 | printf_filtered (_("No symbol table info available.\n")); |
460 | return; | |
c906108c | 461 | } |
c5aa993b | 462 | |
4357ac6c | 463 | while (block) |
c906108c | 464 | { |
4357ac6c TT |
465 | info_common_command_for_block (block, comname, &values_printed); |
466 | /* After handling the function's top-level block, stop. Don't | |
467 | continue to its superblock, the block of per-file symbols. */ | |
468 | if (BLOCK_FUNCTION (block)) | |
469 | break; | |
470 | block = BLOCK_SUPERBLOCK (block); | |
c906108c | 471 | } |
c5aa993b | 472 | |
4357ac6c | 473 | if (!values_printed) |
c906108c | 474 | { |
4357ac6c TT |
475 | if (comname) |
476 | printf_filtered (_("No common block '%s'.\n"), comname); | |
c5aa993b | 477 | else |
4357ac6c | 478 | printf_filtered (_("No common blocks.\n")); |
c906108c | 479 | } |
c906108c SS |
480 | } |
481 | ||
c906108c | 482 | void |
fba45db2 | 483 | _initialize_f_valprint (void) |
c906108c SS |
484 | { |
485 | add_info ("common", info_common_command, | |
1bedd215 | 486 | _("Print out the values contained in a Fortran COMMON block.")); |
c906108c | 487 | } |