On Thu, 2006-12-21 at 20:18 +0100, Zdenek Dvorak wrote:
> I think this might be a good idea. I think that this requires
> a lot of changes (basically going through all uses of bsi_remove
> and remove_phi_node and checking them), but it would be cleaner
> than the current situation.
Agreed. Tedious work, but it shouldn't be terribly difficult (famous
last words).
> It should be however easy to add verification to verify_ssa, so
> this project should be fairly straightforward (I hope).
The verify step is relatively simple.
FOR_EACH_BB
FOR_EACH_STMT
mark any SSA_NAMEs in stmt
FOR_EACH_SSA_NAME
if (!marked && !in_freelist)
checking failure
jeff
