Tree-SSA self checking infrastructure

[Jan Hubicka]

> In message <20031119203653.GT16923@atrey.karlin.mff.cuni.cz>, Jan Hubicka write
> s:
>  >I see, thanks.  Still this breaks the symmetricity only.
>  >With transitivity, we still shall be able to verify that we have useless
>  >conversion from PLUS_EXPR into it's operands, for instance.
>  >Even that appears to be broken at the moment. Why?
> I don't know.  As I said I have a todo to look at it, but haven't had
> the time.  I would certainly appreciate it if you could poke at it a
> little.
OK, I will add it into my TODO too after the other checks I have better
idea about and lets see who will get it first :)
Honza
> 
> Jeff
>