* stabs.texinfo (Arrays): Talk about type definition vs. type

	information.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 3c15211956e13217835e85791088bb103e4a8e9d..613466a4cb1372eaed99bae3c09302ba009f9ccd 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,5 +1,8 @@
 Wed May 26 00:26:42 1993  Jim Kingdon  (kingdon@lioth.cygnus.com)
 
+       * stabs.texinfo (Arrays): Talk about type definition vs. type
+       information.
+
        * stabs.texinfo (Builtin Type Descriptors): Talk about omitting
        the trailing semicolon.
 

diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo
index ac82b0f245b74df699eb5ba405ab32e960d7cf66..04ed7875c5d433b66e395215fd1de31e45b2f47f 100644 (file)
--- a/gdb/doc/stabs.texinfo
+++ b/gdb/doc/stabs.texinfo
@@ -1610,6 +1610,16 @@ type is a range type, the extra semicolon can be omitted.  GDB (at least
 through version 4.9) doesn't support any kind of index type other than a
 range anyway; I'm not sure about dbx.
 
+It is well established, and widely used, that the type of the index,
+unlike most types found in the stabs, is merely a type definition
+(@pxref{Type Definitions}), not type information (@pxref{Stabs Format})
+(that is, it need not start with @var{type-number}@code{=} if it is
+defining a new type).  According to a comment in GDB, this is also true
+of the type of the array elements; it gives @samp{ar1;1;10;ar1;1;10;4}
+as a legitimate way to express a two dimensional array.  According to
+AIX documentation, the element type must be type information.  GDB
+accepts either.
+
 The type of the index is often a range type, expressed as the letter r
 and some parameters.  It defines the size of the array.  In the example
 below, the range @code{r1;0;2;} defines an index type which is a