This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PR 6212
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, "rth at redhat dot com" <rth at redhat dot com>
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Tue, 07 May 2002 10:14:49 -0700
- Subject: Re: PR 6212
- References: <10205071217.AA24901@vlsi1.ultra.nyu.edu>
--On Tuesday, May 07, 2002 08:17:13 AM -0400 Richard Kenner
<kenner@vlsi1.ultra.nyu.edu> wrote:
> I think the following will do the job. It adds the alignment
> based on the type of the dereference, not based on the form of
> the index.
>
> That's somewhat of a change in strategy from the way it's been done,
> but I agree it's best we can do now. For 3.2, I'd like to do all the
> computations based on expressions, not types, but this seems like a
> good compromise for now.
Why? The C standard makes certain guarantees about alignment based on
types; if you get a stronger constraint that way then you get from
expression analysis, you should definitely use the constraint from the
type.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com