c-tree.texi (ARRAY_REF): Say what type of expression must be.

	* doc/c-tree.texi (ARRAY_REF): Say what type of expression must be.
	(ARRAY_RANGE_REF): Added description.

From-SVN: r42855

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d387b24eaad76e9fcf4b818d76cb0e3368fd16d5..23f4a2c292055aac3ea6afc9cf62728f0e6daca2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -29,6 +29,9 @@ Mon Jun  4 16:50:33 CEST 2001  Jan Hubicka  <jh@suse.cz>
 
 Mon Jun  4 09:21:19 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
+       * doc/c-tree.texi (ARRAY_REF): Say what type of expression must be.
+       (ARRAY_RANGE_REF): Added description.
+
        * tree.def (ARRAY_RANGE_REF): New code.
        * alias.c (handled_component_p, can_address_p): Handle it.
        * dwarf2out.c (loc_descriptor_from_tree): Likewise.

diff --git a/gcc/doc/c-tree.texi b/gcc/doc/c-tree.texi
index ad9cb94f05190593d1692f22c5701965aef252bb..9a1ee2f863ba5ef1aa475f963da17e544a33c875 100644 (file)
--- a/gcc/doc/c-tree.texi
+++ b/gcc/doc/c-tree.texi
@@ -2017,7 +2017,15 @@ always @code{a - a/b} where the division is as if computed by a
 These nodes represent array accesses.  The first operand is the array;
 the second is the index.  To calculate the address of the memory
 accessed, you must scale the index by the size of the type of the array
-elements.
+elements.  The type of these expressions must be the type of a component of
+the array.
+
+@item ARRAY_RANGE_REF
+These nodes represent access to a range (or ``slice'') of an array.  The
+operands are the same as that for @code{ARRAY_REF} and have the same
+meanings.  The type of these expressions must be an array whose component
+type is the same as that of the first operand.  The range of that array
+type determines the amount of data these expressions access.
 
 @item EXACT_DIV_EXPR
 Document.