From c940f36d6862730e5ef8576dd48dfc57868b99ab Mon Sep 17 00:00:00 2001 From: Richard Kenner Date: Mon, 4 Jun 2001 15:48:16 +0000 Subject: [PATCH] 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 --- gcc/ChangeLog | 3 +++ gcc/doc/c-tree.texi | 10 +++++++++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d387b24eaad..23f4a2c2920 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -29,6 +29,9 @@ Mon Jun 4 16:50:33 CEST 2001 Jan Hubicka Mon Jun 4 09:21:19 2001 Richard Kenner + * 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 ad9cb94f051..9a1ee2f863b 100644 --- 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. -- 2.30.2