This introduces ada_value_print_inner.
gdb/ChangeLog
2020-03-13  Tom Tromey  <tom@tromey.com>
	* ada-valprint.c (ada_value_print_inner): New function.
	* ada-lang.h (ada_value_print_inner): Declare.
	* ada-lang.c (ada_language_defn): Use ada_value_print_inner.
+2020-03-13  Tom Tromey  <tom@tromey.com>
+
+       * ada-valprint.c (ada_value_print_inner): New function.
+       * ada-lang.h (ada_value_print_inner): Declare.
+       * ada-lang.c (ada_language_defn): Use ada_value_print_inner.
+
 2020-03-13  Tom Tromey  <tom@tromey.com>
 
        * f-valprint.c (f_value_print_innner): New function.
 
   ada_print_type,               /* Print a type using appropriate syntax */
   ada_print_typedef,            /* Print a typedef using appropriate syntax */
   ada_val_print,                /* Print a value using appropriate syntax */
-  nullptr,                     /* la_value_print_inner */
+  ada_value_print_inner,       /* la_value_print_inner */
   ada_value_print,              /* Print a top-level value */
   ada_read_var_value,          /* la_read_var_value */
   NULL,                         /* Language specific skip_trampoline */
 
                           struct value *,
                           const struct value_print_options *);
 
+/* Implement la_value_print_inner for Ada.  */
+
+extern void ada_value_print_inner (struct value *, struct ui_file *, int,
+                                  const struct value_print_options *);
+
 extern void ada_value_print (struct value *, struct ui_file *,
                             const struct value_print_options *);
 
 
     }
 }
 
+/* See ada-lang.h.  */
+
+void
+ada_value_print_inner (struct value *val, struct ui_file *stream,
+                      int recurse,
+                      const struct value_print_options *options)
+{
+  ada_val_print (value_type (val), value_embedded_offset (val),
+                value_address (val), stream, recurse, val, options);
+}
+
 void
 ada_value_print (struct value *val0, struct ui_file *stream,
                 const struct value_print_options *options)