- edited description
- attached failure.webarchive
l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method
scala/collection/immutable/TrieIterator "private scala.Tuple2 splitArray(scala.collection.immutable.Iterable[])"
Caused by: java.lang.AssertionError: assertion failed: invalid upper type bound: UIDSet(ArrayType(ObjectType(scala/collection/AbstractIterable)), ArrayType(ObjectType(scala/collection/immutable/Iterable))) for: { <: scala.collection.AbstractIterable[], null}[↦44;t=128], { <: scala.collection.AbstractIterable[], null}[↦101;t=154] [error] at scala.Predef$.assert(Predef.scala:170) [error] at org.opalj.ai.domain.l1.ReferenceValues$MultipleReferenceValues.<init>(ReferenceValues.scala:1122) [error] at org.opalj.ai.domain.l1.DefaultReferenceValuesBinding$class.MultipleReferenceValues(DefaultReferenceValuesBinding.scala:133) [error] at org.opalj.ai.domain.l2.SharedDefaultDomain.MultipleReferenceValues(DefaultDomain.scala:74) [error] at org.opalj.ai.domain.l1.ReferenceValues$MultipleReferenceValues.refineUpperTypeBound(ReferenceValues.scala:1517) [error] at org.opalj.ai.domain.l1.ReferenceValues$class.refSetUpperTypeBoundOfTopOperand(ReferenceValues.scala:1800) [error] at org.opalj.ai.domain.l2.SharedDefaultDomain.refSetUpperTypeBoundOfTopOperand(DefaultDomain.scala:74) [error] at org.opalj.ai.AI$class.continueInterpretation(AI.scala:2484)
Comments (4)
-
reporter -
reporter - changed status to resolved
-
reporter - removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
-
reporter - removed version
Removing version: 0.9.0 (automated comment)
- Log in to comment