[Soot-list] How does Jimple preserve semantics with its partial SSA without Phi-node mechanism?? (with an example illustrating my idea)

[Eric Bodden]

> Jimple is not SSA, but I think it is somewhat SSA because local variables
> have unique name whenver possible. Right?

No, not even that is true. It really depends on what you do to the
Jimple. In Soot there are a LocalSplitter and a LocalPacker. The
LocalSplitter will go from...

x=1;
x=2;

... to ...

x$1 = 1;
x$2 = 1;

and the LocalPacker will do the opposite. So it really depends.

Eric