- changed status to resolved
Assertion error in TAC generation w.r.t. exception handlers
Issue #162
resolved
In the attached jar, an assertion fails when generation TAC for the method "lk a(android.support.v7.widget.RecyclerView,int,long)":
Exception in thread "main" java.lang.AssertionError: assertion failed: exception handler collapsed: ExceptionHandler([462, 465) → 281, <FINALLY>) ⇒ 67
at scala.Predef$.assert(Predef.scala:219)
at org.opalj.tac.package$.getStartAndEndIndex(package.scala:110)
at org.opalj.tac.package$.$anonfun$updateExceptionHandlers$1(package.scala:155)
at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:234)
at scala.collection.mutable.ResizableArray.foreach(ResizableArray.scala:59)
at scala.collection.mutable.ResizableArray.foreach$(ResizableArray.scala:52)
at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:48)
at scala.collection.TraversableLike.map(TraversableLike.scala:234)
at scala.collection.TraversableLike.map$(TraversableLike.scala:227)
at scala.collection.AbstractTraversable.map(Traversable.scala:104)
at org.opalj.tac.package$.updateExceptionHandlers(package.scala:151)
at org.opalj.tac.TACAI$.apply(TACAI.scala:993)
at org.opalj.tac.DefaultTACAIKey$.computeAndCacheTAC$1(DefaultTACAIKey.scala:51)
at org.opalj.tac.DefaultTACAIKey$.$anonfun$compute$1(DefaultTACAIKey.scala:68)
Comments (2)
-
repo owner -
repo owner - removed version
Removing version: 1.1.0 (automated comment)
- Log in to comment
I couldn't reproduce the problem. I tested the PrimitiveTACAIDomain, the l1.DefaultDomain.. and the l2.DefaultPerformInvocationsDomain....
If you still have this problem, please specify the domain/the scenario that triggered this assertion.