This is a two-fold bug: 1) OSR entry should not have succeeded in that case. 2) CFA should not have thought the loop to be not executable. We should fix both bugs.
<rdar://problem/10811435>