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

[Richard Guenther]

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).

Richard.