Strip interface tags from visible fields
authorJerome Guitton <guitton@adacore.com>
Thu, 29 Nov 2012 16:29:54 +0000 (16:29 +0000)
committerJerome Guitton <guitton@adacore.com>
Thu, 29 Nov 2012 16:29:54 +0000 (16:29 +0000)
The following Ada type:

   type Circle is new Shape and Drawable with record
        Center : Point;
        Radius : Natural;
   end record;

...is displayed as follow in GDB:

 (gdb) ptype circle
 type = new classes.shape with record
     V51s: ada.tags.interface_tag;
     center: classes.point;
     radius: natural;
 end record

V51s is an internal field that is of no interest for the user. It should
not be displayed.

gdb/ChangeLog:

* ada-lang.c (ada_is_interface_tag): New function.
(ada_is_ignored_field): Add interface tags to the list
of ignored fields.

gdb/ChangeLog
gdb/ada-lang.c

index 60d4dc3032c78b1965f1743cd9f2d860b69c6410..e552e4d3584081480ac98177dfa1d05adc44cbb9 100644 (file)
@@ -1,3 +1,9 @@
+2012-11-29  Jerome Guitton  <guitton@adacore.com>
+
+       * ada-lang.c (ada_is_interface_tag): New function.
+       (ada_is_ignored_field): Add interface tags to the list
+       of ignored fields.
+
 2012-11-29  Jerome Guitton  <guitton@adacore.com>
 
         * ada-lang.h (ada_tag_value_at_base_address): New function
index a34ba29dcadb80a430861784f8c03be4e3151f6f..deefcfb291e21813127d4812bcef0082e6af4b36 100644 (file)
@@ -5937,6 +5937,19 @@ ada_is_dispatch_table_ptr_type (struct type *type)
   return (strcmp (name, "ada__tags__dispatch_table") == 0);
 }
 
+/* Return non-zero if TYPE is an interface tag.  */
+
+static int
+ada_is_interface_tag (struct type *type)
+{
+  const char *name = TYPE_NAME (type);
+
+  if (name == NULL)
+    return 0;
+
+  return (strcmp (name, "ada__tags__interface_tag") == 0);
+}
+
 /* True if field number FIELD_NUM in struct or union type TYPE is supposed
    to be invisible to users.  */
 
@@ -5967,9 +5980,11 @@ ada_is_ignored_field (struct type *type, int field_num)
       return 1;
   }
 
-  /* If this is the dispatch table of a tagged type, then ignore.  */
+  /* If this is the dispatch table of a tagged type or an interface tag,
+     then ignore.  */
   if (ada_is_tagged_type (type, 1)
-      && ada_is_dispatch_table_ptr_type (TYPE_FIELD_TYPE (type, field_num)))
+      && (ada_is_dispatch_table_ptr_type (TYPE_FIELD_TYPE (type, field_num))
+         || ada_is_interface_tag (TYPE_FIELD_TYPE (type, field_num))))
     return 1;
 
   /* Not a special field, so it should not be ignored.  */