On Thursday 01 December 2005 19:57, Joern RENNECKE wrote: > > and there are better algorithms to > >do that. > > Which ones do you have in mind? I was already thinking about using the tree-ssa value numbering framework for this. Gr. Steven