------- Comment #16 from dberlin at gcc dot gnu dot org 2006-03-23 20:12
-------
Subject: Re: [4.1/4.2 Regression] ACATS tests
c974001 and c974013 do not terminate with struct aliasing
On Thu, 2006-03-23 at 18:24 +0000, ebotcazou at gcc dot gnu dot org
wrote:
>
> ------- Comment #15 from ebotcazou at gcc dot gnu dot org 2006-03-23 18:24
> -------
> > The tree aliasing machinery appears to totally overlook the flag
> >
> > /* Used in a FIELD_DECL to indicate that we cannot form the address of
> > this component. */
> > #define DECL_NONADDRESSABLE_P(NODE) \
> > (FIELD_DECL_CHECK (NODE)->decl_common.decl_flag_3)
>
> Another one. :-)
>
> /* For an ARRAY_TYPE, indicates that it is not permitted to
> take the address of a component of the type. */
> #define TYPE_NONALIASED_COMPONENT(NODE) \
> (ARRAY_TYPE_CHECK (NODE)->type.transparent_union_flag)
Errr, but that would make it non-addressable, and thus, non-aliasable,
which is the exact opposite effect of what is causing the problem.
>
>
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737
