Generating TAC fails for jedit-4.3.2

Issue #137 resolved
florian_kuebler created an issue
[error][progress] class org.opalj.ai.InterpretationFailedException$$anon$1: the interpretation failed
[error][progress]   org.opalj.ai.InterpretationFailedException$.apply(InterpretationFailedException.scala:81)
[error][progress]   org.opalj.ai.AI.throwInterpretationFailedException$1(AI.scala:578)
[error][progress]   org.opalj.ai.AI.continueInterpretation(AI.scala:2707)
[error][progress]   org.opalj.ai.AI.continueInterpretation(AI.scala:384)
[error][progress]   org.opalj.ai.AI.performInterpretation(AI.scala:357)
[error][progress]   org.opalj.ai.AI.perform(AI.scala:331)
[error][progress]   org.opalj.ai.AI.apply(AI.scala:196)
[error][progress]   org.opalj.ai.common.SimpleAIKey$.$anonfun$compute$3(SimpleAIKey.scala:99)
[error][progress]   org.opalj.tac.DefaultTACAIKey$.computeAndCacheTAC$1(DefaultTACAIKey.scala:76)
[error][progress]   org.opalj.tac.DefaultTACAIKey$.$anonfun$compute$1(DefaultTACAIKey.scala:94)
[error][progress]   org.opalj.fpcf.analyses.SimpleEscapeAnalysisDemo$.$anonfun$doAnalyze$6(SimpleEscapeAnalysisDemo.scala:105)
[error][progress]   org.opalj.concurrent.package$.$anonfun$parForeachArrayElement$2(package.scala:240)
[error][progress]   scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error][progress]   scala.concurrent.Future$.$anonfun$apply$1(Future.scala:655)
[error][progress]   scala.util.Success.$anonfun$map$1(Try.scala:251)
[error][progress]   scala.util.Success.map(Try.scala:209)
[error][progress]   scala.concurrent.Future.$anonfun$map$1(Future.scala:289)
[error][progress]   scala.concurrent.impl.Promise.liftedTree1$1(Promise.scala:29)
[error][progress]   scala.concurrent.impl.Promise.$anonfun$transform$1(Promise.scala:29)
[error][progress]   scala.concurrent.impl.CallbackRunnable.run(Promise.scala:60)
[error][progress]   java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
[error][progress]   java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
[error][progress]   java.lang.Thread.run(Thread.java:745)
[error][progress] class java.lang.IndexOutOfBoundsException: 1
[error][progress]   scala.collection.mutable.ResizableArray.apply(ResizableArray.scala:43)
[error][progress]   scala.collection.mutable.ResizableArray.apply$(ResizableArray.scala:42)
[error][progress]   scala.collection.mutable.ArrayBuffer.apply(ArrayBuffer.scala:48)
[error][progress]   org.opalj.ai.AI.continueInterpretation(AI.scala:1895)
[error][progress]   org.opalj.ai.AI.continueInterpretation(AI.scala:384)
[error][progress]   org.opalj.ai.AI.performInterpretation(AI.scala:357)
[error][progress]   org.opalj.ai.AI.perform(AI.scala:331)
[error][progress]   org.opalj.ai.AI.apply(AI.scala:196)
[error][progress]   org.opalj.ai.common.SimpleAIKey$.$anonfun$compute$3(SimpleAIKey.scala:99)
[error][progress]   org.opalj.tac.DefaultTACAIKey$.computeAndCacheTAC$1(DefaultTACAIKey.scala:76)
[error][progress]   org.opalj.tac.DefaultTACAIKey$.$anonfun$compute$1(DefaultTACAIKey.scala:94)
[error][progress]   org.opalj.fpcf.analyses.SimpleEscapeAnalysisDemo$.$anonfun$doAnalyze$6(SimpleEscapeAnalysisDemo.scala:105)
[error][progress]   org.opalj.concurrent.package$.$anonfun$parForeachArrayElement$2(package.scala:240)
[error][progress]   scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error][progress]   scala.concurrent.Future$.$anonfun$apply$1(Future.scala:655)
[error][progress]   scala.util.Success.$anonfun$map$1(Try.scala:251)
[error][progress]   scala.util.Success.map(Try.scala:209)
[error][progress]   scala.concurrent.Future.$anonfun$map$1(Future.scala:289)
[error][progress]   scala.concurrent.impl.Promise.liftedTree1$1(Promise.scala:29)
[error][progress]   scala.concurrent.impl.Promise.$anonfun$transform$1(Promise.scala:29)
[error][progress]   scala.concurrent.impl.CallbackRunnable.run(Promise.scala:60)
[error][progress]   java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
[error][progress]   java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
[error][progress]   java.lang.Thread.run(Thread.java:745)

Comments (3)

  1. Michael Eichberg repo owner

    Merge branch 'develop' into feature/ExtendedPurityProperty

    • develop: fixes Issue #137 fixed issue #133 added comment regarding a very special case related to incomplete type hierarchies and final types fixed comment removed old code improved the output

    → <<cset 8dba9358d1da>>

  2. Log in to comment