magarciaEPFL/scala — comment on commit 9cbdf669d3703ebf89018fb0d881b91c72740f7e
File: src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala line 495
By dragos:

This looks wrong to me. I'm not convinced that skipping some basic blocks when doing data flow analysis analysis gives the same results as before. Imagine the basic block you're skipping instantiates an anonymous function, while successors use Function1.apply. Without analyzing that basic block, the information that the actual class is anonfun$N instead of a Function1 is lost.