[PATCH] Fix PR22371, enable type-checking for all stages

[Paolo Bonzini]

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