bgergely0 wrote: I think currently this marks all functions noreturn. Can you please share an example code, and which functions this marks as noreturn and which it does not? https://github.com/llvm/llvm-project/pull/115616