[Soot-list] Unconditional branch statements

[Tristan RATCHFORD]

Hi Eric,

Thanks for the reply. I checked out the GotoEliminator and it doesn't do 
anything (lol). This is the method body of the transform:

         Iterator it = b.getUnits().iterator();
         while (it.hasNext())
         {
             Stmt s = (Stmt)it.next();
             Unit target = null;
             if (s instanceof IfStmt){
                 target = ((IfStmt)s).getTarget();
             }
             else if (s instanceof GotoStmt){
                 target = ((GotoStmt)s).getTarget();
             }
             else continue;
         }


I also ran two iterations of the unconditional branch folder. 
Unfortunately no luck. It's no worries, I get to writing my own.

Thanks for your time,

Tristan

On 13/04/10 02:55 AM, Eric Bodden wrote:
>> Looks like the UnconditionalBranchFolder (soot.jimple.toolkits.scalar)
>> does something like that,
>>      
> The GotoEliminator also sounds relevant:
> http://www.sable.mcgill.ca/soot/doc/soot/javaToJimple/toolkits/GotoEliminator.html
>
> Eric
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>