https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81824
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- In the case most likely to appear in glibc, foo would be declared with the nothrow attribute and __foo would be missing it. I see no reason not to diagnose the other case as well, I just think it's less likely to be applicable to glibc.