[Soot-list] Re: Jimple optimisation bug

[Ondrej Lhotak]

The bug was in the DeadAssignmentEliminator. Fixed in r2483.

Ondrej

On Thu, Sep 14, 2006 at 05:00:29PM +0100, Julian Tibble wrote:
> Hi Ondrej,
> 
> Torbjorn came across a strange soot-optimisation bug. We
> narrowed the test-case down to the following. Is the bug
> in the unused-local eliminator?
> 
> The "newarray" statement gets eliminated, even though it
> throws an exception.
> 
> Thanks!
> Julian
> 
> 
> public class Test extends java.lang.Object
> {
> 
>     public static void main(java.lang.String[])
>     {
>         int[] a2;
>         a2 = newarray (int)[-2];
> 
>         return;
>     }
> 
>     public void <init>()
>     {
>         Test this;
>         this := @this: Test;
>         specialinvoke this.<java.lang.Object: void <init>()>();
>         return;
>     }
> }
>