/* Support for printing Fortran types for GDB, the GNU debugger.
- Copyright 1986, 1988, 1989, 1991, 1993, 1994 Free Software Foundation, Inc.
+
+ Copyright (C) 1986-2021 Free Software Foundation, Inc.
+
Contributed by Motorola. Adapted from the C version by Farooq Butt
(fmbutt@engage.sps.mot.com).
-This file is part of GDB.
+ This file is part of GDB.
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2 of the License, or
-(at your option) any later version.
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
-This program is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-GNU General Public License for more details.
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
#include "defs.h"
-#include "obstack.h"
+#include "gdb_obstack.h"
#include "bfd.h"
#include "symtab.h"
#include "gdbtypes.h"
#include "value.h"
#include "gdbcore.h"
#include "target.h"
-#include "command.h"
-#include "gdbcmd.h"
-#include "language.h"
-#include "demangle.h"
#include "f-lang.h"
#include "typeprint.h"
-#include "frame.h" /* ??? */
-
-#include "gdb_string.h"
-#include <errno.h>
-
-#if 0 /* Currently unused */
-static void f_type_print_args PARAMS ((struct type *, GDB_FILE *));
-#endif
-
-static void print_equivalent_f77_float_type PARAMS ((struct type *,
- GDB_FILE *));
-
-static void f_type_print_varspec_suffix PARAMS ((struct type *, GDB_FILE *,
- int, int, int));
+#include "cli/cli-style.h"
-void f_type_print_varspec_prefix PARAMS ((struct type *, GDB_FILE *,
- int, int));
+/* See f-lang.h. */
-void f_type_print_base PARAMS ((struct type *, GDB_FILE *, int, int));
+void
+f_language::print_typedef (struct type *type, struct symbol *new_symbol,
+ struct ui_file *stream) const
+{
+ type = check_typedef (type);
+ print_type (type, "", stream, 0, 0, &type_print_raw_options);
+}
-\f
-/* LEVEL is the depth to indent lines by. */
+/* See f-lang.h. */
void
-f_print_type (type, varstring, stream, show, level)
- struct type *type;
- char *varstring;
- GDB_FILE *stream;
- int show;
- int level;
+f_language::print_type (struct type *type, const char *varstring,
+ struct ui_file *stream, int show, int level,
+ const struct type_print_options *flags) const
{
- register enum type_code code;
- int demangled_args;
+ enum type_code code;
f_type_print_base (type, stream, show, level);
- code = TYPE_CODE (type);
+ code = type->code ();
if ((varstring != NULL && *varstring != '\0')
- ||
- /* Need a space if going to print stars or brackets;
- but not if we will print just a type name. */
- ((show > 0 || TYPE_NAME (type) == 0)
- &&
- (code == TYPE_CODE_PTR || code == TYPE_CODE_FUNC
- || code == TYPE_CODE_METHOD
- || code == TYPE_CODE_ARRAY
- || code == TYPE_CODE_MEMBER
- || code == TYPE_CODE_REF)))
+ /* Need a space if going to print stars or brackets; but not if we
+ will print just a type name. */
+ || ((show > 0
+ || type->name () == 0)
+ && (code == TYPE_CODE_FUNC
+ || code == TYPE_CODE_METHOD
+ || code == TYPE_CODE_ARRAY
+ || ((code == TYPE_CODE_PTR
+ || code == TYPE_CODE_REF)
+ && (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_FUNC
+ || (TYPE_TARGET_TYPE (type)->code ()
+ == TYPE_CODE_METHOD)
+ || (TYPE_TARGET_TYPE (type)->code ()
+ == TYPE_CODE_ARRAY))))))
fputs_filtered (" ", stream);
f_type_print_varspec_prefix (type, stream, show, 0);
- fputs_filtered (varstring, stream);
+ if (varstring != NULL)
+ {
+ int demangled_args;
- /* For demangled function names, we have the arglist as part of the name,
- so don't print an additional pair of ()'s */
+ fputs_filtered (varstring, stream);
- demangled_args = varstring[strlen(varstring) - 1] == ')';
- f_type_print_varspec_suffix (type, stream, show, 0, demangled_args);
-}
+ /* For demangled function names, we have the arglist as part of the name,
+ so don't print an additional pair of ()'s. */
-/* Print any asterisks or open-parentheses needed before the
- variable name (to describe its type).
+ demangled_args = (*varstring != '\0'
+ && varstring[strlen (varstring) - 1] == ')');
+ f_type_print_varspec_suffix (type, stream, show, 0, demangled_args, 0, false);
+ }
+}
- On outermost call, pass 0 for PASSED_A_PTR.
- On outermost call, SHOW > 0 means should ignore
- any typename for TYPE and show its details.
- SHOW is always zero on recursive calls. */
+/* See f-lang.h. */
void
-f_type_print_varspec_prefix (type, stream, show, passed_a_ptr)
- struct type *type;
- GDB_FILE *stream;
- int show;
- int passed_a_ptr;
+f_language::f_type_print_varspec_prefix (struct type *type,
+ struct ui_file *stream,
+ int show, int passed_a_ptr) const
{
if (type == 0)
return;
- if (TYPE_NAME (type) && show <= 0)
+ if (type->name () && show <= 0)
return;
QUIT;
- switch (TYPE_CODE (type))
+ switch (type->code ())
{
case TYPE_CODE_PTR:
f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1);
case TYPE_CODE_SET:
case TYPE_CODE_RANGE:
case TYPE_CODE_STRING:
- case TYPE_CODE_BITSTRING:
case TYPE_CODE_METHOD:
- case TYPE_CODE_MEMBER:
case TYPE_CODE_REF:
case TYPE_CODE_COMPLEX:
case TYPE_CODE_TYPEDEF:
}
}
-#if 0 /* Currently unused */
-
-static void
-f_type_print_args (type, stream)
- struct type *type;
- GDB_FILE *stream;
-{
- int i;
- struct type **args;
-
- fprintf_filtered (stream, "(");
- args = TYPE_ARG_TYPES (type);
- if (args != NULL)
- {
- if (args[1] == NULL)
- {
- fprintf_filtered (stream, "...");
- }
- else
- {
- for (i = 1; args[i] != NULL && args[i]->code != TYPE_CODE_VOID; i++)
- {
- f_print_type (args[i], "", stream, -1, 0);
- if (args[i+1] == NULL)
- fprintf_filtered (stream, "...");
- else if (args[i+1]->code != TYPE_CODE_VOID)
- {
- fprintf_filtered (stream, ",");
- wrap_here (" ");
- }
- }
- }
- }
- fprintf_filtered (stream, ")");
-}
-
-#endif /* 0 */
-
-/* Print any array sizes, function arguments or close parentheses
- needed after the variable name (to describe its type).
- Args work like c_type_print_varspec_prefix. */
+/* See f-lang.h. */
-static void
-f_type_print_varspec_suffix (type, stream, show, passed_a_ptr, demangled_args)
- struct type *type;
- GDB_FILE *stream;
- int show;
- int passed_a_ptr;
- int demangled_args;
+void
+f_language::f_type_print_varspec_suffix (struct type *type,
+ struct ui_file *stream,
+ int show, int passed_a_ptr,
+ int demangled_args,
+ int arrayprint_recurse_level,
+ bool print_rank_only) const
{
- int upper_bound, lower_bound;
- int lower_bound_was_default = 0;
- static int arrayprint_recurse_level = 0;
- int retcode;
+ /* No static variables are permitted as an error call may occur during
+ execution of this function. */
if (type == 0)
return;
- if (TYPE_NAME (type) && show <= 0)
+ if (type->name () && show <= 0)
return;
QUIT;
- switch (TYPE_CODE (type))
+ switch (type->code ())
{
case TYPE_CODE_ARRAY:
arrayprint_recurse_level++;
if (arrayprint_recurse_level == 1)
- fprintf_filtered(stream,"(");
-
- if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY)
- f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0);
+ fprintf_filtered (stream, "(");
- retcode = f77_get_dynamic_lowerbound (type,&lower_bound);
+ if (type_not_associated (type))
+ print_rank_only = true;
+ else if (type_not_allocated (type))
+ print_rank_only = true;
+ else if ((TYPE_ASSOCIATED_PROP (type)
+ && PROP_CONST != TYPE_ASSOCIATED_PROP (type)->kind ())
+ || (TYPE_ALLOCATED_PROP (type)
+ && PROP_CONST != TYPE_ALLOCATED_PROP (type)->kind ())
+ || (TYPE_DATA_LOCATION (type)
+ && PROP_CONST != TYPE_DATA_LOCATION (type)->kind ()))
+ {
+ /* This case exist when we ptype a typename which has the dynamic
+ properties but cannot be resolved as there is no object. */
+ print_rank_only = true;
+ }
- lower_bound_was_default = 0;
+ if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ARRAY)
+ f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
+ 0, 0, arrayprint_recurse_level,
+ print_rank_only);
- if (retcode == BOUND_FETCH_ERROR)
- fprintf_filtered (stream,"???");
+ if (print_rank_only)
+ fprintf_filtered (stream, ":");
else
- if (lower_bound == 1) /* The default */
- lower_bound_was_default = 1;
- else
- fprintf_filtered (stream,"%d",lower_bound);
+ {
+ LONGEST lower_bound = f77_get_lowerbound (type);
+ if (lower_bound != 1) /* Not the default. */
+ fprintf_filtered (stream, "%s:", plongest (lower_bound));
- if (lower_bound_was_default)
- lower_bound_was_default = 0;
- else
- fprintf_filtered(stream,":");
+ /* Make sure that, if we have an assumed size array, we
+ print out a warning and print the upperbound as '*'. */
- /* Make sure that, if we have an assumed size array, we
- print out a warning and print the upperbound as '*' */
+ if (type->bounds ()->high.kind () == PROP_UNDEFINED)
+ fprintf_filtered (stream, "*");
+ else
+ {
+ LONGEST upper_bound = f77_get_upperbound (type);
- if (TYPE_ARRAY_UPPER_BOUND_TYPE(type) == BOUND_CANNOT_BE_DETERMINED)
- fprintf_filtered (stream, "*");
- else
- {
- retcode = f77_get_dynamic_upperbound(type,&upper_bound);
+ fputs_filtered (plongest (upper_bound), stream);
+ }
+ }
- if (retcode == BOUND_FETCH_ERROR)
- fprintf_filtered(stream,"???");
- else
- fprintf_filtered(stream,"%d",upper_bound);
- }
+ if (TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_ARRAY)
+ f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
+ 0, 0, arrayprint_recurse_level,
+ print_rank_only);
- if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_ARRAY)
- f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0);
if (arrayprint_recurse_level == 1)
fprintf_filtered (stream, ")");
else
- fprintf_filtered(stream,",");
+ fprintf_filtered (stream, ",");
arrayprint_recurse_level--;
break;
case TYPE_CODE_PTR:
case TYPE_CODE_REF:
- f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 1, 0);
- fprintf_filtered(stream,")");
+ f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 1, 0,
+ arrayprint_recurse_level, false);
+ fprintf_filtered (stream, " )");
break;
case TYPE_CODE_FUNC:
- f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
- passed_a_ptr, 0);
- if (passed_a_ptr)
+ {
+ int i, nfields = type->num_fields ();
+
+ f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
+ passed_a_ptr, 0,
+ arrayprint_recurse_level, false);
+ if (passed_a_ptr)
+ fprintf_filtered (stream, ") ");
+ fprintf_filtered (stream, "(");
+ if (nfields == 0 && type->is_prototyped ())
+ print_type (builtin_f_type (type->arch ())->builtin_void,
+ "", stream, -1, 0, 0);
+ else
+ for (i = 0; i < nfields; i++)
+ {
+ if (i > 0)
+ {
+ fputs_filtered (", ", stream);
+ wrap_here (" ");
+ }
+ print_type (type->field (i).type (), "", stream, -1, 0, 0);
+ }
fprintf_filtered (stream, ")");
-
- fprintf_filtered (stream, "()");
+ }
break;
case TYPE_CODE_UNDEF:
case TYPE_CODE_SET:
case TYPE_CODE_RANGE:
case TYPE_CODE_STRING:
- case TYPE_CODE_BITSTRING:
case TYPE_CODE_METHOD:
- case TYPE_CODE_MEMBER:
case TYPE_CODE_COMPLEX:
case TYPE_CODE_TYPEDEF:
/* These types do not need a suffix. They are listed so that
}
}
-static void
-print_equivalent_f77_float_type (type, stream)
- struct type *type;
- GDB_FILE *stream;
-{
- /* Override type name "float" and make it the
- appropriate real. XLC stupidly outputs -12 as a type
- for real when it really should be outputting -18 */
-
- fprintf_filtered (stream, "real*%d", TYPE_LENGTH (type));
-}
-
-/* Print the name of the type (or the ultimate pointer target,
- function value or array element), or the description of a
- structure or union.
-
- SHOW nonzero means don't print this type as just its name;
- show its real definition even if it has a name.
- SHOW zero means print just typename or struct tag if there is one
- SHOW negative means abbreviate structure elements.
- SHOW is decremented for printing of structure elements.
-
- LEVEL is the depth to indent by.
- We increase it for some recursive calls. */
+/* See f-lang.h. */
void
-f_type_print_base (type, stream, show, level)
- struct type *type;
- GDB_FILE *stream;
- int show;
- int level;
+f_language::f_type_print_base (struct type *type, struct ui_file *stream,
+ int show, int level) const
{
- int retcode;
- int upper_bound;
+ int index;
QUIT;
wrap_here (" ");
if (type == NULL)
{
- fputs_filtered ("<type unknown>", stream);
+ fputs_styled ("<type unknown>", metadata_style.style (), stream);
return;
}
/* When SHOW is zero or less, and there is a valid type name, then always
- just print the type name directly from the type. */
+ just print the type name directly from the type. */
- if ((show <= 0) && (TYPE_NAME (type) != NULL))
+ if ((show <= 0) && (type->name () != NULL))
{
- if (TYPE_CODE (type) == TYPE_CODE_FLT)
- print_equivalent_f77_float_type (type, stream);
- else
- fputs_filtered (TYPE_NAME (type), stream);
+ const char *prefix = "";
+ if (type->code () == TYPE_CODE_UNION)
+ prefix = "Type, C_Union :: ";
+ else if (type->code () == TYPE_CODE_STRUCT)
+ prefix = "Type ";
+ fprintf_filtered (stream, "%*s%s%s", level, "", prefix, type->name ());
return;
}
- if (TYPE_CODE (type) != TYPE_CODE_TYPEDEF)
- CHECK_TYPEDEF (type);
+ if (type->code () != TYPE_CODE_TYPEDEF)
+ type = check_typedef (type);
- switch (TYPE_CODE (type))
+ switch (type->code ())
{
case TYPE_CODE_TYPEDEF:
f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
break;
case TYPE_CODE_ARRAY:
- case TYPE_CODE_FUNC:
f_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
break;
+ case TYPE_CODE_FUNC:
+ if (TYPE_TARGET_TYPE (type) == NULL)
+ type_print_unknown_return_type (stream);
+ else
+ f_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
+ break;
- case TYPE_CODE_PTR:
- fprintf_filtered (stream, "PTR TO -> ( ");
- f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
+ case TYPE_CODE_PTR:
+ fprintf_filtered (stream, "%*sPTR TO -> ( ", level, "");
+ f_type_print_base (TYPE_TARGET_TYPE (type), stream, show, 0);
+ break;
+
+ case TYPE_CODE_REF:
+ fprintf_filtered (stream, "%*sREF TO -> ( ", level, "");
+ f_type_print_base (TYPE_TARGET_TYPE (type), stream, show, 0);
break;
case TYPE_CODE_VOID:
- fprintf_filtered (stream, "VOID");
+ {
+ struct type *void_type = builtin_f_type (type->arch ())->builtin_void;
+ fprintf_filtered (stream, "%*s%s", level, "", void_type->name ());
+ }
break;
case TYPE_CODE_UNDEF:
- fprintf_filtered (stream, "struct <unknown>");
+ fprintf_filtered (stream, "%*sstruct <unknown>", level, "");
break;
case TYPE_CODE_ERROR:
- fprintf_filtered (stream, "<unknown type>");
+ fprintf_filtered (stream, "%*s%s", level, "", TYPE_ERROR_NAME (type));
break;
case TYPE_CODE_RANGE:
- /* This should not occur */
- fprintf_filtered (stream, "<range type>");
+ /* This should not occur. */
+ fprintf_filtered (stream, "%*s<range type>", level, "");
break;
case TYPE_CODE_CHAR:
- /* Override name "char" and make it "character" */
- fprintf_filtered (stream, "character");
- break;
-
case TYPE_CODE_INT:
/* There may be some character types that attempt to come
- through as TYPE_CODE_INT since dbxstclass.h is so
- C-oriented, we must change these to "character" from "char". */
+ through as TYPE_CODE_INT since dbxstclass.h is so
+ C-oriented, we must change these to "character" from "char". */
- if (STREQ (TYPE_NAME (type), "char"))
- fprintf_filtered (stream, "character");
+ if (strcmp (type->name (), "char") == 0)
+ fprintf_filtered (stream, "%*scharacter", level, "");
else
goto default_case;
break;
- case TYPE_CODE_COMPLEX:
- fprintf_filtered (stream, "complex*%d", TYPE_LENGTH (type));
- break;
+ case TYPE_CODE_STRING:
+ /* Strings may have dynamic upperbounds (lengths) like arrays. We
+ check specifically for the PROP_CONST case to indicate that the
+ dynamic type has been resolved. If we arrive here having been
+ asked to print the type of a value with a dynamic type then the
+ bounds will not have been resolved. */
- case TYPE_CODE_FLT:
- print_equivalent_f77_float_type (type, stream);
- break;
+ if (type->bounds ()->high.kind () == PROP_CONST)
+ {
+ LONGEST upper_bound = f77_get_upperbound (type);
- case TYPE_CODE_STRING:
- /* Strings may have dynamic upperbounds (lengths) like arrays. */
+ fprintf_filtered (stream, "character*%s", pulongest (upper_bound));
+ }
+ else
+ fprintf_filtered (stream, "%*scharacter*(*)", level, "");
+ break;
- if (TYPE_ARRAY_UPPER_BOUND_TYPE (type) == BOUND_CANNOT_BE_DETERMINED)
- fprintf_filtered (stream, "character*(*)");
+ case TYPE_CODE_STRUCT:
+ case TYPE_CODE_UNION:
+ if (type->code () == TYPE_CODE_UNION)
+ fprintf_filtered (stream, "%*sType, C_Union :: ", level, "");
else
+ fprintf_filtered (stream, "%*sType ", level, "");
+ fputs_filtered (type->name (), stream);
+ /* According to the definition,
+ we only print structure elements in case show > 0. */
+ if (show > 0)
{
- retcode = f77_get_dynamic_upperbound (type, &upper_bound);
-
- if (retcode == BOUND_FETCH_ERROR)
- fprintf_filtered (stream, "character*???");
- else
- fprintf_filtered (stream, "character*%d", upper_bound);
+ fputs_filtered ("\n", stream);
+ for (index = 0; index < type->num_fields (); index++)
+ {
+ f_type_print_base (type->field (index).type (), stream,
+ show - 1, level + 4);
+ fputs_filtered (" :: ", stream);
+ fputs_styled (TYPE_FIELD_NAME (type, index),
+ variable_name_style.style (), stream);
+ f_type_print_varspec_suffix (type->field (index).type (),
+ stream, show - 1, 0, 0, 0, false);
+ fputs_filtered ("\n", stream);
+ }
+ fprintf_filtered (stream, "%*sEnd Type ", level, "");
+ fputs_filtered (type->name (), stream);
}
break;
+ case TYPE_CODE_MODULE:
+ fprintf_filtered (stream, "%*smodule %s", level, "", type->name ());
+ break;
+
default_case:
default:
/* Handle types not explicitly handled by the other cases,
such as fundamental types. For these, just print whatever
the type name is, as recorded in the type itself. If there
- is no type name, then complain. */
- if (TYPE_NAME (type) != NULL)
- fputs_filtered (TYPE_NAME (type), stream);
+ is no type name, then complain. */
+ if (type->name () != NULL)
+ fprintf_filtered (stream, "%*s%s", level, "", type->name ());
else
- error ("Invalid type code (%d) in symbol table.", TYPE_CODE (type));
+ error (_("Invalid type code (%d) in symbol table."), type->code ());
break;
}
+
+ if (TYPE_IS_ALLOCATABLE (type))
+ fprintf_filtered (stream, ", allocatable");
}