Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix crap

  • Loading branch information...
commit e550999fd3cd2660d01350840f679fb87bd5c520 1 parent bf1c633
@colder authored
View
11 src/insane/alias/PointToEnvs.scala
@@ -767,14 +767,17 @@ trait PointToEnvs extends PointToGraphsDefs {
n match {
case _ : LNode => 0
case _ : INode => 1
+ case _ => ???
},
ptGraph.inEdges(n).map {
case e: IEdge => (0, e.label, e.v1)
case e: OEdge => (1, e.label, e.v1)
+ case _ => ???
} ++
ptGraph.outEdges(n).map {
case e: IEdge => (2, e.label, e.v2)
case e: OEdge => (3, e.label, e.v2)
+ case _ => ???
})
}
}
@@ -800,7 +803,7 @@ trait PointToEnvs extends PointToGraphsDefs {
keep match {
case i: INode if i.sgt =>
- remove find { case n :INode => !n.sgt } match {
+ remove find { case n :INode => !n.sgt; case _ => false } match {
case Some(n) =>
// We found a better node to keep
keep = n
@@ -819,7 +822,7 @@ trait PointToEnvs extends PointToGraphsDefs {
remove += i
}
}
- case _ =>
+ case _ =>
}
for (n <- remove) {
@@ -830,12 +833,16 @@ trait PointToEnvs extends PointToGraphsDefs {
iEdgesToRemove += e
case e: OEdge =>
oEdgesToRemove += e
+ case _ =>
+ ???
}
ptGraph.inEdges(n).foreach {
case e: IEdge =>
iEdgesToRemove += e
case e: OEdge =>
oEdgesToRemove += e
+ case _ =>
+ ???
}
}
View
5 src/insane/hierarchy/ClassHierarchy.scala
@@ -6,6 +6,7 @@ import utils._
//import storage.Database
import utils.Reporters.{CompilerReporterPassThrough,posToOptPos}
import collection.mutable.Queue
+import scala.reflect.internal.util.Position
trait ClassHierarchy { self: AnalysisComponent =>
@@ -20,7 +21,7 @@ trait ClassHierarchy { self: AnalysisComponent =>
// We traverse the symbols, for previously compiled symbols
val oldReporter = global.reporter
- global.reporter = CompilerReporterPassThrough( (msg, pos) => settings.ifVerbose( reporter.warn(msg, pos.asInstanceOf[tools.nsc.util.Position]) ))
+ global.reporter = CompilerReporterPassThrough( (msg, pos) => settings.ifVerbose( reporter.warn(msg, pos.asInstanceOf[Position]) ))
var seen = Set[Symbol]()
var lastSeen = seen;
@@ -31,7 +32,7 @@ trait ClassHierarchy { self: AnalysisComponent =>
lastSeen = seen
seen = Set()
- var queue = Queue[Symbol](definitions.RootClass)
+ var queue = Queue[Symbol](rootMirror.RootClass)
while (!queue.isEmpty) {
val sym = queue.dequeue
if (sym.isClass || sym.isModule || sym.isTrait || sym.isPackage) {
View
2  src/insane/storage/Serialization.scala
@@ -395,6 +395,8 @@ trait SerializationHelpers {
write("BL;")
case ShortLitNode =>
write("SL;")
+ case _ =>
+ ???
}
}
View
4 src/insane/types/TypeAnalysis.scala
@@ -249,6 +249,10 @@ trait TypeAnalysis {
env setFact (an.r -> TypeInfo.exact(an.tpe))
case CFG.Skip | _: CFG.Branch | _: CFG.AssertEQ | _ : CFG.AssertNE =>
// ignored
+
+ case e: CFG.Effect =>
+ // This should not happen as Effects nodes are only generated in later phases
+ ???
}
env
View
1  src/insane/utils/RegularExpressions.scala
@@ -14,7 +14,6 @@ object RegularExpressions {
case (_: RegOr[T], _) => true
case (_: RegCons[T], _: RegOr[T]) => false
case (_: RegCons[T], _) => true
- case (_: RegCons[T], _) => true
case _ => false
}
Please sign in to comment.
Something went wrong with that request. Please try again.