This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs

From: Robert Dewar <dewar at adacore dot com>
To: Eric Botcazou <ebotcazou at adacore dot com>
Cc: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, gcc-patches at gcc dot gnu dot org, rguenther at suse dot de
Date: Mon, 09 Feb 2009 07:07:36 -0500
Subject: Re: Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs
References: <alpine.LNX.2.00.0902081520140.11836@zhemvz.fhfr.qr> <200902091240.29046.ebotcazou@adacore.com> <10902091153.AA07220@vlsi1.ultra.nyu.edu> <200902091301.40368.ebotcazou@adacore.com>

Eric Botcazou wrote:

I'm not sure what "consistent" means, but it seems to me that if you want
to access an array as a whole, you want the alias set of the array itself.
Why would the alias set of the component be used?
The alias set of the array type is equal to that of its component, i.e. the first call to get_alias_set on an array without TYPE_NONALIASED_COMPONENT sets the alias set of the component on this array.

Makes sense to me!

References:
- Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs
  - From: Richard Guenther
- Re: Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs
  - From: Eric Botcazou
- Re: Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs
  - From: Richard Kenner
- Re: Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs
  - From: Eric Botcazou

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]