https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91432
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Useful for what? What exactly is an advantage to require attribute at such a place? Nothing will warn if you put it there, but I don't see a rationale for requiring it.