This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR22371, enable type-checking for all stages
Michael Matz wrote:
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.
I don't think this patch is that ugly. type_for_size is one of the
hooks that in theory could go away sooner than later (of course there
are some patches to remove other langhooks, that are waiting for review...).
Paolo