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: Michael Matz <matz at suse dot de>
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 20:22:10 +0100 (CET)
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>

Hi,

On Wed, 26 Mar 2008, Eric Botcazou wrote:

> and this creates the type mismatch.  So I think that the verification 
> code should let it go through.
> 
> Lightly tested on i586-suse-linux, OK for mainline?

I don't know what would be the best solution here, but the verification 
code should not call back into the language front-end (via lang_hooks).  I 
know that it currently does anyway (via useless_type_conversion_p_1), but 
that eventually should go away, so adding more dependencies on the 
front-end isn't wise.

Ciao,
Michael.

Follow-Ups:
- Re: [PATCH] Fix PR22371, enable type-checking for all stages
  - From: Paolo Bonzini

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

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