https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70951
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Wed, 4 May 2016, msebor at gcc dot gnu.org wrote: > First, as the C example program shows, a type qualifier on a function return > type does have an effect even in C. The description should be expanded to > make > it clear that the qualifier has no effect on the returned value but that it > does affect the type of the function. It's not clear to me how useful that detail is to mention. And if DR#423 gets closed with the TC proposed at <http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1986.htm#dr_423> then it will no longer affect the type of the function (though I think that defect resolution is one it would be prudent to apply only in C11 mode, not for older standards versions).