Xazax-hun wrote: Do you expect any changes for less obvious ways of looping? * Recursion * `while(true) if (cond) break;` * Like above but with gotos ? Would be nice to have some tests for those as well. https://github.com/llvm/llvm-project/pull/119388