https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64463
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #4) > Incorrectly putting the attribute on the function is likely to be much rarer > than unnecessarily checking the result. And PR 84202 would address the problem of incorrectly placing the attribute, and would be based on the definition, not how the callers use it.
