Re: Strange Question

[Navindra Umanee <navindra@cs.mcgill.ca>]

Welson Sun <welson@et.byu.edu> wrote:
> Hi, I have a strange question regarding the JimpleLocal.

This is a common question.  The short answer is that it's a feature,
not a bug.  You can turn it off from the commandline with "-p jb.ls off".

This behaviour is due to Soot's local splitter:

http://www.sable.mcgill.ca/soot/tutorial/phase/index.html#SECTION00021000000000000000

Think of it as SSA form, to the extent possible without introducing
Phi nodes. See Page 39 of Raja's thesis for more details and an
example of how it makes analysis easier:

http://www.sable.mcgill.ca/publications/thesis/masters-kor/sable-thesis-2000-masters-kor.ps

Cheers,
Navin.