https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88774
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Although the wording is different in the two cases (and the rule for return types is newer), I think qualifiers on function parameters should be considered as not part of the type just as with qualifiers on return types. (Qualifiers on parameters *in the function definition* do affect uses of those parameters within the function definition.) I think the introduction of the concept of types being the same simply failed to consider this issue.