Tue Oct 31 10:42:42 1995 steve chamberlain <sac@slash.cygnus.com>
[deliverable/binutils-gdb.git] / gdb / cp-valprint.c
index 3e4068560f8e4a9a8458787293b9d1e8c7612c3e..cede47cffe79ddb068c517523b2d9c953f76d533 100644 (file)
@@ -1,5 +1,6 @@
 /* Support for printing C++ values for GDB, the GNU debugger.
-   Copyright 1986, 1988, 1989, 1991 Free Software Foundation, Inc.
+   Copyright 1986, 1988, 1989, 1991, 1994, 1995
+   Free Software Foundation, Inc.
 
 This file is part of GDB.
 
@@ -15,7 +16,7 @@ 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., 675 Mass Ave, Cambridge, MA 02139, USA.  */
+Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
 
 #include "defs.h"
 #include "obstack.h"
@@ -26,50 +27,48 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #include "command.h"
 #include "gdbcmd.h"
 #include "demangle.h"
+#include "annotate.h"
+#include "gdb_string.h"
 
 int vtblprint;                 /* Controls printing of vtbl's */
 int objectprint;               /* Controls looking up an object's derived type
                                   using what we find in its vtables.  */
-struct obstack dont_print_obstack;
+static int static_field_print; /* Controls printing of static fields. */
+
+static struct obstack dont_print_vb_obstack;
+static struct obstack dont_print_statmem_obstack;
+
+static void
+cp_print_static_field PARAMS ((struct type *, value_ptr, GDB_FILE *, int, int,
+                              enum val_prettyprint));
 
 static void
-cplus_print_value PARAMS ((struct type *, char *, FILE *, int, int,
+cplus_print_value PARAMS ((struct type *, char *, GDB_FILE *, int, int,
                           enum val_prettyprint, struct type **));
 
 /* BEGIN-FIXME:  Hooks into typeprint.c, find a better home for prototypes. */
 
 extern void
-c_type_print_base PARAMS ((struct type *, FILE *, int, int));
+c_type_print_base PARAMS ((struct type *, GDB_FILE *, int, int));
 
 extern void
-c_type_print_varspec_prefix PARAMS ((struct type *, FILE *, int, int));
+c_type_print_varspec_prefix PARAMS ((struct type *, GDB_FILE *, int, int));
 
 extern void
 cp_type_print_method_args PARAMS ((struct type **, char *, char *, int,
-                                  FILE *));
-
-extern struct obstack dont_print_obstack;
+                                  GDB_FILE *));
 
 /* END-FIXME */
 
-
-/* BEGIN-FIXME:  Hooks into c-valprint.c */
-
-extern int
-c_val_print PARAMS ((struct type *, char *, CORE_ADDR, FILE *, int, int, int,
-                    enum val_prettyprint));
-/* END-FIXME */
-
-
 void
 cp_print_class_method (valaddr, type, stream)
      char *valaddr;
      struct type *type;
-     FILE *stream;
+     GDB_FILE *stream;
 {
   struct type *domain;
-  struct fn_field *f;
-  int j;
+  struct fn_field *f = NULL;
+  int j = 0;
   int len2;
   int offset;
   char *kind = "";
@@ -78,7 +77,13 @@ cp_print_class_method (valaddr, type, stream)
   unsigned len;
   unsigned int i;
 
+  check_stub_type (TYPE_TARGET_TYPE (type));
   domain = TYPE_DOMAIN_TYPE (TYPE_TARGET_TYPE (type));
+  if (domain == (struct type *)NULL)
+    {
+      fprintf_filtered (stream, "<unknown>");
+      return;
+    }
   addr = unpack_pointer (lookup_pointer_type (builtin_type_void), valaddr);
   if (METHOD_PTR_IS_VIRTUAL (addr))
     {
@@ -116,6 +121,8 @@ cp_print_class_method (valaddr, type, stream)
          for (j = 0; j < len2; j++)
            {
              QUIT;
+             if (TYPE_FN_FIELD_STUB (f, j))
+               check_stub_method (domain, i, j);
              if (STREQ (SYMBOL_NAME (sym), TYPE_FN_FIELD_PHYSNAME (f, j)))
                {
                  goto common;
@@ -128,7 +135,7 @@ cp_print_class_method (valaddr, type, stream)
     {
       fprintf_filtered (stream, "&");
       c_type_print_varspec_prefix (TYPE_FN_FIELD_TYPE (f, j), stream, 0, 0);
-      fprintf (stream, kind);
+      fprintf_unfiltered (stream, kind);
       if (TYPE_FN_FIELD_PHYSNAME (f, j)[0] == '_'
          && TYPE_FN_FIELD_PHYSNAME (f, j)[1] == CPLUS_MARKER)
        {
@@ -151,6 +158,13 @@ cp_print_class_method (valaddr, type, stream)
     }
 }
 
+/* This was what it was for gcc 2.4.5 and earlier.  */
+static const char vtbl_ptr_name_old[] =
+  { CPLUS_MARKER,'v','t','b','l','_','p','t','r','_','t','y','p','e', 0 };
+/* It was changed to this after 2.4.5.  */
+const char vtbl_ptr_name[] =
+  { '_','_','v','t','b','l','_','p','t','r','_','t','y','p','e', 0 };
+
 /* Return truth value for assertion that TYPE is of the type
    "pointer to virtual function".  */
 
@@ -159,10 +173,10 @@ cp_is_vtbl_ptr_type(type)
      struct type *type;
 {
   char *typename = type_name_no_tag (type);
-  static const char vtbl_ptr_name[] =
-    { CPLUS_MARKER,'v','t','b','l','_','p','t','r','_','t','y','p','e', 0 };
 
-  return (typename != NULL && STREQ(typename, vtbl_ptr_name));
+  return (typename != NULL
+         && (STREQ (typename, vtbl_ptr_name)
+             || STREQ (typename, vtbl_ptr_name_old)));
 }
 
 /* Return truth value for the assertion that TYPE is of the type
@@ -173,14 +187,20 @@ cp_is_vtbl_member(type)
      struct type *type;
 {
   if (TYPE_CODE (type) == TYPE_CODE_PTR)
-    type = TYPE_TARGET_TYPE (type);
-  else
-    return 0;
-
-  if (TYPE_CODE (type) == TYPE_CODE_ARRAY
-      && TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_STRUCT)
-    /* Virtual functions tables are full of pointers to virtual functions.  */
-    return cp_is_vtbl_ptr_type (TYPE_TARGET_TYPE (type));
+    {
+      type = TYPE_TARGET_TYPE (type);
+      if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
+       {
+         type = TYPE_TARGET_TYPE (type);
+         if (TYPE_CODE (type) == TYPE_CODE_STRUCT /* if not using thunks */
+             || TYPE_CODE (type) == TYPE_CODE_PTR) /* if using thunks */
+           {
+             /* Virtual functions tables are full of pointers
+                to virtual functions. */
+             return cp_is_vtbl_ptr_type (type);
+           }
+       }
+    }
   return 0;
 }
 
@@ -195,16 +215,19 @@ cp_is_vtbl_member(type)
 
 void
 cp_print_value_fields (type, valaddr, stream, format, recurse, pretty,
-                      dont_print)
+                      dont_print_vb, dont_print_statmem)
      struct type *type;
      char *valaddr;
-     FILE *stream;
+     GDB_FILE *stream;
      int format;
      int recurse;
      enum val_prettyprint pretty;
-     struct type **dont_print;
+     struct type **dont_print_vb;
+     int dont_print_statmem;
 {
   int i, len, n_baseclasses;
+  struct obstack tmp_obstack;
+  char *last_dont_print = obstack_next_free (&dont_print_statmem_obstack);
 
   check_stub_type (type);
 
@@ -216,7 +239,7 @@ cp_print_value_fields (type, valaddr, stream, format, recurse, pretty,
      duplicates of virtual baseclasses.  */
   if (n_baseclasses > 0)
     cplus_print_value (type, valaddr, stream, format, recurse+1, pretty,
-                      dont_print);
+                      dont_print_vb);
 
   if (!len && n_baseclasses == 1)
     fprintf_filtered (stream, "<No data fields>");
@@ -225,10 +248,19 @@ cp_print_value_fields (type, valaddr, stream, format, recurse, pretty,
       extern int inspect_it;
       int fields_seen = 0;
 
+      if (dont_print_statmem == 0)
+       {
+         /* If we're at top level, carve out a completely fresh
+            chunk of the obstack and use that until this particular
+            invocation returns.  */
+         tmp_obstack = dont_print_statmem_obstack;
+         obstack_finish (&dont_print_statmem_obstack);
+       }
+
       for (i = n_baseclasses; i < len; i++)
        {
-         /* Check if static field */
-         if (TYPE_FIELD_STATIC (type, i))
+         /* If requested, skip printing of static fields.  */
+         if (!static_field_print && TYPE_FIELD_STATIC (type, i))
            continue;
          if (fields_seen)
            fprintf_filtered (stream, ", ");
@@ -260,6 +292,8 @@ cp_print_value_fields (type, valaddr, stream, format, recurse, pretty,
                fputs_filtered ("\"( ptr \"", stream);
              else
                fputs_filtered ("\"( nodef \"", stream);
+             if (TYPE_FIELD_STATIC (type, i))
+               fputs_filtered ("static ", stream);
              fprintf_symbol_filtered (stream, TYPE_FIELD_NAME (type, i),
                                       language_cplus,
                                       DMGL_PARAMS | DMGL_ANSI);
@@ -271,30 +305,78 @@ cp_print_value_fields (type, valaddr, stream, format, recurse, pretty,
            }
          else
            {
+             annotate_field_begin (TYPE_FIELD_TYPE (type, i));
+
+             if (TYPE_FIELD_STATIC (type, i))
+               fputs_filtered ("static ", stream);
              fprintf_symbol_filtered (stream, TYPE_FIELD_NAME (type, i),
                                       language_cplus,
                                       DMGL_PARAMS | DMGL_ANSI);
+             annotate_field_name_end ();
              fputs_filtered (" = ", stream);
+             annotate_field_value ();
            }
-         if (TYPE_FIELD_PACKED (type, i))
+
+         if (!TYPE_FIELD_STATIC (type, i) && TYPE_FIELD_PACKED (type, i))
            {
-             value v;
+             value_ptr v;
 
              /* Bitfields require special handling, especially due to byte
                 order problems.  */
-             v = value_from_longest (TYPE_FIELD_TYPE (type, i),
+             if (TYPE_FIELD_IGNORE (type, i))
+               {
+                  fputs_filtered ("<optimized out or zero length>", stream);
+               }
+             else
+               {
+                  v = value_from_longest (TYPE_FIELD_TYPE (type, i),
                                   unpack_field_as_long (type, valaddr, i));
 
-             c_val_print (TYPE_FIELD_TYPE (type, i), VALUE_CONTENTS (v), 0,
-                          stream, format, 0, recurse + 1, pretty);
+                   val_print (TYPE_FIELD_TYPE(type, i), VALUE_CONTENTS (v), 0,
+                             stream, format, 0, recurse + 1, pretty);
+               }
            }
          else
            {
-             c_val_print (TYPE_FIELD_TYPE (type, i), 
-                          valaddr + TYPE_FIELD_BITPOS (type, i) / 8,
-                          0, stream, format, 0, recurse + 1, pretty);
+             if (TYPE_FIELD_IGNORE (type, i))
+               {
+                  fputs_filtered ("<optimized out or zero length>", stream);
+               }
+             else if (TYPE_FIELD_STATIC (type, i))
+               {
+                 value_ptr v;
+                 char *phys_name = TYPE_FIELD_STATIC_PHYSNAME (type, i);
+                 struct symbol *sym =
+                     lookup_symbol (phys_name, 0, VAR_NAMESPACE, 0, NULL);
+                 if (sym == NULL)
+                   fputs_filtered ("<optimized out>", stream);
+                 else
+                   {
+                     v = value_at (TYPE_FIELD_TYPE (type, i),
+                                   (CORE_ADDR)SYMBOL_BLOCK_VALUE (sym));
+                     cp_print_static_field (TYPE_FIELD_TYPE (type, i), v,
+                                            stream, format, recurse + 1,
+                                            pretty);
+                   }
+               }
+             else
+               {
+                  val_print (TYPE_FIELD_TYPE (type, i), 
+                             valaddr + TYPE_FIELD_BITPOS (type, i) / 8,
+                             0, stream, format, 0, recurse + 1, pretty);
+               }
            }
+         annotate_field_end ();
        }
+
+      if (dont_print_statmem == 0)
+       {
+         /* Free the space used to deal with the printing
+            of the members from top level.  */
+         obstack_free (&dont_print_statmem_obstack, last_dont_print);
+         dont_print_statmem_obstack = tmp_obstack;
+       }
+
       if (pretty)
        {
          fprintf_filtered (stream, "\n");
@@ -308,55 +390,62 @@ cp_print_value_fields (type, valaddr, stream, format, recurse, pretty,
    baseclasses.  */
 
 static void
-cplus_print_value (type, valaddr, stream, format, recurse, pretty, dont_print)
+cplus_print_value (type, valaddr, stream, format, recurse, pretty,
+                  dont_print_vb)
      struct type *type;
      char *valaddr;
-     FILE *stream;
+     GDB_FILE *stream;
      int format;
      int recurse;
      enum val_prettyprint pretty;
-     struct type **dont_print;
+     struct type **dont_print_vb;
 {
   struct obstack tmp_obstack;
   struct type **last_dont_print
-    = (struct type **)obstack_next_free (&dont_print_obstack);
+    = (struct type **)obstack_next_free (&dont_print_vb_obstack);
   int i, n_baseclasses = TYPE_N_BASECLASSES (type);
 
-  if (dont_print == 0)
+  if (dont_print_vb == 0)
     {
       /* If we're at top level, carve out a completely fresh
         chunk of the obstack and use that until this particular
         invocation returns.  */
-      tmp_obstack = dont_print_obstack;
+      tmp_obstack = dont_print_vb_obstack;
       /* Bump up the high-water mark.  Now alpha is omega.  */
-      obstack_finish (&dont_print_obstack);
+      obstack_finish (&dont_print_vb_obstack);
     }
 
   for (i = 0; i < n_baseclasses; i++)
     {
+      /* FIXME-32x64--assumes that a target pointer can fit in a char *.
+        Fix it by nuking baseclass_addr.  */
       char *baddr;
       int err;
+      char *basename;
+
+      check_stub_type (TYPE_BASECLASS (type, i));
+      basename = TYPE_NAME (TYPE_BASECLASS (type, i));
 
       if (BASETYPE_VIA_VIRTUAL (type, i))
        {
          struct type **first_dont_print
-           = (struct type **)obstack_base (&dont_print_obstack);
+           = (struct type **)obstack_base (&dont_print_vb_obstack);
 
-         int j = (struct type **)obstack_next_free (&dont_print_obstack)
+         int j = (struct type **)obstack_next_free (&dont_print_vb_obstack)
            - first_dont_print;
 
          while (--j >= 0)
            if (TYPE_BASECLASS (type, i) == first_dont_print[j])
              goto flush_it;
 
-         obstack_ptr_grow (&dont_print_obstack, TYPE_BASECLASS (type, i));
+         obstack_ptr_grow (&dont_print_vb_obstack, TYPE_BASECLASS (type, i));
        }
 
       /* Fix to use baseclass_offset instead. FIXME */
       baddr = baseclass_addr (type, i, valaddr, 0, &err);
       if (err == 0 && baddr == 0)
-       error ("could not find virtual baseclass `%s'\n",
-              type_name_no_tag (TYPE_BASECLASS (type, i)));
+       error ("could not find virtual baseclass %s\n",
+              basename ? basename : "");
 
       if (pretty)
        {
@@ -364,36 +453,94 @@ cplus_print_value (type, valaddr, stream, format, recurse, pretty, dont_print)
          print_spaces_filtered (2 * recurse, stream);
        }
       fputs_filtered ("<", stream);
-      fputs_filtered (type_name_no_tag (TYPE_BASECLASS (type, i)), stream);
+      /* Not sure what the best notation is in the case where there is no
+        baseclass name.  */
+      fputs_filtered (basename ? basename : "", stream);
       fputs_filtered ("> = ", stream);
       if (err != 0)
-       fprintf_filtered (stream, "<invalid address 0x%x>", baddr);
+       {
+         fprintf_filtered (stream, "<invalid address ");
+         print_address_numeric ((CORE_ADDR) baddr, 1, stream);
+         fprintf_filtered (stream, ">");
+       }
       else
        cp_print_value_fields (TYPE_BASECLASS (type, i), baddr, stream, format,
                               recurse, pretty,
-                              (struct type **) obstack_base (&dont_print_obstack));
+                              (struct type **) obstack_base (&dont_print_vb_obstack),
+                              0);
       fputs_filtered (", ", stream);
 
     flush_it:
       ;
     }
 
-  if (dont_print == 0)
+  if (dont_print_vb == 0)
     {
       /* Free the space used to deal with the printing
         of this type from top level.  */
-      obstack_free (&dont_print_obstack, last_dont_print);
+      obstack_free (&dont_print_vb_obstack, last_dont_print);
       /* Reset watermark so that we can continue protecting
         ourselves from whatever we were protecting ourselves.  */
-      dont_print_obstack = tmp_obstack;
+      dont_print_vb_obstack = tmp_obstack;
+    }
+}
+
+/* Print value of a static member.
+   To avoid infinite recursion when printing a class that contains
+   a static instance of the class, we keep the addresses of all printed
+   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
+   have the same meanings as in c_val_print.  */
+
+static void
+cp_print_static_field (type, val, stream, format, recurse, pretty)
+     struct type *type;
+     value_ptr val;
+     GDB_FILE *stream;
+     int format;
+     int recurse;
+     enum val_prettyprint pretty;
+{
+  if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
+    {
+      CORE_ADDR *first_dont_print;
+      int i;
+
+      first_dont_print
+       = (CORE_ADDR *)obstack_base (&dont_print_statmem_obstack);
+      i = (CORE_ADDR *)obstack_next_free (&dont_print_statmem_obstack)
+       - first_dont_print;
+
+      while (--i >= 0)
+       {
+         if (VALUE_ADDRESS (val) == first_dont_print[i])
+           {
+             fputs_filtered ("<same as static member of an already seen type>",
+                             stream);
+             return;
+           }
+       }
+
+      obstack_grow (&dont_print_statmem_obstack, &VALUE_ADDRESS (val),
+                   sizeof (CORE_ADDR));
+
+      check_stub_type (type);
+      cp_print_value_fields (type, VALUE_CONTENTS (val),
+                            stream, format, recurse, pretty,
+                            NULL, 1);
+      return;
     }
+  val_print (type, VALUE_CONTENTS (val), VALUE_ADDRESS (val),
+            stream, format, 0, recurse, pretty);
 }
 
 void
 cp_print_class_member (valaddr, domain, stream, prefix)
      char *valaddr;
      struct type *domain;
-     FILE *stream;
+     GDB_FILE *stream;
      char *prefix;
 {
   
@@ -447,6 +594,15 @@ cp_print_class_member (valaddr, domain, stream, prefix)
 void
 _initialize_cp_valprint ()
 {
+  add_show_from_set
+    (add_set_cmd ("static-members", class_support, var_boolean,
+                 (char *)&static_field_print,
+                 "Set printing of C++ static members.",
+                 &setprintlist),
+     &showprintlist);
+  /* Turn on printing of static fields.  */
+  static_field_print = 1;
+
   add_show_from_set
     (add_set_cmd ("vtbl", class_support, var_boolean, (char *)&vtblprint,
                  "Set printing of C++ virtual function tables.",
@@ -462,5 +618,8 @@ _initialize_cp_valprint ()
   /* Give people the defaults which they are used to.  */
   objectprint = 0;
   vtblprint = 0;
-  obstack_begin (&dont_print_obstack, 32 * sizeof (struct type *));
+  obstack_begin (&dont_print_vb_obstack, 32 * sizeof (struct type *));
+  obstack_specify_allocation (&dont_print_statmem_obstack,
+                             32 * sizeof (CORE_ADDR), sizeof (CORE_ADDR),
+                             xmalloc, free);
 }
This page took 0.02989 seconds and 4 git commands to generate.