[Soot-list] Rev 3716 Bug

[Phil Pratt-Szeliga]

Hello,

Attached is a patch that fixes the test case below. I ran the clara
tests also and no new tests fail.

Phil Pratt-Szeliga
Syracuse University

On Wed, May 30, 2012 at 3:08 PM, Aaloan Miftah <aaloanmiftah at yahoo.com> wrote:
> There is an issue with the patch submitted by Phil Pratt-Szeliga, stack trace and test code is below
>
> Exception in thread "main" java.lang.NullPointerException
> at soot.PatchingChain.insertBefore(PatchingChain.java:140)
> at soot.shimple.internal.SPatchingChain.insertBefore(SPatchingChain.java:173)
> at soot.PatchingChain.insertBefore(PatchingChain.java:1)
> at soot.toolkits.graph.Block.insertBefore(Block.java:129)
> at soot.shimple.internal.PhiNodeManager.prependTrivialPhiNode(PhiNodeManager.java:183)
> at soot.shimple.internal.PhiNodeManager.insertTrivialPhiNodes(PhiNodeManager.java:151)
> at soot.shimple.internal.ShimpleBodyBuilder.transform(ShimpleBodyBuilder.java:99)
> at soot.shimple.ShimpleBody.rebuild(ShimpleBody.java:133)
> at soot.shimple.ShimpleBody.<init>(ShimpleBody.java:102)
> at soot.shimple.Shimple.newBody(Shimple.java:88)
> at soot.PackManager.runBodyPacks(PackManager.java:762)
> at soot.PackManager.runBodyPacks(PackManager.java:464)
> at soot.PackManager.runBodyPacks(PackManager.java:381)
> at soot.PackManager.runPacks(PackManager.java:358)
>
> Test code,
>
> public class Test {
>
> public static void main(String[] args) {
> try {
> if (args != null) {
> int foo = 0;
> if (args.length == 1)
> foo = 1;
> else if (args.length == 3)
> foo = 3;
> System.out.println(foo);
> }
> } catch (RuntimeException n) {
> throw n;
> }
> }
> }
>
> Performs fine with previous version of PhiNodeManager, issue is related to the blocks.
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rev_3716_fix.patch
Type: application/octet-stream
Size: 829 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120602/9349a6c9/attachment.obj