https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115684
--- Comment #1 from Konstantin Kharlamov <Hi-Angel at yandex dot ru> --- FWIW, IRL these cases happen during refactoring, when you factor out a code to a smaller function, and some variables from the original function become pointers. I honestly never even check the parameter types in these cases because I sincerely think it's the duty of the compiler to warn about the pointer/non-pointer usage mismatch. I am kind of shocked to see this isn't handled.