2003-01-30 Andrew Cagney <ac131313@redhat.com>

	* stabs.texinfo (Member Type Descriptor): Clarify description of
	`@'.  Suggested by Ben Hutchings.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 36f115be965b766aa0ebea5a61a1ecd21af96a2d..30d09cc2c9484f8ecc82d2e8d58c2421be5e7033 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2003-01-30  Andrew Cagney  <ac131313@redhat.com>
+
+       * stabs.texinfo (Member Type Descriptor): Clarify description of
+       `@'.  Suggested by Ben Hutchings.
+
 2003-01-29  Andrew Cagney  <ac131313@redhat.com>
 
        * gdb.texinfo (Maintenance Commands): Document `maint print

diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo
index 52b88b47ff76e1db54a8ddea7ed7930a20708ce7..c334d45eb3d7449bfef99745b53bf5e88106ed73 100644 (file)
--- a/gdb/doc/stabs.texinfo
+++ b/gdb/doc/stabs.texinfo
@@ -2724,11 +2724,22 @@ compiler it can also be used in other contexts.
 @node Member Type Descriptor
 @section The @samp{@@} Type Descriptor
 
-The @samp{@@} type descriptor is for a member (class and variable) type.
-It is followed by type information for the offset basetype, a comma, and
-type information for the type of the field being pointed to.  (FIXME:
-this is acknowledged to be gibberish.  Can anyone say what really goes
-here?).
+The @samp{@@} type descriptor is used together with the @samp{*} type
+descriptor for a pointer-to-non-static-member-data type.  It is followed
+by type information for the class (or union), a comma, and type
+information for the member data.
+
+The following C++ source:
+
+@smallexample
+typedef int A::*int_in_a;
+@end smallexample
+
+generates the following stab:
+
+@smallexample
+.stabs "int_in_a:t20=*21=@@19,1",128,0,0,0
+@end smallexample
 
 Note that there is a conflict between this and type attributes
 (@pxref{String Field}); both use type descriptor @samp{@@}.