soot bug?

[Jooyong Lee <jlee@brics.dk>]

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?


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