mkazantsev added a comment. The loops in form that are depicted here are not `while (cond) {...}` loops. They are `do - while` loops, and for them what you are doing is wrong. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D143705/new/ https://reviews.llvm.org/D143705