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

[Z]

Thanks!! That semicolon was really misleading..  You save me one day
debugging!!

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

Zell.


Jimple is not SSA, Shimple is. Jimple use a local variable for each value
> location (stack, variable).
>
> For your example, I believe the ; after the while condition is your bug.
> while (x<10);{
>
> --
> Quentin Sabah, CIFRE Ph.D. student
> Grenoble University
> INRIA-SARDES                   | STMicroelectronics/AST
> Montbonnot, France             | Grenoble, France
> mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
> phone: +33 476 61 52 42        | phone: +33 476 58 44 14
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120712/30136d5d/attachment.html