arsenm wrote: > Think it would be useful to put that on functions in the wrapper headers that definitely aren't convergent? E.g. getting a thread id. You could, but it's trivially inferable in those cases anyway https://github.com/llvm/llvm-project/pull/111076