Assertion error in TAC generation w.r.t. exception handlers

Issue #162 resolved
errt
created an issue

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)

  1. Michael Eichberg repo owner

    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.

  2. Log in to comment