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: [PATCH] Fix PR22371, enable type-checking for all stages

From: "Richard Guenther" <richard dot guenther at gmail dot com>
To: "Eric Botcazou" <ebotcazou at adacore dot com>
Cc: "Richard Guenther" <rguenther at suse dot de>, gcc-patches at gcc dot gnu dot org, dnovillo at google dot com
Date: Wed, 26 Mar 2008 21:22:03 +0100
Subject: Re: [PATCH] Fix PR22371, enable type-checking for all stages
References: <Pine.LNX.4.64.0803241516300.4133@zhemvz.fhfr.qr> <200803261947.03669.ebotcazou@adacore.com> <84fc9c000803261300y448dd6bdr41f783f8846a894e@mail.gmail.com> <200803262119.53452.ebotcazou@adacore.com>

On Wed, Mar 26, 2008 at 9:19 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
> > I think get_unwidened should not do this as I do not see any reason why it
>  > should.  So no, please do not weaken the verifier this way.
>
>  This stuff dates back to RMS' days, maybe it's indeed time to get rid of it.

Yeah, it looks like we should try deleting the whole

  if (TREE_CODE (op) == COMPONENT_REF

block.  A patch that does this and bootstraps/tests ok is pre-approved.

Thanks,
Richard.

References:
- [PATCH] Fix PR22371, enable type-checking for all stages
  - From: Richard Guenther
- Re: [PATCH] Fix PR22371, enable type-checking for all stages
  - From: Eric Botcazou
- Re: [PATCH] Fix PR22371, enable type-checking for all stages
  - From: Richard Guenther
- Re: [PATCH] Fix PR22371, enable type-checking for all stages
  - From: Eric Botcazou

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