[Soot-list] DeadAssignmentEliminator and assignments x=null

[Eric Bodden]

Today I noticed that the DeadAssignmentEliminator also eliminates
assignments of the form "x=null;". Such assignments, even if they are
dead, might however have a purpose: Clearing memory.

So should it be the default not to eliminate null-assignments? If so,
should there be a phase option to override this?

Eric

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