[PATCH] Clean up the gimple type verifier [2/2]

[Tobias Burnus]

Richard Guenther wrote:
>>> This splits apart and "completes" verifying of GIMPLE_ASSIGN.  
>>> Unfortunately during the time the checks were incomplete/disabled
>>> we have gathered some new problems (maybe due to tuplification of
>>> the gimplifier, I'll have to investigate).
>>>
>>> Bootstrapped on x86_64-unknown-linux-gnu, the C testsuite is clean,
>>> as are the Ada, java, objc and libstdc++ ones.  C++ has got one
>>> problem (back?):
>>>       
> The following patch is an update which addresses all frontend issues
> in addition to doing the GIMPLE_ASSIGN verifier split-up.
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu, ok for trunk?
>   

The Fortran bits are OK. Thanks for providing the type-verifier and the 
Fortran fixing patches.

Tobias