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

[Michael Matz]

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.