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
This commit is contained in:
Richard Kenner 2001-06-04 15:48:16 +00:00 committed by Richard Kenner
parent 1007e271a3
commit c940f36d68
2 changed files with 12 additions and 1 deletions

View File

@ -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.

View File

@ -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.