fmayer wrote: > Yes. The attribute is needed only in function definition and not in the declaration. My point being that we lose some precision about where it is unused, but that we think that is ok. https://github.com/llvm/llvm-project/pull/142850