[Soot-list] Return Stmt

[Eric Bodden]

No, sorry but that's not at all true. There can be finitely many
return statements per body. However, the abc compiler
(www.aspectbench.org) has the class Restructure that implements the
method restructureReturn(SootMethod). After applying this method, the
invariant holds. I have the class attached for your conveninence.
However, please respect the appropriate licensing terms in the header
(LGPL) if making use of it.

Cheers,
Eric

On 10/05/07, Mario Mendez <mario at cs.unm.edu> wrote:
> Can your confirm that the invariant "if a return statement is present in
> a block, it is always the last stmt of that block" is true?
>
> As always,thanks!
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Restructure.java
Type: text/x-java
Size: 40927 bytes
Desc: not available
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070510/ab756df8/Restructure-0001.bin