On Mon, Feb 25, 2008 at 10:25, Fran Baena <franbaena@gmail.com> wrote: > If a name tag is associated to a ssa name, ¿when does it make sense to > version a name tag? (If it does) When there are no symbols in the pointer's points-to set. Diego.