https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118112
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> --- (In reply to Sam James from comment #2) > Maybe we want to show the argument types at each callsite and maybe have a > fixit showing the type that would work for the prototype. ... keeping in mind that in some cases, the call was always UB, because it never matched the actual definition. But that's not the case we're discussing here, I just mention it as something to keep in mind.