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: RFA: PATCH to make fold_indirect_ref_1 fold more things

From: Jason Merrill <jason at redhat dot com>
To: Richard Guenther <richard dot guenther at gmail dot com>
Cc: gcc-patches List <gcc-patches at gcc dot gnu dot org>
Date: Thu, 28 Oct 2010 08:45:42 -0400
Subject: Re: RFA: PATCH to make fold_indirect_ref_1 fold more things
References: <4CC7579A.6020408@redhat.com> <AANLkTikeUb3v2EATe5tUoxU6+2xcsFhja4fJ93UFz2s8@mail.gmail.com>

On 10/27/2010 02:29 PM, Richard Guenther wrote:

On Tue, Oct 26, 2010 at 6:35 PM, Jason Merrill<jason@redhat.com> wrote:
For constexpr I need to be able to fold some tree forms that
fold_indirect_ref_1 didn't handle; this patch extends it to handle folding
POINTER_PLUS_EXPR to an ARRAY_REF, and also folding to COMPONENT_REF.
I think by making this kind of transforms you are prone to bugs like PR44468.

Ah, interesting. But it seems to me that this case is different because we are starting from an ADDR_EXPR around an expression of the aggregate type in the folded expression, not just any pointer to the aggregate type. What do you think?

Jason

Follow-Ups:
- Re: RFA: PATCH to make fold_indirect_ref_1 fold more things
  - From: Richard Guenther

References:
- RFA: PATCH to make fold_indirect_ref_1 fold more things
  - From: Jason Merrill
- Re: RFA: PATCH to make fold_indirect_ref_1 fold more things
  - From: Richard Guenther

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