This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Tree-SSA self checking infrastructure
> 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
>