[Soot-list] patch to fix bug in SSA Phi Node Placement

[Phil Pratt-Szeliga]

Hello,

This is a patch to fix a bug in SSA Phi Node Placement. Running the
attached test case with no external Transformers causes a validation
error by the Java runtime. The patch makes node placement more in the
spirit of Cytron's original paper [1]. To eliminate extra phi nodes,
the patch does not place phi nodes is a local is only defined in one
block. The produced Jimple is comparatively as clean as before, but
without the bug.

Phil Pratt-Szeliga
Syracuse University

[1] Paper can be found here: http://www.cs.wustl.edu/~cytron/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: BugTrigger.java
Type: application/octet-stream
Size: 851 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120426/8c2db915/attachment.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ssa.patch
Type: application/octet-stream
Size: 5278 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120426/8c2db915/attachment-0001.obj