skatkov accepted this revision. skatkov added a comment. In the commit message adds a couple of words about the reason - IRCE expects that true branch comes to loop. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D148244/new/ https://reviews.llvm.org/D148244