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