diff options
author | Miguel Garcia <miguelalfredo.garcia@epfl.ch> | 2012-07-11 17:38:36 +0200 |
---|---|---|
committer | Miguel Garcia <miguelalfredo.garcia@epfl.ch> | 2012-07-11 17:38:36 +0200 |
commit | 8400088ee029703374f3e0d7c4a53c8dcb5f13b2 (patch) | |
tree | e71dc0c5db0cd71c9b0e2186551a46e05b1865b2 | |
parent | 026a70d55591c3b5ee157e22998b62168afee686 (diff) | |
download | scala-8400088ee029703374f3e0d7c4a53c8dcb5f13b2.tar.gz scala-8400088ee029703374f3e0d7c4a53c8dcb5f13b2.tar.bz2 scala-8400088ee029703374f3e0d7c4a53c8dcb5f13b2.zip |
SI-6015 assertion (in Type-flow analysis) that wasn't, valid counterexample found
-rw-r--r-- | src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala | 2 |
1 files changed, 1 insertions, 1 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 c3fbf31cc6..7a5615ac26 100644 --- a/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala +++ b/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala @@ -516,7 +516,7 @@ abstract class TypeFlowAnalysis { * but the effect on method size could be explored. */ putOnRadar(m.linearizedBlocks(linearizer)) populatePerimeter() - assert(relevantBBs.isEmpty || relevantBBs.contains(m.startBlock), "you gave me dead code") + // usually but not always true (counterexample in SI-6015) `(relevantBBs.isEmpty || relevantBBs.contains(m.startBlock))` } def conclusives(b: BasicBlock): List[opcodes.CALL_METHOD] = { |