Robert Kennedy wrote on 12/21/06 11:37:
The situation is that some SSA_NAMEs are disused (removed from the
code) without being released onto the free list by
release_ssa_name().
Yes, it happens if a name is put into the set of names to be updated by
update_ssa.
After update_ssa, it should be true that every SSA name with no
SSA_NAME_DEF_STMT is in the free list.
However, if we have SSA names with no defining statement that are still
in considered active, I would hardly consider it a serious bug. It's a
waste of memory, which you are more than welcome to fix, but it should
not cause correctness issues.
Please discuss.
Test case?
