Re: soot bug?

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

On Thu, Aug 12, 2004 at 07:57:54PM +0200, Jooyong Lee wrote:
> Hi.
> 
> I was making some soot translators, and all seemed to work well, but 
> when I applied my translator to the following IfTest class file, all of 
> a sudden I was trapped in a NullpointExceptionError thrown by 
> TypeAssigner.  But I doubtless believe that the bug is in Soot itself. 
> With the same file, I tried a normal application of Soot, just 
> translating to a jimple file(You know...  >java soot.Main -f jimple 
> IfTest), and I got the same error report. What happend?

Yes, this is a bug in the type assigner. It's the same one that has
been reported before. Unfortunately, I don't know enough about the type
assigner to fix it at the moment.

Ondrej

> 
> 
> class IfTest {
>     public static void main(String[] args) {
>     int x,y;
>    
>     x=1;
>     y=2;
> 
>     if( x > 2 ) {
>         x = y;
>         if (y > 1) {
>         x = x+1;
>         }
>         else
>         x = x-1;
>     }
>     else
>         y = x;      
>     }
> }
> 
> ___________________________________
> Jooyong Lee (www.brics.dk/~jlee)
> BRICS(www.brics.dk)
> Dept. of Computer Science
> University of Aarhus
> Email: jlee@brics.dk
> 
>