diff options
| -rw-r--r-- | test/pending/res/bug830/Bad.scala | 11 | ||||
| -rw-r--r-- | test/pending/res/bug830/Good.scala | 11 | ||||
| -rw-r--r-- | test/pending/res/bug830A.res | 13 | ||||
| -rw-r--r-- | test/pending/res/bug830B.res | 13 | ||||
| -rw-r--r-- | test/pending/res/bug837.res | 3 | ||||
| -rw-r--r-- | test/pending/res/bug837/DataFlowAnalysis.scala | 17 | ||||
| -rw-r--r-- | test/pending/res/bug837/DeadCode.scala | 6 |
7 files changed, 74 insertions, 0 deletions
diff --git a/test/pending/res/bug830/Bad.scala b/test/pending/res/bug830/Bad.scala new file mode 100644 index 0000000000..17632290ff --- /dev/null +++ b/test/pending/res/bug830/Bad.scala @@ -0,0 +1,11 @@ +package test; +trait HasNodeXXX { + type Node <: NodeImpl; + trait NodeImpl; +} +trait ScalaFlowScannerZZZ extends HasNodeXXX { + type Node <: NodeImpl; + trait NodeImplA extends super.NodeImpl; + trait NodeImplB extends NodeImpl; + trait NodeImpl extends NodeImplA with NodeImplB; +} diff --git a/test/pending/res/bug830/Good.scala b/test/pending/res/bug830/Good.scala new file mode 100644 index 0000000000..84789bfc47 --- /dev/null +++ b/test/pending/res/bug830/Good.scala @@ -0,0 +1,11 @@ +package test; +trait HasNodeXXX { + type Node <: NodeImpl; + trait NodeImpl; +} +trait ScalaFlowScannerZZZ extends HasNodeXXX { + type Node <: NodeImpl; + trait NodeImplA extends super.NodeImpl; + trait NodeImplB extends super.NodeImpl; + trait NodeImpl extends NodeImplA with NodeImplB; +} diff --git a/test/pending/res/bug830A.res b/test/pending/res/bug830A.res new file mode 100644 index 0000000000..421e1a2fee --- /dev/null +++ b/test/pending/res/bug830A.res @@ -0,0 +1,13 @@ +bug830/Good.scala +bug830/Bad.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Good.scala diff --git a/test/pending/res/bug830B.res b/test/pending/res/bug830B.res new file mode 100644 index 0000000000..54c13801b6 --- /dev/null +++ b/test/pending/res/bug830B.res @@ -0,0 +1,13 @@ +bug830/Good.scala +bug830/Good.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Bad.scala +bug830/Bad.scala +bug830/Good.scala +bug830/Good.scala +bug830/Good.scala +bug830/Bad.scala +bug830/Bad.scala +bug830/Bad.scala +bug830/Good.scala diff --git a/test/pending/res/bug837.res b/test/pending/res/bug837.res new file mode 100644 index 0000000000..a0f5100843 --- /dev/null +++ b/test/pending/res/bug837.res @@ -0,0 +1,3 @@ +DataFlowAnalysis.scala DeadCode.scala +DeadCode.scala + diff --git a/test/pending/res/bug837/DataFlowAnalysis.scala b/test/pending/res/bug837/DataFlowAnalysis.scala new file mode 100644 index 0000000000..0197f5fbbf --- /dev/null +++ b/test/pending/res/bug837/DataFlowAnalysis.scala @@ -0,0 +1,17 @@ +package test; +import scala.collection.mutable._; +trait CompleteLattice { + trait Elem; +} +trait DataFlowAnalysis[L <: CompleteLattice] { + type P; + val lattice : L; + val out: Map[P, lattice.Elem] = new HashMap; +} +abstract class Liveness { + object livenessLattice extends CompleteLattice; + final class LivenessAnalysis extends DataFlowAnalysis[livenessLattice.type] { + type P = String; + val lattice = livenessLattice; + } +}
\ No newline at end of file diff --git a/test/pending/res/bug837/DeadCode.scala b/test/pending/res/bug837/DeadCode.scala new file mode 100644 index 0000000000..2978e24d42 --- /dev/null +++ b/test/pending/res/bug837/DeadCode.scala @@ -0,0 +1,6 @@ +package test; +trait DeadcodeAnalysis { + object liveness extends Liveness; + val a = new liveness.LivenessAnalysis(); + var live = a.out("hello"); +} |