2008-11-12 Tristan Gingold <gingold@adacore.com>
[binutils-gdb.git] / gdb / cp-valprint.c
index c19d678a7ce97c9267d7357d5c3f6a2611ed327e..2968953be9393121f03f1fe68108194889072302 100644 (file)
@@ -1,7 +1,8 @@
 /* Support for printing C++ values for GDB, the GNU debugger.
 
    Copyright (C) 1986, 1988, 1989, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
-   2000, 2001, 2002, 2003, 2005, 2006, 2007 Free Software Foundation, Inc.
+   2000, 2001, 2002, 2003, 2005, 2006, 2007, 2008
+   Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -37,7 +38,6 @@
 #include "language.h"
 
 /* Controls printing of vtbl's */
-int vtblprint;
 static void
 show_vtblprint (struct ui_file *file, int from_tty,
                struct cmd_list_element *c, const char *value)
@@ -49,7 +49,6 @@ Printing of C++ virtual function tables is %s.\n"),
 
 /* Controls looking up an object's derived type using what we find in
    its vtables.  */
-int objectprint;
 static void
 show_objectprint (struct ui_file *file, int from_tty,
                  struct cmd_list_element *c,
@@ -60,7 +59,6 @@ Printing of object's derived type based on vtable info is %s.\n"),
                    value);
 }
 
-int static_field_print;                /* Controls printing of static fields. */
 static void
 show_static_field_print (struct ui_file *file, int from_tty,
                         struct cmd_list_element *c, const char *value)
@@ -76,27 +74,17 @@ static struct obstack dont_print_statmem_obstack;
 extern void _initialize_cp_valprint (void);
 
 static void cp_print_static_field (struct type *, struct value *,
-                                  struct ui_file *, int, int,
-                                  enum val_prettyprint);
+                                  struct ui_file *, int,
+                                  const struct value_print_options *);
 
 static void cp_print_value (struct type *, struct type *, const gdb_byte *,
-                           int, CORE_ADDR, struct ui_file *, int, int,
-                           enum val_prettyprint, struct type **);
-
-static void cp_print_hpacc_virtual_table_entries (struct type *, int *,
-                                                 struct value *,
-                                                 struct ui_file *, int,
-                                                 int,
-                                                 enum val_prettyprint);
+                           int, CORE_ADDR, struct ui_file *, int,
+                           const struct value_print_options *, struct type **);
 
 
 /* GCC versions after 2.4.5 use this.  */
 const char vtbl_ptr_name[] = "__vtbl_ptr_type";
 
-/* HP aCC uses different names.  */
-const char hpacc_vtbl_ptr_name[] = "__vfp";
-const char hpacc_vtbl_ptr_type_name[] = "__vftyp";
-
 /* Return truth value for assertion that TYPE is of the type
    "pointer to virtual function".  */
 
@@ -148,7 +136,7 @@ cp_is_vtbl_member (struct type *type)
 /* Mutually recursive subroutines of cp_print_value and c_val_print to
    print out a structure's fields: cp_print_value_fields and cp_print_value.
 
-   TYPE, VALADDR, ADDRESS, STREAM, RECURSE, and PRETTY have the
+   TYPE, VALADDR, ADDRESS, STREAM, RECURSE, and OPTIONS have the
    same meanings as in cp_print_value and c_val_print.
 
    2nd argument REAL_TYPE is used to carry over the type of the derived
@@ -160,9 +148,9 @@ cp_is_vtbl_member (struct type *type)
 void
 cp_print_value_fields (struct type *type, struct type *real_type,
                       const gdb_byte *valaddr, int offset, CORE_ADDR address,
-                      struct ui_file *stream, int format, int recurse,
-                      enum val_prettyprint pretty,
-                      struct type **dont_print_vb,int dont_print_statmem)
+                      struct ui_file *stream, int recurse,
+                      const struct value_print_options *options,
+                      struct type **dont_print_vb, int dont_print_statmem)
 {
   int i, len, n_baseclasses;
   char *last_dont_print = obstack_next_free (&dont_print_statmem_obstack);
@@ -179,18 +167,12 @@ cp_print_value_fields (struct type *type, struct type *real_type,
 
   if (n_baseclasses > 0)
     cp_print_value (type, real_type, valaddr, offset, address, stream,
-                   format, recurse + 1, pretty, dont_print_vb);
+                   recurse + 1, options, dont_print_vb);
 
   /* Second, print out data fields */
 
-  /* If there are no data fields, or if the only field is the
-   * vtbl pointer, skip this part */
-  if ((len == n_baseclasses)
-      || ((len - n_baseclasses == 1)
-         && TYPE_HAS_VTABLE (type)
-         && strncmp (TYPE_FIELD_NAME (type, n_baseclasses),
-                     hpacc_vtbl_ptr_name, 5) == 0)
-      || !len)
+  /* If there are no data fields, skip this part */
+  if (len == n_baseclasses || !len)
     fprintf_filtered (stream, "<No data fields>");
   else
     {
@@ -207,20 +189,15 @@ cp_print_value_fields (struct type *type, struct type *real_type,
       for (i = n_baseclasses; i < len; i++)
        {
          /* If requested, skip printing of static fields.  */
-         if (!static_field_print && TYPE_FIELD_STATIC (type, i))
-           continue;
-
-         /* If a vtable pointer appears, we'll print it out later */
-         if (TYPE_HAS_VTABLE (type)
-             && strncmp (TYPE_FIELD_NAME (type, i), hpacc_vtbl_ptr_name,
-                         5) == 0)
+         if (!options->static_field_print
+             && field_is_static (&TYPE_FIELD (type, i)))
            continue;
 
          if (fields_seen)
            fprintf_filtered (stream, ", ");
          else if (n_baseclasses > 0)
            {
-             if (pretty)
+             if (options->pretty)
                {
                  fprintf_filtered (stream, "\n");
                  print_spaces_filtered (2 + 2 * recurse, stream);
@@ -231,7 +208,7 @@ cp_print_value_fields (struct type *type, struct type *real_type,
            }
          fields_seen = 1;
 
-         if (pretty)
+         if (options->pretty)
            {
              fprintf_filtered (stream, "\n");
              print_spaces_filtered (2 + 2 * recurse, stream);
@@ -240,13 +217,13 @@ cp_print_value_fields (struct type *type, struct type *real_type,
            {
              wrap_here (n_spaces (2 + 2 * recurse));
            }
-         if (inspect_it)
+         if (options->inspect_it)
            {
              if (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_PTR)
                fputs_filtered ("\"( ptr \"", stream);
              else
                fputs_filtered ("\"( nodef \"", stream);
-             if (TYPE_FIELD_STATIC (type, i))
+             if (field_is_static (&TYPE_FIELD (type, i)))
                fputs_filtered ("static ", stream);
              fprintf_symbol_filtered (stream, TYPE_FIELD_NAME (type, i),
                                       current_language->la_language,
@@ -261,7 +238,7 @@ cp_print_value_fields (struct type *type, struct type *real_type,
            {
              annotate_field_begin (TYPE_FIELD_TYPE (type, i));
 
-             if (TYPE_FIELD_STATIC (type, i))
+             if (field_is_static (&TYPE_FIELD (type, i)))
                fputs_filtered ("static ", stream);
              fprintf_symbol_filtered (stream, TYPE_FIELD_NAME (type, i),
                                       current_language->la_language,
@@ -273,7 +250,8 @@ cp_print_value_fields (struct type *type, struct type *real_type,
              annotate_field_value ();
            }
 
-         if (!TYPE_FIELD_STATIC (type, i) && TYPE_FIELD_PACKED (type, i))
+         if (!field_is_static (&TYPE_FIELD (type, i))
+             && TYPE_FIELD_PACKED (type, i))
            {
              struct value *v;
 
@@ -285,11 +263,14 @@ cp_print_value_fields (struct type *type, struct type *real_type,
                }
              else
                {
+                 struct value_print_options opts = *options;
+                 opts.deref_ref = 0;
                  v = value_from_longest
                    (TYPE_FIELD_TYPE (type, i), 
                     unpack_field_as_long (type, valaddr + offset, i));
 
-                 common_val_print (v, stream, format, 0, recurse + 1, pretty);
+                 common_val_print (v, stream, recurse + 1, &opts,
+                                   current_language);
                }
            }
          else
@@ -298,22 +279,24 @@ cp_print_value_fields (struct type *type, struct type *real_type,
                {
                  fputs_filtered ("<optimized out or zero length>", stream);
                }
-             else if (TYPE_FIELD_STATIC (type, i))
+             else if (field_is_static (&TYPE_FIELD (type, i)))
                {
                  struct value *v = value_static_field (type, i);
                  if (v == NULL)
                    fputs_filtered ("<optimized out>", stream);
                  else
                    cp_print_static_field (TYPE_FIELD_TYPE (type, i), v,
-                                          stream, format, recurse + 1,
-                                          pretty);
+                                          stream, recurse + 1, options);
                }
              else
                {
+                 struct value_print_options opts = *options;
+                 opts.deref_ref = 0;
                  val_print (TYPE_FIELD_TYPE (type, i),
                             valaddr, offset + TYPE_FIELD_BITPOS (type, i) / 8,
                             address + TYPE_FIELD_BITPOS (type, i) / 8,
-                            stream, format, 0, recurse + 1, pretty);
+                            stream, recurse + 1, &opts,
+                            current_language);
                }
            }
          annotate_field_end ();
@@ -327,90 +310,12 @@ cp_print_value_fields (struct type *type, struct type *real_type,
          dont_print_statmem_obstack = tmp_obstack;
        }
 
-      if (pretty)
+      if (options->pretty)
        {
          fprintf_filtered (stream, "\n");
          print_spaces_filtered (2 * recurse, stream);
        }
     }                          /* if there are data fields */
-  /* Now print out the virtual table pointer if there is one */
-  if (TYPE_HAS_VTABLE (type)
-      && strncmp (TYPE_FIELD_NAME (type, n_baseclasses),
-                 hpacc_vtbl_ptr_name, 5) == 0)
-    {
-      struct value *v;
-      /* First get the virtual table pointer and print it out */
-
-#if 0
-      fputs_filtered ("__vfp = ", stream);
-#endif
-
-      fputs_filtered (", Virtual table at ", stream);
-
-      /* pai: FIXME 32x64 problem? */
-      /* Not sure what the best notation is in the case where there is no
-         baseclass name.  */
-      v = value_from_pointer (lookup_pointer_type (builtin_type_unsigned_long),
-                             *(unsigned long *) (valaddr + offset));
-
-      common_val_print (v, stream, format, 0, recurse + 1, pretty);
-      fields_seen = 1;
-
-      if (vtblprint)
-       {
-         /* Print out function pointers in vtable. */
-
-         /* FIXME: then-clause is for non-RRBC layout of virtual
-          * table.  The RRBC case in the else-clause is yet to be
-          * implemented.  The if (1) below should be changed to a
-          * test for whether the executable we have was compiled
-          * with a version of HP aCC that doesn't have RRBC
-          * support. */
-
-         if (1)
-           {
-             /* no RRBC support; function pointers embedded directly
-                 in vtable */
-
-             int vfuncs = count_virtual_fns (real_type);
-
-             fputs_filtered (" {", stream);
-
-             /* FIXME : doesn't work at present */
-#if 0
-             fprintf_filtered (stream, "%d entr%s: ", vfuncs,
-                               vfuncs == 1 ? "y" : "ies");
-#else
-             fputs_filtered ("not implemented", stream);
-
-
-#endif
-
-             /* recursive function that prints all virtual function entries */
-#if 0
-             cp_print_hpacc_virtual_table_entries (real_type, &vfuncs, v,
-                                                   stream, format, recurse,
-                                                   pretty);
-#endif
-             fputs_filtered ("}", stream);
-           }                   /* non-RRBC case */
-         else
-           {
-             /* FIXME -- see comments above */
-             /* RRBC support present; function pointers are found
-              * by indirection through the class segment entries. */
-
-
-           }                   /* RRBC case */
-       }                       /* if vtblprint */
-
-      if (pretty)
-       {
-         fprintf_filtered (stream, "\n");
-         print_spaces_filtered (2 * recurse, stream);
-       }
-
-    }                          /* if vtable exists */
 
   fprintf_filtered (stream, "}");
 }
@@ -421,8 +326,9 @@ cp_print_value_fields (struct type *type, struct type *real_type,
 static void
 cp_print_value (struct type *type, struct type *real_type,
                const gdb_byte *valaddr, int offset, CORE_ADDR address,
-               struct ui_file *stream, int format, int recurse,
-               enum val_prettyprint pretty, struct type **dont_print_vb)
+               struct ui_file *stream, int recurse,
+               const struct value_print_options *options,
+               struct type **dont_print_vb)
 {
   struct type **last_dont_print
     = (struct type **) obstack_next_free (&dont_print_vb_obstack);
@@ -465,53 +371,39 @@ cp_print_value (struct type *type, struct type *real_type,
 
       thisoffset = offset;
       thistype = real_type;
-      if (TYPE_HAS_VTABLE (type) && BASETYPE_VIA_VIRTUAL (type, i))
-       {
-         /* Assume HP/Taligent runtime convention */
-         find_rt_vbase_offset (type, TYPE_BASECLASS (type, i),
-                               valaddr, offset, &boffset, &skip);
-         if (skip >= 0)
-           error (_("Virtual base class offset not found from vtable while"
-                  " printing"));
-         base_valaddr = valaddr;
-       }
-      else
+
+      boffset = baseclass_offset (type, i, valaddr + offset, address);
+      skip = ((boffset == -1) || (boffset + offset) < 0) ? 1 : -1;
+
+      if (BASETYPE_VIA_VIRTUAL (type, i))
        {
-         boffset = baseclass_offset (type, i,
-                                     valaddr + offset,
-                                     address);
-         skip = ((boffset == -1) || (boffset + offset) < 0) ? 1 : -1;
+         /* The virtual base class pointer might have been
+            clobbered by the user program. Make sure that it
+            still points to a valid memory location.  */
 
-         if (BASETYPE_VIA_VIRTUAL (type, i))
+         if (boffset != -1
+             && ((boffset + offset) < 0
+                 || (boffset + offset) >= TYPE_LENGTH (type)))
            {
-             /* The virtual base class pointer might have been
-                clobbered by the user program. Make sure that it
-                still points to a valid memory location.  */
-
-             if (boffset != -1
-                 && ((boffset + offset) < 0
-                     || (boffset + offset) >= TYPE_LENGTH (type)))
-               {
-                 /* FIXME (alloca): unsafe if baseclass is really really large. */
-                 gdb_byte *buf = alloca (TYPE_LENGTH (baseclass));
-                 base_valaddr = buf;
-                 if (target_read_memory (address + boffset, buf,
-                                         TYPE_LENGTH (baseclass)) != 0)
-                   skip = 1;
-                 address = address + boffset;
-                 thisoffset = 0;
-                 boffset = 0;
-                 thistype = baseclass;
-               }
-             else
-               base_valaddr = valaddr;
+             /* FIXME (alloca): unsafe if baseclass is really really large. */
+             gdb_byte *buf = alloca (TYPE_LENGTH (baseclass));
+             base_valaddr = buf;
+             if (target_read_memory (address + boffset, buf,
+                                     TYPE_LENGTH (baseclass)) != 0)
+               skip = 1;
+             address = address + boffset;
+             thisoffset = 0;
+             boffset = 0;
+             thistype = baseclass;
            }
          else
            base_valaddr = valaddr;
        }
+      else
+       base_valaddr = valaddr;
 
       /* now do the printing */
-      if (pretty)
+      if (options->pretty)
        {
          fprintf_filtered (stream, "\n");
          print_spaces_filtered (2 * recurse, stream);
@@ -528,8 +420,7 @@ cp_print_value (struct type *type, struct type *real_type,
       else
        cp_print_value_fields (baseclass, thistype, base_valaddr,
                               thisoffset + boffset, address + boffset,
-                              stream, format,
-                              recurse, pretty,
+                              stream, recurse, options,
                               ((struct type **)
                                obstack_base (&dont_print_vb_obstack)),
                               0);
@@ -556,17 +447,17 @@ cp_print_value (struct type *type, struct type *real_type,
    static member classes in an obstack and refuse to print them more
    than once.
 
-   VAL contains the value to print, TYPE, STREAM, RECURSE, and PRETTY
+   VAL contains the value to print, TYPE, STREAM, RECURSE, and OPTIONS
    have the same meanings as in c_val_print.  */
 
 static void
 cp_print_static_field (struct type *type,
                       struct value *val,
                       struct ui_file *stream,
-                      int format,
                       int recurse,
-                      enum val_prettyprint pretty)
+                      const struct value_print_options *options)
 {
+  struct value_print_options opts;
   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
     {
       CORE_ADDR *first_dont_print;
@@ -594,12 +485,15 @@ cp_print_static_field (struct type *type,
       CHECK_TYPEDEF (type);
       cp_print_value_fields (type, type, value_contents_all (val),
                             value_embedded_offset (val), VALUE_ADDRESS (val),
-                            stream, format, recurse, pretty, NULL, 1);
+                            stream, recurse, options, NULL, 1);
       return;
     }
+
+  opts = *options;
+  opts.deref_ref = 0;
   val_print (type, value_contents_all (val), 
             value_embedded_offset (val), VALUE_ADDRESS (val),
-            stream, format, 0, recurse, pretty);
+            stream, recurse, &opts, current_language);
 }
 
 
@@ -649,16 +543,16 @@ cp_find_class_member (struct type **domain_p, int *fieldno,
 }
 
 void
-cp_print_class_member (const gdb_byte *valaddr, struct type *domain,
+cp_print_class_member (const gdb_byte *valaddr, struct type *type,
                       struct ui_file *stream, char *prefix)
 {
   /* VAL is a byte offset into the structure type DOMAIN.
      Find the name of the field for that offset and
      print it.  */
+  struct type *domain = TYPE_DOMAIN_TYPE (type);
+  LONGEST val = extract_signed_integer (valaddr, TYPE_LENGTH (type));
   unsigned int fieldno;
 
-  LONGEST val = unpack_long (builtin_type_long, valaddr);
-
   /* Pointers to data members are usually byte offsets into an object.
      Because a data member can have offset zero, and a NULL pointer to
      member must be distinct from any valid non-NULL pointer to
@@ -694,105 +588,33 @@ cp_print_class_member (const gdb_byte *valaddr, struct type *domain,
 }
 
 
-/* This function prints out virtual table entries for a class; it
- * recurses on the base classes to find all virtual functions
- * available in a class.
- *
- * pai/1997-05-21 Note: As the name suggests, it's currently
- * implemented for HP aCC runtime only. g++ objects are handled
- * differently and I have made no attempt to fold that logic in
- * here. The runtime layout is different for the two cases.  Also,
- * this currently has only the code for non-RRBC layouts generated by
- * the HP aCC compiler; RRBC code is stubbed out and will have to be
- * added later. */
-
-
-static void
-cp_print_hpacc_virtual_table_entries (struct type *type, int *vfuncs,
-                                     struct value *v, struct ui_file *stream,
-                                     int format, int recurse,
-                                     enum val_prettyprint pretty)
-{
-  int fn, oi;
-
-  /* pai: FIXME this function doesn't work. It should handle a given
-   * virtual function only once (latest redefinition in class hierarchy)
-   */
-
-  /* Recursion on other classes that can share the same vtable */
-  struct type *pbc = primary_base_class (type);
-  if (pbc)
-    cp_print_hpacc_virtual_table_entries (pbc, vfuncs, v, stream, format,
-                                         recurse, pretty);
-
-  /* Now deal with vfuncs declared in this class */
-  for (fn = 0; fn < TYPE_NFN_FIELDS (type); fn++)
-    for (oi = 0; oi < TYPE_FN_FIELDLIST_LENGTH (type, fn); oi++)
-      if (TYPE_FN_FIELD_VIRTUAL_P (TYPE_FN_FIELDLIST1 (type, fn), oi))
-       {
-         char *vf_name;
-         const char *field_physname;
-
-         /* virtual function offset */
-         int vx = (TYPE_FN_FIELD_VOFFSET (TYPE_FN_FIELDLIST1 (type, fn), oi)
-                   - 1);
-
-         /* Get the address of the vfunction entry */
-         struct value *vf = value_copy (v);
-         if (value_lazy (vf))
-           (void) value_fetch_lazy (vf);
-         /* adjust by offset */
-         /* NOTE: cagney/2005-01-02: THIS IS BOGUS.  */
-         value_contents_writeable (vf)[0] += 4 * (HP_ACC_VFUNC_START + vx);
-         vf = value_ind (vf);  /* get the entry */
-         /* make it a pointer */
-         deprecated_set_value_type (vf, value_type (v));
-
-         /* print out the entry */
-         common_val_print (vf, stream, format, 0, recurse + 1, pretty);
-         field_physname
-           = TYPE_FN_FIELD_PHYSNAME (TYPE_FN_FIELDLIST1 (type, fn), oi);
-         /* pai: (temp) FIXME Maybe this should be DMGL_ANSI */
-         vf_name = cplus_demangle (field_physname, DMGL_ARM);
-         fprintf_filtered (stream, " %s", vf_name);
-         xfree (vf_name);
-         if (--(*vfuncs) > 0)
-           fputs_filtered (", ", stream);
-       }
-}
-
-
-
 void
 _initialize_cp_valprint (void)
 {
   add_setshow_boolean_cmd ("static-members", class_support,
-                          &static_field_print, _("\
+                          &user_print_options.static_field_print, _("\
 Set printing of C++ static members."), _("\
 Show printing of C++ static members."), NULL,
                           NULL,
                           show_static_field_print,
                           &setprintlist, &showprintlist);
-  /* Turn on printing of static fields.  */
-  static_field_print = 1;
 
-  add_setshow_boolean_cmd ("vtbl", class_support, &vtblprint, _("\
+  add_setshow_boolean_cmd ("vtbl", class_support,
+                          &user_print_options.vtblprint, _("\
 Set printing of C++ virtual function tables."), _("\
 Show printing of C++ virtual function tables."), NULL,
                           NULL,
                           show_vtblprint,
                           &setprintlist, &showprintlist);
 
-  add_setshow_boolean_cmd ("object", class_support, &objectprint, _("\
+  add_setshow_boolean_cmd ("object", class_support,
+                          &user_print_options.objectprint, _("\
 Set printing of object's derived type based on vtable info."), _("\
 Show printing of object's derived type based on vtable info."), NULL,
                           NULL,
                           show_objectprint,
                           &setprintlist, &showprintlist);
 
-  /* Give people the defaults which they are used to.  */
-  objectprint = 0;
-  vtblprint = 0;
   obstack_begin (&dont_print_vb_obstack, 32 * sizeof (struct type *));
   obstack_specify_allocation (&dont_print_statmem_obstack,
                              32 * sizeof (CORE_ADDR), sizeof (CORE_ADDR),