c8ef wrote: > But that function _does_ have a return statement after the loop? I assumed that the entire function body was enclosed within the `while(true)` loop? https://github.com/llvm/llvm-project/pull/109298