/* Support for printing Fortran values for GDB, the GNU debugger.
- Copyright (C) 1993-2014 Free Software Foundation, Inc.
+ Copyright (C) 1993-2021 Free Software Foundation, Inc.
Contributed by Motorola. Adapted from the C definitions by Farooq Butt
(fmbutt@engage.sps.mot.com), additionally worked over by Stan Shebs.
#include "command.h"
#include "block.h"
#include "dictionary.h"
-#include "exceptions.h"
+#include "cli/cli-style.h"
+#include "gdbarch.h"
+#include "f-array-walker.h"
-extern void _initialize_f_valprint (void);
-static void info_common_command (char *, int);
-static void f77_create_arrayprint_offset_tbl (struct type *,
- struct ui_file *);
static void f77_get_dynamic_length_of_aggregate (struct type *);
-int f77_array_offset_tbl[MAX_FORTRAN_DIMS + 1][2];
-
-/* Array which holds offsets to be applied to get a row's elements
- for a given array. Array also holds the size of each subarray. */
-
-/* The following macro gives us the size of the nth dimension, Where
- n is 1 based. */
-
-#define F77_DIM_SIZE(n) (f77_array_offset_tbl[n][1])
-
-/* The following gives us the offset for row n where n is 1-based. */
-
-#define F77_DIM_OFFSET(n) (f77_array_offset_tbl[n][0])
-
-int
+LONGEST
f77_get_lowerbound (struct type *type)
{
- if (TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED (type))
+ if (type->bounds ()->low.kind () == PROP_UNDEFINED)
error (_("Lower bound may not be '*' in F77"));
- return TYPE_ARRAY_LOWER_BOUND_VALUE (type);
+ return type->bounds ()->low.const_val ();
}
-int
+LONGEST
f77_get_upperbound (struct type *type)
{
- if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
+ if (type->bounds ()->high.kind () == PROP_UNDEFINED)
{
/* We have an assumed size array on our hands. Assume that
upper_bound == lower_bound so that we show at least 1 element.
return f77_get_lowerbound (type);
}
- return TYPE_ARRAY_UPPER_BOUND_VALUE (type);
+ return type->bounds ()->high.const_val ();
}
/* Obtain F77 adjustable array dimensions. */
This function also works for strings which behave very
similarly to arrays. */
- if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY
- || TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_STRING)
+ if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ARRAY
+ || TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_STRING)
f77_get_dynamic_length_of_aggregate (TYPE_TARGET_TYPE (type));
/* Recursion ends here, start setting up lengths. */
* TYPE_LENGTH (check_typedef (TYPE_TARGET_TYPE (type)));
}
-/* Function that sets up the array offset,size table for the array
- type "type". */
+/* A class used by FORTRAN_PRINT_ARRAY as a specialisation of the array
+ walking template. This specialisation prints Fortran arrays. */
-static void
-f77_create_arrayprint_offset_tbl (struct type *type, struct ui_file *stream)
+class fortran_array_printer_impl : public fortran_array_walker_base_impl
{
- struct type *tmp_type;
- int eltlen;
- int ndimen = 1;
- int upper, lower;
-
- tmp_type = type;
-
- while (TYPE_CODE (tmp_type) == TYPE_CODE_ARRAY)
- {
- upper = f77_get_upperbound (tmp_type);
- lower = f77_get_lowerbound (tmp_type);
-
- F77_DIM_SIZE (ndimen) = upper - lower + 1;
-
- tmp_type = TYPE_TARGET_TYPE (tmp_type);
- ndimen++;
- }
-
- /* Now we multiply eltlen by all the offsets, so that later we
- can print out array elements correctly. Up till now we
- know an offset to apply to get the item but we also
- have to know how much to add to get to the next item. */
-
- ndimen--;
- eltlen = TYPE_LENGTH (tmp_type);
- F77_DIM_OFFSET (ndimen) = eltlen;
- while (--ndimen > 0)
- {
- eltlen *= F77_DIM_SIZE (ndimen + 1);
- F77_DIM_OFFSET (ndimen) = eltlen;
- }
-}
-
-
+public:
+ /* Constructor. TYPE is the array type being printed, ADDRESS is the
+ address in target memory for the object of TYPE being printed. VAL is
+ the GDB value (of TYPE) being printed. STREAM is where to print to,
+ RECOURSE is passed through (and prevents infinite recursion), and
+ OPTIONS are the printing control options. */
+ explicit fortran_array_printer_impl (struct type *type,
+ CORE_ADDR address,
+ struct value *val,
+ struct ui_file *stream,
+ int recurse,
+ const struct value_print_options *options)
+ : m_elts (0),
+ m_val (val),
+ m_stream (stream),
+ m_recurse (recurse),
+ m_options (options)
+ { /* Nothing. */ }
+
+ /* Called while iterating over the array bounds. When SHOULD_CONTINUE is
+ false then we must return false, as we have reached the end of the
+ array bounds for this dimension. However, we also return false if we
+ have printed too many elements (after printing '...'). In all other
+ cases, return true. */
+ bool continue_walking (bool should_continue)
+ {
+ bool cont = should_continue && (m_elts < m_options->print_max);
+ if (!cont && should_continue)
+ fputs_filtered ("...", m_stream);
+ return cont;
+ }
+
+ /* Called when we start iterating over a dimension. If it's not the
+ inner most dimension then print an opening '(' character. */
+ void start_dimension (bool inner_p)
+ {
+ fputs_filtered ("(", m_stream);
+ }
+
+ /* Called when we finish processing a batch of items within a dimension
+ of the array. Depending on whether this is the inner most dimension
+ or not we print different things, but this is all about adding
+ separators between elements, and dimensions of the array. */
+ void finish_dimension (bool inner_p, bool last_p)
+ {
+ fputs_filtered (")", m_stream);
+ if (!last_p)
+ fputs_filtered (" ", m_stream);
+ }
+
+ /* Called to process an element of ELT_TYPE at offset ELT_OFF from the
+ start of the parent object. */
+ void process_element (struct type *elt_type, LONGEST elt_off, bool last_p)
+ {
+ /* Extract the element value from the parent value. */
+ struct value *e_val
+ = value_from_component (m_val, elt_type, elt_off);
+ common_val_print (e_val, m_stream, m_recurse, m_options, current_language);
+ if (!last_p)
+ fputs_filtered (", ", m_stream);
+ ++m_elts;
+ }
+
+private:
+ /* The number of elements printed so far. */
+ int m_elts;
+
+ /* The value from which we are printing elements. */
+ struct value *m_val;
+
+ /* The stream we should print too. */
+ struct ui_file *m_stream;
+
+ /* The recursion counter, passed through when we print each element. */
+ int m_recurse;
+
+ /* The print control options. Gives us the maximum number of elements to
+ print, and is passed through to each element that we print. */
+ const struct value_print_options *m_options = nullptr;
+};
-/* Actual function which prints out F77 arrays, Valaddr == address in
- the superior. Address == the address in the inferior. */
+/* This function gets called to print a Fortran array. */
static void
-f77_print_array_1 (int nss, int ndimensions, struct type *type,
- const gdb_byte *valaddr,
- int embedded_offset, CORE_ADDR address,
- struct ui_file *stream, int recurse,
- const struct value *val,
- const struct value_print_options *options,
- int *elts)
+fortran_print_array (struct type *type, CORE_ADDR address,
+ struct ui_file *stream, int recurse,
+ const struct value *val,
+ const struct value_print_options *options)
{
- int i;
-
- if (nss != ndimensions)
- {
- for (i = 0;
- (i < F77_DIM_SIZE (nss) && (*elts) < options->print_max);
- i++)
- {
- fprintf_filtered (stream, "( ");
- f77_print_array_1 (nss + 1, ndimensions, TYPE_TARGET_TYPE (type),
- valaddr,
- embedded_offset + i * F77_DIM_OFFSET (nss),
- address,
- stream, recurse, val, options, elts);
- fprintf_filtered (stream, ") ");
- }
- if (*elts >= options->print_max && i < F77_DIM_SIZE (nss))
- fprintf_filtered (stream, "...");
- }
- else
- {
- for (i = 0; i < F77_DIM_SIZE (nss) && (*elts) < options->print_max;
- i++, (*elts)++)
- {
- val_print (TYPE_TARGET_TYPE (type),
- valaddr,
- embedded_offset + i * F77_DIM_OFFSET (ndimensions),
- address, stream, recurse,
- val, options, current_language);
-
- if (i != (F77_DIM_SIZE (nss) - 1))
- fprintf_filtered (stream, ", ");
-
- if ((*elts == options->print_max - 1)
- && (i != (F77_DIM_SIZE (nss) - 1)))
- fprintf_filtered (stream, "...");
- }
- }
-}
-
-/* This function gets called to print an F77 array, we set up some
- stuff and then immediately call f77_print_array_1(). */
-
-static void
-f77_print_array (struct type *type, const gdb_byte *valaddr,
- int embedded_offset,
- CORE_ADDR address, struct ui_file *stream,
- int recurse,
- const struct value *val,
- const struct value_print_options *options)
-{
- int ndimensions;
- int elts = 0;
-
- ndimensions = calc_f77_array_dims (type);
-
- if (ndimensions > MAX_FORTRAN_DIMS || ndimensions < 0)
- error (_("\
-Type node corrupt! F77 arrays cannot have %d subscripts (%d Max)"),
- ndimensions, MAX_FORTRAN_DIMS);
-
- /* Since F77 arrays are stored column-major, we set up an
- offset table to get at the various row's elements. The
- offset table contains entries for both offset and subarray size. */
-
- f77_create_arrayprint_offset_tbl (type, stream);
-
- f77_print_array_1 (1, ndimensions, type, valaddr, embedded_offset,
- address, stream, recurse, val, options, &elts);
+ fortran_array_walker<fortran_array_printer_impl> p
+ (type, address, (struct value *) val, stream, recurse, options);
+ p.walk ();
}
\f
")",
".TRUE.",
".FALSE.",
- "VOID",
+ "void",
+ "{",
+ "}"
};
-/* See val_print for a description of the various parameters of this
- function; they are identical. */
+/* See f-lang.h. */
void
-f_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
- CORE_ADDR address, struct ui_file *stream, int recurse,
- const struct value *original_value,
- const struct value_print_options *options)
+f_language::value_print_inner (struct value *val, struct ui_file *stream,
+ int recurse,
+ const struct value_print_options *options) const
{
- struct gdbarch *gdbarch = get_type_arch (type);
- enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
- unsigned int i = 0; /* Number of characters printed. */
+ struct type *type = check_typedef (value_type (val));
+ struct gdbarch *gdbarch = type->arch ();
+ int printed_field = 0; /* Number of fields printed. */
struct type *elttype;
CORE_ADDR addr;
int index;
+ const gdb_byte *valaddr = value_contents_for_printing (val);
+ const CORE_ADDR address = value_address (val);
- CHECK_TYPEDEF (type);
- switch (TYPE_CODE (type))
+ switch (type->code ())
{
case TYPE_CODE_STRING:
f77_get_dynamic_length_of_aggregate (type);
- LA_PRINT_STRING (stream, builtin_type (gdbarch)->builtin_char,
- valaddr + embedded_offset,
- TYPE_LENGTH (type), NULL, 0, options);
+ printstr (stream, builtin_type (gdbarch)->builtin_char, valaddr,
+ TYPE_LENGTH (type), NULL, 0, options);
break;
case TYPE_CODE_ARRAY:
- if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_CHAR)
- {
- fprintf_filtered (stream, "(");
- f77_print_array (type, valaddr, embedded_offset,
- address, stream, recurse, original_value, options);
- fprintf_filtered (stream, ")");
- }
+ if (TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_CHAR)
+ fortran_print_array (type, address, stream, recurse, val, options);
else
{
struct type *ch_type = TYPE_TARGET_TYPE (type);
f77_get_dynamic_length_of_aggregate (type);
- LA_PRINT_STRING (stream, ch_type,
- valaddr + embedded_offset,
- TYPE_LENGTH (type) / TYPE_LENGTH (ch_type),
- NULL, 0, options);
+ printstr (stream, ch_type, valaddr,
+ TYPE_LENGTH (type) / TYPE_LENGTH (ch_type), NULL, 0,
+ options);
}
break;
case TYPE_CODE_PTR:
if (options->format && options->format != 's')
{
- val_print_scalar_formatted (type, valaddr, embedded_offset,
- original_value, options, 0, stream);
+ value_print_scalar_formatted (val, options, 0, stream);
break;
}
else
{
int want_space = 0;
- addr = unpack_pointer (type, valaddr + embedded_offset);
+ addr = unpack_pointer (type, valaddr);
elttype = check_typedef (TYPE_TARGET_TYPE (type));
- if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
+ if (elttype->code () == TYPE_CODE_FUNC)
{
/* Try to print what function it points to. */
print_function_pointer_address (options, gdbarch, addr, stream);
/* For a pointer to char or unsigned char, also print the string
pointed to, unless pointer is null. */
if (TYPE_LENGTH (elttype) == 1
- && TYPE_CODE (elttype) == TYPE_CODE_INT
+ && elttype->code () == TYPE_CODE_INT
&& (options->format == 0 || options->format == 's')
&& addr != 0)
{
if (want_space)
fputs_filtered (" ", stream);
- i = val_print_string (TYPE_TARGET_TYPE (type), NULL, addr, -1,
- stream, options);
+ val_print_string (TYPE_TARGET_TYPE (type), NULL, addr, -1,
+ stream, options);
}
return;
}
break;
- case TYPE_CODE_INT:
+ case TYPE_CODE_STRUCT:
+ case TYPE_CODE_UNION:
+ /* Starting from the Fortran 90 standard, Fortran supports derived
+ types. */
+ fprintf_filtered (stream, "( ");
+ for (index = 0; index < type->num_fields (); index++)
+ {
+ struct value *field = value_field (val, index);
+
+ struct type *field_type = check_typedef (type->field (index).type ());
+
+
+ if (field_type->code () != TYPE_CODE_FUNC)
+ {
+ const char *field_name;
+
+ if (printed_field > 0)
+ fputs_filtered (", ", stream);
+
+ field_name = TYPE_FIELD_NAME (type, index);
+ if (field_name != NULL)
+ {
+ fputs_styled (field_name, variable_name_style.style (),
+ stream);
+ fputs_filtered (" = ", stream);
+ }
+
+ common_val_print (field, stream, recurse + 1,
+ options, current_language);
+
+ ++printed_field;
+ }
+ }
+ fprintf_filtered (stream, " )");
+ break;
+
+ case TYPE_CODE_BOOL:
if (options->format || options->output_format)
{
struct value_print_options opts = *options;
-
opts.format = (options->format ? options->format
: options->output_format);
- val_print_scalar_formatted (type, valaddr, embedded_offset,
- original_value, options, 0, stream);
+ value_print_scalar_formatted (val, &opts, 0, stream);
}
else
{
- val_print_type_code_int (type, valaddr + embedded_offset, stream);
- /* C and C++ has no single byte int type, char is used instead.
- Since we don't know whether the value is really intended to
- be used as an integer or a character, print the character
- equivalent as well. */
- if (TYPE_LENGTH (type) == 1)
- {
- LONGEST c;
-
- fputs_filtered (" ", stream);
- c = unpack_long (type, valaddr + embedded_offset);
- LA_PRINT_CHAR ((unsigned char) c, type, stream);
- }
+ LONGEST longval = value_as_long (val);
+ /* The Fortran standard doesn't specify how logical types are
+ represented. Different compilers use different non zero
+ values to represent logical true. */
+ if (longval == 0)
+ fputs_filtered (f_decorations.false_name, stream);
+ else
+ fputs_filtered (f_decorations.true_name, stream);
}
break;
- case TYPE_CODE_STRUCT:
- case TYPE_CODE_UNION:
- /* Starting from the Fortran 90 standard, Fortran supports derived
- types. */
- fprintf_filtered (stream, "( ");
- for (index = 0; index < TYPE_NFIELDS (type); index++)
- {
- int offset = TYPE_FIELD_BITPOS (type, index) / 8;
-
- val_print (TYPE_FIELD_TYPE (type, index), valaddr,
- embedded_offset + offset,
- address, stream, recurse + 1,
- original_value, options, current_language);
- if (index != TYPE_NFIELDS (type) - 1)
- fputs_filtered (", ", stream);
- }
- fprintf_filtered (stream, " )");
- break;
-
+ case TYPE_CODE_INT:
case TYPE_CODE_REF:
case TYPE_CODE_FUNC:
case TYPE_CODE_FLAGS:
case TYPE_CODE_RANGE:
case TYPE_CODE_UNDEF:
case TYPE_CODE_COMPLEX:
- case TYPE_CODE_BOOL:
case TYPE_CODE_CHAR:
default:
- generic_val_print (type, valaddr, embedded_offset, address,
- stream, recurse, original_value, options,
- &f_decorations);
+ generic_value_print (val, stream, recurse, options, &f_decorations);
break;
}
- gdb_flush (stream);
}
static void
{
struct block_iterator iter;
struct symbol *sym;
- const char *name;
struct value_print_options opts;
get_user_print_options (&opts);
gdb_assert (SYMBOL_CLASS (sym) == LOC_COMMON_BLOCK);
- if (comname && (!SYMBOL_LINKAGE_NAME (sym)
- || strcmp (comname, SYMBOL_LINKAGE_NAME (sym)) != 0))
+ if (comname && (!sym->linkage_name ()
+ || strcmp (comname, sym->linkage_name ()) != 0))
continue;
if (*any_printed)
putchar_filtered ('\n');
else
*any_printed = 1;
- if (SYMBOL_PRINT_NAME (sym))
+ if (sym->print_name ())
printf_filtered (_("Contents of F77 COMMON block '%s':\n"),
- SYMBOL_PRINT_NAME (sym));
+ sym->print_name ());
else
printf_filtered (_("Contents of blank COMMON block:\n"));
for (index = 0; index < common->n_entries; index++)
{
struct value *val = NULL;
- volatile struct gdb_exception except;
printf_filtered ("%s = ",
- SYMBOL_PRINT_NAME (common->contents[index]));
+ common->contents[index]->print_name ());
- TRY_CATCH (except, RETURN_MASK_ERROR)
+ try
{
val = value_of_variable (common->contents[index], block);
value_print (val, gdb_stdout, &opts);
}
- if (except.reason < 0)
- printf_filtered ("<error reading variable: %s>", except.message);
+ catch (const gdb_exception_error &except)
+ {
+ fprintf_styled (gdb_stdout, metadata_style.style (),
+ "<error reading variable: %s>",
+ except.what ());
+ }
+
putchar_filtered ('\n');
}
}
given name. */
static void
-info_common_command (char *comname, int from_tty)
+info_common_command (const char *comname, int from_tty)
{
struct frame_info *fi;
const struct block *block;
{
info_common_command_for_block (block, comname, &values_printed);
/* After handling the function's top-level block, stop. Don't
- continue to its superblock, the block of per-file symbols. */
+ continue to its superblock, the block of per-file symbols. */
if (BLOCK_FUNCTION (block))
break;
block = BLOCK_SUPERBLOCK (block);
}
}
+void _initialize_f_valprint ();
void
-_initialize_f_valprint (void)
+_initialize_f_valprint ()
{
add_info ("common", info_common_command,
_("Print out the values contained in a Fortran COMMON block."));
- if (xdb_commands)
- add_com ("lc", class_info, info_common_command,
- _("Print out the values contained in a Fortran COMMON block."));
}
projects / deliverable / binutils-gdb.git / blobdiff