================ Comment at: lib/Analysis/ReachableCode.cpp:84 @@ -82,1 +83,3 @@ } + break; + } ---------------- If the block //does// contain a statement, and it's not a return, then we don't want to keep searching, do we? http://reviews.llvm.org/D3638