https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81824
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Joseph S. Myers from comment #0) > Note: this warning is only for attributes relating to the function itself, > not to those relating to a particular name for the function. For example, > weak, alias, visibility attributes are expected to differ between different > names and shouldn't be diagnosed. It would be necessary to work out which > existing function attributes fall in which category. Joseph, to make sure I understand: foo in the example is an alias for __foo and you want a warning for __foo. What you're saying above is that if __foo were nothrow, you wouldn't want to see a warning for foo pointing out that it's missing the attribute. Yes?