This is the mail archive of the
mailing list for the GCC project.
Re: C++ PATCH: PR 16405
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: ebotcazou at libertysurf dot fr, gcc-patches at gcc dot gnu dot org
- Date: Fri, 24 Dec 2004 22:19:46 -0800
- Subject: Re: C++ PATCH: PR 16405
- Organization: CodeSourcery, LLC
- References: <10412241502.AA14924@vlsi1.ultra.nyu.edu>
Richard Kenner wrote:
Well, in Ada we have "aligning" nodes that explicitly step up the
alignment of an expression that is known to be over-aligned, but for
which this can't be deduced from the expression itself. Removing
these nodes may lead to the creation of unwanted temporaries later.
Just so this doesn't seem totally obscure, the case is where we have a
classwide type, some subtype has a stricter alignment, and we've now
determined that the object is a member of the subtype via its tag. That
means that we know that it's aligned stricter than its type would otherwise
indicate, so when we convert it to the more aligned type, we can operate as
if it had that alignment.
Are the two versions of the type type_compatible_p?