[patch] Call update_stmt in verify_ssa

[Andrew MacLeod]

On Thu, 2005-04-14 at 15:49, Zdenek Dvorak wrote:
> Hello,

> > > this does not seem like a good way to me.  This would need changes
> > > wherever verify_ssa is used.  Perhaps verify_ssa should instead check
> > > that all the operands are up-to-date?
> > > 
> > 
> > Another alternative , if you want to check that calling update_stmt
> > really DOESNT change anything in the operands cache at all, would be to
> > add a new routine to the operand code which we could call to rebuild the
> > stmt and compare it to the old operand cache, without actually changing
> > the stmt.  verify_stmt_up2date() or some such thing.
> > 
> > Does this sounds more like what you are interested in?
> 
> yes, this is exactly what I propose in the previous paragraph.

ah. I didn't quite get that on first reading.

I have a bunch of operand changes in the works, I'll try to roll that
into them

Andrew