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

[Andrew Haley]

Richard Guenther wrote:
> On Thu, 4 Sep 2008, Richard Guenther wrote:
> 
>> On Thu, 4 Sep 2008, Richard Guenther wrote:
>>
>>> On Wed, 3 Sep 2008, 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?
> 
> I have committed the gimplify.c parts to address two open PRs, the
> C++ and Java parts are still awaiting approval (and are required for
> the verification changes to go in).

I already approved the Java part in
http://gcc.gnu.org/ml/gcc-patches/2008-09/msg00467.html

Andrew.