Fixed '-debug' check that all basic blocks are ...

Fixed '-debug' check that all basic blocks are visited in a data flow
analysis.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala b/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala
index 39fa5d2a32..79cc091f4f 100644
--- a/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala
+++ b/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala
@@ -11,7 +11,7 @@ abstract class TypeFlowAnalysis {
   /** The lattice of ICode types.
    */
   object typeLattice extends CompleteLattice {
-  	type Elem = icodes.TypeKind;
+    type Elem = icodes.TypeKind;
 
     val Object = icodes.REFERENCE(global.definitions.ObjectClass);
     val All    = icodes.REFERENCE(global.definitions.AllClass);
@@ -132,8 +132,8 @@ abstract class TypeFlowAnalysis {
       forwardAnalysis(blockTransfer);
       if (settings.debug.value) {
         linearizer.linearize(method).foreach(b => if (b != method.code.startBlock)
-          assert(in(b) != lattice.bottom,
-            "Block " + b + " in " + this.method + " has input equal to bottom -- not visited?"));
+          assert(visited.contains(b),
+            "Block " + b + " in " + this.method + " has input equal to bottom -- not visited? .." + visited));
       }
     }