type assigner bug

[Jennifer LHOTAK <jlhotak@sable.mcgill.ca>]

Hi

When I run soot starting from a class file on the following java
program:

public class AssertTest2 {

    public static void main(String [] args){
       int x = 0;
       assert x == 0 : MyError.throwError("bug if error thrown");
       assert x < 2 ? true : false : MyError.throwError("bug if error
thrown");
    }
}
class MyError extends Error {
    MyError(String s) { super(s); }
    static boolean throwError(String s) {
        throw new MyError(s);
    }
}

I get the following type assigner error:

Exception in thread "main" java.lang.NullPointerException
        at
soot.jimple.toolkits.typing.TypeAssigner.typingFailed(TypeAssigner.java:82)
        at
soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:68)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.Transform.apply(Transform.java:98)
        at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:70)
        at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:93)
        at soot.Pack.apply(Pack.java:120)
        at
soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:115)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:79)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:302)
        at soot.PackManager.retrieveAllBodies(PackManager.java:670)
        at soot.PackManager.runPacks(PackManager.java:296)
        at soot.Main.run(Main.java:180)
        at soot.Main.main(Main.java:154)


Jennifer