]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blobdiff - gdb/ada-valprint.c
LoongArch: gas: Adjust DWARF CIE alignment factors
[thirdparty/binutils-gdb.git] / gdb / ada-valprint.c
index 269de259332dc59c7714e7147085831e63da9ed7..937bd39e87dbacddca382be968876d523a8d215d 100644 (file)
@@ -1,6 +1,6 @@
 /* Support for printing Ada values for GDB, the GNU debugger.
 
-   Copyright (C) 1986-2022 Free Software Foundation, Inc.
+   Copyright (C) 1986-2024 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -17,8 +17,9 @@
    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 <ctype.h>
+#include "event-top.h"
+#include "extract-store-integer.h"
 #include "gdbtypes.h"
 #include "expression.h"
 #include "value.h"
@@ -37,15 +38,6 @@ static int print_field_values (struct value *, struct value *,
 
 \f
 
-/* Make TYPE unsigned if its range of values includes no negatives.  */
-static void
-adjust_type_signedness (struct type *type)
-{
-  if (type != NULL && type->code () == TYPE_CODE_RANGE
-      && type->bounds ()->low.const_val () >= 0)
-    type->set_is_unsigned (true);
-}
-
 /* Assuming TYPE is a simple array type, prints its lower bound on STREAM,
    if non-standard (i.e., other than 1 for numbers, other than lower bound
    of index type for enumerated type).  Returns 1 if something printed,
@@ -80,7 +72,7 @@ print_optional_low_bound (struct ui_file *stream, struct type *type,
         of an enumerated type, where the underlying value of the
         first element is typically 0, we might test the low bound
         against the wrong value.  */
-      index_type = TYPE_TARGET_TYPE (index_type);
+      index_type = index_type->target_type ();
     }
 
   /* Don't print the lower bound if it's the default one.  */
@@ -98,7 +90,7 @@ print_optional_low_bound (struct ui_file *stream, struct type *type,
       break;
     case TYPE_CODE_UNDEF:
       index_type = NULL;
-      /* FALL THROUGH */
+      [[fallthrough]];
     default:
       if (low_bound == 1)
        return 0;
@@ -106,7 +98,7 @@ print_optional_low_bound (struct ui_file *stream, struct type *type,
     }
 
   ada_print_scalar (index_type, low_bound, stream);
-  fprintf_filtered (stream, " => ");
+  gdb_printf (stream, " => ");
   return 1;
 }
 
@@ -126,11 +118,12 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
   unsigned int things_printed = 0;
   unsigned len;
   struct type *elttype, *index_type;
-  unsigned long bitsize = TYPE_FIELD_BITSIZE (type, 0);
-  struct value *mark = value_mark ();
+  unsigned long bitsize = type->field (0).bitsize ();
   LONGEST low = 0;
 
-  elttype = TYPE_TARGET_TYPE (type);
+  scoped_value_mark mark;
+
+  elttype = type->target_type ();
   index_type = type->index_type ();
 
   {
@@ -151,13 +144,18 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
   }
 
   if (index_type->code () == TYPE_CODE_RANGE)
-    index_type = TYPE_TARGET_TYPE (index_type);
+    index_type = index_type->target_type ();
 
   i = 0;
   annotate_array_section_begin (i, elttype);
 
   while (i < len && things_printed < options->print_max)
     {
+      /* Both this outer loop and the inner loop that checks for
+        duplicates may allocate many values.  To avoid using too much
+        memory, both spots release values as they work.  */
+      scoped_value_mark outer_free_values;
+
       struct value *v0, *v1;
       int i0;
 
@@ -165,20 +163,20 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
        {
          if (options->prettyformat_arrays)
            {
-             fprintf_filtered (stream, ",\n");
-             print_spaces_filtered (2 + 2 * recurse, stream);
+             gdb_printf (stream, ",\n");
+             print_spaces (2 + 2 * recurse, stream);
            }
          else
            {
-             fprintf_filtered (stream, ", ");
+             gdb_printf (stream, ", ");
            }
        }
       else if (options->prettyformat_arrays)
        {
-         fprintf_filtered (stream, "\n");
-         print_spaces_filtered (2 + 2 * recurse, stream);
+         gdb_printf (stream, "\n");
+         print_spaces (2 + 2 * recurse, stream);
        }
-      wrap_here (n_spaces (2 + 2 * recurse));
+      stream->wrap_here (2 + 2 * recurse);
       maybe_print_array_index (index_type, i + low, stream, options);
 
       i0 = i;
@@ -188,6 +186,9 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
                                           bitsize, elttype);
       while (1)
        {
+         /* Make sure to free any values in the inner loop.  */
+         scoped_value_mark free_values;
+
          i += 1;
          if (i >= len)
            break;
@@ -195,12 +196,12 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
                                               (i * bitsize) / HOST_CHAR_BIT,
                                               (i * bitsize) % HOST_CHAR_BIT,
                                               bitsize, elttype);
-         if (TYPE_LENGTH (check_typedef (value_type (v0)))
-             != TYPE_LENGTH (check_typedef (value_type (v1))))
+         if (check_typedef (v0->type ())->length ()
+             != check_typedef (v1->type ())->length ())
            break;
-         if (!value_contents_eq (v0, value_embedded_offset (v0),
-                                 v1, value_embedded_offset (v1),
-                                 TYPE_LENGTH (check_typedef (value_type (v0)))))
+         if (!v0->contents_eq (v0->embedded_offset (),
+                               v1, v1->embedded_offset (),
+                               check_typedef (v0->type ())->length ()))
            break;
        }
 
@@ -208,11 +209,11 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
        {
          struct value_print_options opts = *options;
 
-         opts.deref_ref = 0;
+         opts.deref_ref = false;
          common_val_print (v0, stream, recurse + 1, &opts, current_language);
          annotate_elt_rep (i - i0);
-         fprintf_filtered (stream, _(" %p[<repeats %u times>%p]"),
-                           metadata_style.style ().ptr (), i - i0, nullptr);
+         gdb_printf (stream, _(" %p[<repeats %u times>%p]"),
+                     metadata_style.style ().ptr (), i - i0, nullptr);
          annotate_elt_rep_end ();
 
        }
@@ -221,21 +222,21 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
          int j;
          struct value_print_options opts = *options;
 
-         opts.deref_ref = 0;
+         opts.deref_ref = false;
          for (j = i0; j < i; j += 1)
            {
              if (j > i0)
                {
                  if (options->prettyformat_arrays)
                    {
-                     fprintf_filtered (stream, ",\n");
-                     print_spaces_filtered (2 + 2 * recurse, stream);
+                     gdb_printf (stream, ",\n");
+                     print_spaces (2 + 2 * recurse, stream);
                    }
                  else
                    {
-                     fprintf_filtered (stream, ", ");
+                     gdb_printf (stream, ", ");
                    }
-                 wrap_here (n_spaces (2 + 2 * recurse));
+                 stream->wrap_here (2 + 2 * recurse);
                  maybe_print_array_index (index_type, j + low,
                                           stream, options);
                }
@@ -249,10 +250,8 @@ val_print_packed_array_elements (struct type *type, const gdb_byte *valaddr,
   annotate_array_section_end ();
   if (i < len)
     {
-      fprintf_filtered (stream, "...");
+      gdb_printf (stream, "...");
     }
-
-  value_free_to_mark (mark);
 }
 
 /* Print the character C on STREAM as part of the contents of a literal
@@ -272,12 +271,16 @@ ada_emit_char (int c, struct type *type, struct ui_file *stream,
   if (c <= UCHAR_MAX && isascii (c) && isprint (c))
     {
       if (c == quoter && c == '"')
-       fprintf_filtered (stream, "\"\"");
+       gdb_printf (stream, "\"\"");
       else
-       fprintf_filtered (stream, "%c", c);
+       gdb_printf (stream, "%c", c);
     }
   else
-    fprintf_filtered (stream, "[\"%0*x\"]", type_len * 2, c);
+    {
+      /* Follow GNAT's lead here and only use 6 digits for
+        wide_wide_character.  */
+      gdb_printf (stream, "[\"%0*x\"]", std::min (6, type_len * 2), c);
+    }
 }
 
 /* Character #I of STRING, given that TYPE_LEN is the size in bytes
@@ -307,9 +310,16 @@ ada_print_floating (const gdb_byte *valaddr, struct type *type,
 
   print_floating (valaddr, type, &tmp_stream);
 
-  std::string &s = tmp_stream.string ();
+  std::string s = tmp_stream.release ();
   size_t skip_count = 0;
 
+  /* Don't try to modify a result representing an error.  */
+  if (s[0] == '<')
+    {
+      gdb_puts (s.c_str (), stream);
+      return;
+    }
+
   /* Modify for Ada rules.  */
 
   size_t pos = s.find ("inf");
@@ -340,20 +350,20 @@ ada_print_floating (const gdb_byte *valaddr, struct type *type,
     {
       pos = s.find ('e');
       if (pos == std::string::npos)
-       fprintf_filtered (stream, "%s.0", s.c_str ());
+       gdb_printf (stream, "%s.0", s.c_str ());
       else
-       fprintf_filtered (stream, "%.*s.0%s", (int) pos, s.c_str (), &s[pos]);
+       gdb_printf (stream, "%.*s.0%s", (int) pos, s.c_str (), &s[pos]);
     }
   else
-    fprintf_filtered (stream, "%s", &s[skip_count]);
+    gdb_printf (stream, "%s", &s[skip_count]);
 }
 
 void
 ada_printchar (int c, struct type *type, struct ui_file *stream)
 {
-  fputs_filtered ("'", stream);
-  ada_emit_char (c, type, stream, '\'', TYPE_LENGTH (type));
-  fputs_filtered ("'", stream);
+  gdb_puts ("'", stream);
+  ada_emit_char (c, type, stream, '\'', type->length ());
+  gdb_puts ("'", stream);
 }
 
 /* [From print_type_scalar in typeprint.c].   Print VAL on STREAM in a
@@ -363,9 +373,6 @@ ada_printchar (int c, struct type *type, struct ui_file *stream)
 void
 ada_print_scalar (struct type *type, LONGEST val, struct ui_file *stream)
 {
-  unsigned int i;
-  unsigned len;
-
   if (!type)
     {
       print_longest (stream, 'd', 0, val);
@@ -378,23 +385,14 @@ ada_print_scalar (struct type *type, LONGEST val, struct ui_file *stream)
     {
 
     case TYPE_CODE_ENUM:
-      len = type->num_fields ();
-      for (i = 0; i < len; i++)
-       {
-         if (type->field (i).loc_enumval () == val)
-           {
-             break;
-           }
-       }
-      if (i < len)
-       {
-         fputs_styled (ada_enum_name (type->field (i).name ()),
+      {
+       std::optional<LONGEST> posn = discrete_position (type, val);
+       if (posn.has_value ())
+         fputs_styled (ada_enum_name (type->field (*posn).name ()),
                        variable_name_style.style (), stream);
-       }
-      else
-       {
+       else
          print_longest (stream, 'd', 0, val);
-       }
+      }
       break;
 
     case TYPE_CODE_INT:
@@ -402,15 +400,15 @@ ada_print_scalar (struct type *type, LONGEST val, struct ui_file *stream)
       break;
 
     case TYPE_CODE_CHAR:
-      LA_PRINT_CHAR (val, type, stream);
+      current_language->printchar (val, type, stream);
       break;
 
     case TYPE_CODE_BOOL:
-      fprintf_filtered (stream, val ? "true" : "false");
+      gdb_printf (stream, val ? "true" : "false");
       break;
 
     case TYPE_CODE_RANGE:
-      ada_print_scalar (TYPE_TARGET_TYPE (type), val, stream);
+      ada_print_scalar (type->target_type (), val, stream);
       return;
 
     case TYPE_CODE_UNDEF:
@@ -455,11 +453,12 @@ printstr (struct ui_file *stream, struct type *elttype, const gdb_byte *string,
 
   if (length == 0)
     {
-      fputs_filtered ("\"\"", stream);
+      gdb_puts ("\"\"", stream);
       return;
     }
 
-  for (i = 0; i < length && things_printed < options->print_max; i += 1)
+  unsigned int print_max_chars = get_print_max_chars (options);
+  for (i = 0; i < length && things_printed < print_max_chars; i += 1)
     {
       /* Position of the character we are examining
         to see whether it is repeated.  */
@@ -471,7 +470,7 @@ printstr (struct ui_file *stream, struct type *elttype, const gdb_byte *string,
 
       if (need_comma)
        {
-         fputs_filtered (", ", stream);
+         gdb_puts (", ", stream);
          need_comma = 0;
        }
 
@@ -489,15 +488,15 @@ printstr (struct ui_file *stream, struct type *elttype, const gdb_byte *string,
        {
          if (in_quotes)
            {
-             fputs_filtered ("\", ", stream);
+             gdb_puts ("\", ", stream);
              in_quotes = 0;
            }
-         fputs_filtered ("'", stream);
+         gdb_puts ("'", stream);
          ada_emit_char (char_at (string, i, type_len, byte_order),
                         elttype, stream, '\'', type_len);
-         fputs_filtered ("'", stream);
-         fprintf_filtered (stream, _(" %p[<repeats %u times>%p]"),
-                           metadata_style.style ().ptr (), reps, nullptr);
+         gdb_puts ("'", stream);
+         gdb_printf (stream, _(" %p[<repeats %u times>%p]"),
+                     metadata_style.style ().ptr (), reps, nullptr);
          i = rep1 - 1;
          things_printed += options->repeat_count_threshold;
          need_comma = 1;
@@ -506,7 +505,7 @@ printstr (struct ui_file *stream, struct type *elttype, const gdb_byte *string,
        {
          if (!in_quotes)
            {
-             fputs_filtered ("\"", stream);
+             gdb_puts ("\"", stream);
              in_quotes = 1;
            }
          ada_emit_char (char_at (string, i, type_len, byte_order),
@@ -517,10 +516,10 @@ printstr (struct ui_file *stream, struct type *elttype, const gdb_byte *string,
 
   /* Terminate the quotes if necessary.  */
   if (in_quotes)
-    fputs_filtered ("\"", stream);
+    gdb_puts ("\"", stream);
 
   if (force_ellipses || i < length)
-    fputs_filtered ("...", stream);
+    gdb_puts ("...", stream);
 }
 
 void
@@ -529,7 +528,7 @@ ada_printstr (struct ui_file *stream, struct type *type,
              const char *encoding, int force_ellipses,
              const struct value_print_options *options)
 {
-  printstr (stream, type, string, length, force_ellipses, TYPE_LENGTH (type),
+  printstr (stream, type, string, length, force_ellipses, type->length (),
            options);
 }
 
@@ -541,7 +540,7 @@ print_variant_part (struct value *value, int field_num,
                    int comma_needed,
                    const struct language_defn *language)
 {
-  struct type *type = value_type (value);
+  struct type *type = value->type ();
   struct type *var_type = type->field (field_num).type ();
   int which = ada_which_variant_applies (var_type, outer_value);
 
@@ -577,7 +576,7 @@ print_field_values (struct value *value, struct value *outer_value,
 {
   int i, len;
 
-  struct type *type = value_type (value);
+  struct type *type = value->type ();
   len = type->num_fields ();
 
   for (i = 0; i < len; i += 1)
@@ -604,32 +603,32 @@ print_field_values (struct value *value, struct value *outer_value,
        }
 
       if (comma_needed)
-       fprintf_filtered (stream, ", ");
+       gdb_printf (stream, ", ");
       comma_needed = 1;
 
       if (options->prettyformat)
        {
-         fprintf_filtered (stream, "\n");
-         print_spaces_filtered (2 + 2 * recurse, stream);
+         gdb_printf (stream, "\n");
+         print_spaces (2 + 2 * recurse, stream);
        }
       else
        {
-         wrap_here (n_spaces (2 + 2 * recurse));
+         stream->wrap_here (2 + 2 * recurse);
        }
 
       annotate_field_begin (type->field (i).type ());
-      fprintf_filtered (stream, "%.*s",
-                       ada_name_prefix_len (type->field (i).name ()),
-                       type->field (i).name ());
+      gdb_printf (stream, "%.*s",
+                 ada_name_prefix_len (type->field (i).name ()),
+                 type->field (i).name ());
       annotate_field_name_end ();
-      fputs_filtered (" => ", stream);
+      gdb_puts (" => ", stream);
       annotate_field_value ();
 
-      if (TYPE_FIELD_PACKED (type, i))
+      if (type->field (i).is_packed ())
        {
          /* Bitfields require special handling, especially due to byte
             order problems.  */
-         if (HAVE_CPLUS_STRUCT (type) && TYPE_FIELD_IGNORE (type, i))
+         if (type->field (i).is_ignored ())
            {
              fputs_styled (_("<optimized out or zero length>"),
                            metadata_style.style (), stream);
@@ -638,17 +637,16 @@ print_field_values (struct value *value, struct value *outer_value,
            {
              struct value *v;
              int bit_pos = type->field (i).loc_bitpos ();
-             int bit_size = TYPE_FIELD_BITSIZE (type, i);
+             int bit_size = type->field (i).bitsize ();
              struct value_print_options opts;
 
-             adjust_type_signedness (type->field (i).type ());
              v = ada_value_primitive_packed_val
                    (value, nullptr,
                     bit_pos / HOST_CHAR_BIT,
                     bit_pos % HOST_CHAR_BIT,
                     bit_size, type->field (i).type ());
              opts = *options;
-             opts.deref_ref = 0;
+             opts.deref_ref = false;
              common_val_print (v, stream, recurse + 1, &opts, language);
            }
        }
@@ -656,7 +654,7 @@ print_field_values (struct value *value, struct value *outer_value,
        {
          struct value_print_options opts = *options;
 
-         opts.deref_ref = 0;
+         opts.deref_ref = false;
 
          struct value *v = value_field (value, i);
          common_val_print (v, stream, recurse + 1, &opts, language);
@@ -677,7 +675,7 @@ ada_val_print_string (struct type *type, const gdb_byte *valaddr,
                      const struct value_print_options *options)
 {
   enum bfd_endian byte_order = type_byte_order (type);
-  struct type *elttype = TYPE_TARGET_TYPE (type);
+  struct type *elttype = type->target_type ();
   unsigned int eltlen;
   unsigned int len;
 
@@ -686,21 +684,22 @@ ada_val_print_string (struct type *type, const gdb_byte *valaddr,
      Similarly, the size of ELTTYPE should also be non-null, since
      it's a character-like type.  */
   gdb_assert (elttype != NULL);
-  gdb_assert (TYPE_LENGTH (elttype) != 0);
+  gdb_assert (elttype->length () != 0);
 
-  eltlen = TYPE_LENGTH (elttype);
-  len = TYPE_LENGTH (type) / eltlen;
+  eltlen = elttype->length ();
+  len = type->length () / eltlen;
 
   /* If requested, look for the first null char and only print
      elements up to it.  */
   if (options->stop_print_at_null)
     {
+      unsigned int print_max_chars = get_print_max_chars (options);
       int temp_len;
 
       /* Look for a NULL char.  */
       for (temp_len = 0;
           (temp_len < len
-           && temp_len < options->print_max
+           && temp_len < print_max_chars
            && char_at (valaddr + offset_aligned,
                        temp_len, eltlen, byte_order) != 0);
           temp_len += 1);
@@ -720,22 +719,22 @@ ada_value_print_ptr (struct value *val,
                     const struct value_print_options *options)
 {
   if (!options->format
-      && TYPE_TARGET_TYPE (value_type (val))->code () == TYPE_CODE_INT
-      && TYPE_LENGTH (TYPE_TARGET_TYPE (value_type (val))) == 0)
+      && val->type ()->target_type ()->code () == TYPE_CODE_INT
+      && val->type ()->target_type ()->length () == 0)
     {
-      fputs_filtered ("null", stream);
+      gdb_puts ("null", stream);
       return;
     }
 
   common_val_print (val, stream, recurse, options, language_def (language_c));
 
-  struct type *type = ada_check_typedef (value_type (val));
+  struct type *type = ada_check_typedef (val->type ());
   if (ada_is_tag_type (type))
     {
       gdb::unique_xmalloc_ptr<char> name = ada_tag_name (val);
 
       if (name != NULL)
-       fprintf_filtered (stream, " (%s)", name.get ());
+       gdb_printf (stream, " (%s)", name.get ());
     }
 }
 
@@ -746,19 +745,19 @@ static void
 ada_value_print_num (struct value *val, struct ui_file *stream, int recurse,
                     const struct value_print_options *options)
 {
-  struct type *type = ada_check_typedef (value_type (val));
-  const gdb_byte *valaddr = value_contents_for_printing (val).data ();
+  struct type *type = ada_check_typedef (val->type ());
+  const gdb_byte *valaddr = val->contents_for_printing ().data ();
 
   if (type->code () == TYPE_CODE_RANGE
-      && (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ENUM
-         || TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_BOOL
-         || TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_CHAR))
+      && (type->target_type ()->code () == TYPE_CODE_ENUM
+         || type->target_type ()->code () == TYPE_CODE_BOOL
+         || type->target_type ()->code () == TYPE_CODE_CHAR))
     {
       /* For enum-valued ranges, we want to recurse, because we'll end
         up printing the constant's name rather than its numeric
         value.  Character and fixed-point types are also printed
-        differently, so recuse for those as well.  */
-      struct type *target_type = TYPE_TARGET_TYPE (type);
+        differently, so recurse for those as well.  */
+      struct type *target_type = type->target_type ();
       val = value_cast (target_type, val);
       common_val_print (val, stream, recurse + 1, options,
                        language_def (language_ada));
@@ -788,10 +787,10 @@ ada_value_print_num (struct value *val, struct ui_file *stream, int recurse,
          struct type *ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
          CORE_ADDR addr = extract_typed_address (valaddr, ptr_type);
 
-         fprintf_filtered (stream, "(");
+         gdb_printf (stream, "(");
          type_print (type, "", stream, -1);
-         fprintf_filtered (stream, ") ");
-         fputs_filtered (paddress (gdbarch, addr), stream);
+         gdb_printf (stream, ") ");
+         gdb_puts (paddress (gdbarch, addr), stream);
        }
       else
        {
@@ -800,7 +799,7 @@ ada_value_print_num (struct value *val, struct ui_file *stream, int recurse,
            {
              LONGEST c;
 
-             fputs_filtered (" ", stream);
+             gdb_puts (" ", stream);
              c = unpack_long (type, valaddr);
              ada_printchar (c, type, stream);
            }
@@ -816,8 +815,6 @@ static void
 ada_val_print_enum (struct value *value, struct ui_file *stream, int recurse,
                    const struct value_print_options *options)
 {
-  int i;
-  unsigned int len;
   LONGEST val;
 
   if (options->format)
@@ -826,27 +823,20 @@ ada_val_print_enum (struct value *value, struct ui_file *stream, int recurse,
       return;
     }
 
-  struct type *type = ada_check_typedef (value_type (value));
-  const gdb_byte *valaddr = value_contents_for_printing (value).data ();
+  struct type *type = ada_check_typedef (value->type ());
+  const gdb_byte *valaddr = value->contents_for_printing ().data ();
   int offset_aligned = ada_aligned_value_addr (type, valaddr) - valaddr;
 
-  len = type->num_fields ();
   val = unpack_long (type, valaddr + offset_aligned);
-  for (i = 0; i < len; i++)
+  std::optional<LONGEST> posn = discrete_position (type, val);
+  if (posn.has_value ())
     {
-      QUIT;
-      if (val == type->field (i).loc_enumval ())
-       break;
-    }
-
-  if (i < len)
-    {
-      const char *name = ada_enum_name (type->field (i).name ());
+      const char *name = ada_enum_name (type->field (*posn).name ());
 
       if (name[0] == '\'')
-       fprintf_filtered (stream, "%ld %ps", (long) val,
-                         styled_string (variable_name_style.style (),
-                                        name));
+       gdb_printf (stream, "%ld %ps", (long) val,
+                   styled_string (variable_name_style.style (),
+                                  name));
       else
        fputs_styled (name, variable_name_style.style (), stream);
     }
@@ -863,23 +853,17 @@ ada_val_print_struct_union (struct value *value,
                            int recurse,
                            const struct value_print_options *options)
 {
-  if (ada_is_bogus_array_descriptor (value_type (value)))
-    {
-      fprintf_filtered (stream, "(...?)");
-      return;
-    }
-
-  fprintf_filtered (stream, "(");
+  gdb_printf (stream, "(");
 
   if (print_field_values (value, value, stream, recurse, options,
                          0, language_def (language_ada)) != 0
       && options->prettyformat)
     {
-      fprintf_filtered (stream, "\n");
-      print_spaces_filtered (2 * recurse, stream);
+      gdb_printf (stream, "\n");
+      print_spaces (2 * recurse, stream);
     }
 
-  fprintf_filtered (stream, ")");
+  gdb_printf (stream, ")");
 }
 
 /* Implement Ada value_print'ing for the case where TYPE is a
@@ -889,13 +873,13 @@ static void
 ada_value_print_array (struct value *val, struct ui_file *stream, int recurse,
                       const struct value_print_options *options)
 {
-  struct type *type = ada_check_typedef (value_type (val));
+  struct type *type = ada_check_typedef (val->type ());
 
   /* For an array of characters, print with string syntax.  */
   if (ada_is_string_type (type)
       && (options->format == 0 || options->format == 's'))
     {
-      const gdb_byte *valaddr = value_contents_for_printing (val).data ();
+      const gdb_byte *valaddr = val->contents_for_printing ().data ();
       int offset_aligned = ada_aligned_value_addr (type, valaddr) - valaddr;
 
       ada_val_print_string (type, valaddr, offset_aligned, stream, recurse,
@@ -903,21 +887,21 @@ ada_value_print_array (struct value *val, struct ui_file *stream, int recurse,
       return;
     }
 
-  fprintf_filtered (stream, "(");
+  gdb_printf (stream, "(");
   print_optional_low_bound (stream, type, options);
 
-  if (value_entirely_optimized_out (val))
+  if (val->entirely_optimized_out ())
     val_print_optimized_out (val, stream);
-  else if (TYPE_FIELD_BITSIZE (type, 0) > 0)
+  else if (type->field (0).bitsize () > 0)
     {
-      const gdb_byte *valaddr = value_contents_for_printing (val).data ();
+      const gdb_byte *valaddr = val->contents_for_printing ().data ();
       int offset_aligned = ada_aligned_value_addr (type, valaddr) - valaddr;
       val_print_packed_array_elements (type, valaddr, offset_aligned,
                                       stream, recurse, options);
     }
   else
     value_print_array_elements (val, stream, recurse, options, 0);
-  fprintf_filtered (stream, ")");
+  gdb_printf (stream, ")");
 }
 
 /* Implement Ada val_print'ing for the case where TYPE is
@@ -935,7 +919,7 @@ ada_val_print_ref (struct type *type, const gdb_byte *valaddr,
      of the object value would be confusing to an Ada programmer.
      So, for Ada values, we print the actual dereferenced value
      regardless.  */
-  struct type *elttype = check_typedef (TYPE_TARGET_TYPE (type));
+  struct type *elttype = check_typedef (type->target_type ());
   struct value *deref_val;
   CORE_ADDR deref_val_int;
 
@@ -949,7 +933,7 @@ ada_val_print_ref (struct type *type, const gdb_byte *valaddr,
   deref_val = coerce_ref_if_computed (original_value);
   if (deref_val)
     {
-      if (ada_is_tagged_type (value_type (deref_val), 1))
+      if (ada_is_tagged_type (deref_val->type (), 1))
        deref_val = ada_tag_value_at_base_address (deref_val);
 
       common_val_print (deref_val, stream, recurse + 1, options,
@@ -960,18 +944,18 @@ ada_val_print_ref (struct type *type, const gdb_byte *valaddr,
   deref_val_int = unpack_pointer (type, valaddr + offset_aligned);
   if (deref_val_int == 0)
     {
-      fputs_filtered ("(null)", stream);
+      gdb_puts ("(null)", stream);
       return;
     }
 
   deref_val
     = ada_value_ind (value_from_pointer (lookup_pointer_type (elttype),
                                         deref_val_int));
-  if (ada_is_tagged_type (value_type (deref_val), 1))
+  if (ada_is_tagged_type (deref_val->type (), 1))
     deref_val = ada_tag_value_at_base_address (deref_val);
 
-  if (value_lazy (deref_val))
-    value_fetch_lazy (deref_val);
+  if (deref_val->lazy ())
+    deref_val->fetch_lazy ();
 
   common_val_print (deref_val, stream, recurse + 1,
                    options, language_def (language_ada));
@@ -985,7 +969,7 @@ void
 ada_value_print_inner (struct value *val, struct ui_file *stream, int recurse,
                       const struct value_print_options *options)
 {
-  struct type *type = ada_check_typedef (value_type (val));
+  struct type *type = ada_check_typedef (val->type ());
 
   if (ada_is_array_descriptor_type (type)
       || (ada_is_constrained_packed_array_type (type)
@@ -999,25 +983,25 @@ ada_value_print_inner (struct value *val, struct ui_file *stream, int recurse,
       if (val == nullptr)
        {
          gdb_assert (type->code () == TYPE_CODE_TYPEDEF);
-         fprintf_filtered (stream, "0x0");
+         gdb_printf (stream, "0x0");
          return;
        }
     }
   else
     val = ada_to_fixed_value (val);
 
-  type = value_type (val);
+  type = val->type ();
   struct type *saved_type = type;
 
-  const gdb_byte *valaddr = value_contents_for_printing (val).data ();
-  CORE_ADDR address = value_address (val);
+  const gdb_byte *valaddr = val->contents_for_printing ().data ();
+  CORE_ADDR address = val->address ();
   gdb::array_view<const gdb_byte> view
-    = gdb::make_array_view (valaddr, TYPE_LENGTH (type));
+    = gdb::make_array_view (valaddr, type->length ());
   type = ada_check_typedef (resolve_dynamic_type (type, view, address));
   if (type != saved_type)
     {
-      val = value_copy (val);
-      deprecated_set_value_type (val, type);
+      val = val->copy ();
+      val->deprecated_set_type (type);
     }
 
   if (is_fixed_point_type (type))
@@ -1076,24 +1060,24 @@ ada_value_print (struct value *val0, struct ui_file *stream,
                 const struct value_print_options *options)
 {
   struct value *val = ada_to_fixed_value (val0);
-  struct type *type = ada_check_typedef (value_type (val));
+  struct type *type = ada_check_typedef (val->type ());
   struct value_print_options opts;
 
   /* If it is a pointer, indicate what it points to; but not for
      "void *" pointers.  */
   if (type->code () == TYPE_CODE_PTR
-      && !(TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_INT
-          && TYPE_LENGTH (TYPE_TARGET_TYPE (type)) == 0))
+      && !(type->target_type ()->code () == TYPE_CODE_INT
+          && type->target_type ()->length () == 0))
     {
       /* Hack:  don't print (char *) for char strings.  Their
         type is indicated by the quoted string anyway.  */
-      if (TYPE_LENGTH (TYPE_TARGET_TYPE (type)) != sizeof (char)
-         || TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_INT
-         || TYPE_TARGET_TYPE (type)->is_unsigned ())
+      if (type->target_type ()->length () != sizeof (char)
+         || type->target_type ()->code () != TYPE_CODE_INT
+         || type->target_type ()->is_unsigned ())
        {
-         fprintf_filtered (stream, "(");
+         gdb_printf (stream, "(");
          type_print (type, "", stream, -1);
-         fprintf_filtered (stream, ") ");
+         gdb_printf (stream, ") ");
        }
     }
   else if (ada_is_array_descriptor_type (type))
@@ -1103,20 +1087,13 @@ ada_value_print (struct value *val0, struct ui_file *stream,
         a fat pointer - hence the check against TYPE_CODE_TYPEDEF).  */
       if (type->code () == TYPE_CODE_TYPEDEF)
        {
-         fprintf_filtered (stream, "(");
+         gdb_printf (stream, "(");
          type_print (type, "", stream, -1);
-         fprintf_filtered (stream, ") ");
+         gdb_printf (stream, ") ");
        }
     }
-  else if (ada_is_bogus_array_descriptor (type))
-    {
-      fprintf_filtered (stream, "(");
-      type_print (type, "", stream, -1);
-      fprintf_filtered (stream, ") (...?)");
-      return;
-    }
 
   opts = *options;
-  opts.deref_ref = 1;
+  opts.deref_ref = true;
   common_val_print (val, stream, 0, &opts, current_language);
 }