Type Inference Error

[Liang Guo <lguo@mail.eecis.udel.edu>]

Hi, 

I am not quite if this is some bug or not. I am using jasmin-1.06-s3,
sableUtil-1.11, and soot-1.beta.3. I developped an Interprocedural
Slicing package on Soot, and now I am doing experiments on benchmarks
of jvm98. Most of benchmarks are fine, except two, _202_jess, _213_javac.
The problem is a RuntimeException: type inference failed. I liseted the
stack track below for both benchmarks. I am wondering if you also use
jvm98 as benchmarks for your experimental works, and if you encountered
this same problem, if so how did you solve it. So, I can make my
experimental work move on. :-)

Thanks very much. Good day!

Liang
------
Stack Track for _202_jess:

java.lang.RuntimeException: type inference failed!
        at ca.mcgill.sable.soot.jimple.JimpleBody.<init>(JimpleBody.java:246)
        at ca.mcgill.sable.soot.jimple.Jimple.buildBodyOfFrom(Jimple.java:130)
        at ca.mcgill.sable.soot.BuildAndStoreBody.resolveFor(BuildAndStoreBody.java:98)
        at edu.udel.cis.compiler.graph.IPDG.<init>(IPDG.java:58)
        at loopSlice.main(loopSlice.java:26)
=================================================================

Stack track for _213_javac:
Ctrl Dep Comp w/ Efficient algorithm --
spec.benchmarks._213_javac.Expressionspec.benchmarks._213_javac.Expression.checkCondition(spec.benchmarks._213_javac.Environment,spec.benchmarks._213_javac.Context,long,java.util.Hashtable):spec.benchmarks._213_javac.ConditionVars
Computing Domination Information
Computing Domination Information
Computing Domination Information
java.lang.RuntimeException: type inference failed!
        at ca.mcgill.sable.soot.jimple.JimpleBody.<init>(JimpleBody.java:246)
        at ca.mcgill.sable.soot.jimple.Jimple.buildBodyOfFrom(Jimple.java:130)
        at ca.mcgill.sable.soot.BuildAndStoreBody.resolveFor(BuildAndStoreBody.java:98)
        at edu.udel.cis.compiler.graph.IPDG.<init>(IPDG.java:58)
        at eloopSlice.main(eloopSlice.java:26)

You can see the exception is raised by JimpleBody when
processing/jimplifing _213_javac.Expression.checkCondition
(spec.benchmarks._213_javac.Environment,
spec.benchmarks._213_javac.Context,
long,java.util.Hashtable):spec.benchmarks._213_javac.ConditionVars