Robert Kennedy wrote on 12/21/06 15:01:
Something I forgot to add in my previous message. Notice that it is not
altogether rare to find cases where we have more SSA names than
statements. Are you walking the SSA names because you assume it's
always shorter than walking the statements?
No. I'm walking the SSA names because logically that's what the
algorithm is interested in. At that level, the algorithm doesn't care
about statements.
OK. Good enough. To fix this bug, I also suggest what Jeff and Ian
have been discussing:
1- A verifier in verify_ssa
2- Fix bugs found in #1 by making sure that every time we remove a
statement, the SSA_NAME_DEF_STMT of all the affected names is changed to
point to an empty statement.
