[Soot-list] DeadAssignmentEliminator and assignments x=null

[Eric Bodden]

> As far I remember java spec, the result of your "test" is undetermined.

Yes, I remember that - thanks for pointing that out again, though. The
question is just whether we should change the probability of having
that value actually GC'ed or not. I guess it does not matter too much,
actually.

Eric

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada