https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97374
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |diagnostic --- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> --- The second note could also be improved to print the form and type of the relevant parameter, similar to the -Warray-parameter warning: $ cat q.c && gcc -S -Wall q.c typedef int A[3]; typedef int B[4]; void f (A); void f (B); q.c:5:9: warning: argument 1 of type ‘int[4]’ with mismatched bound [-Warray-parameter=] 5 | void f (B); | ^ q.c:4:9: note: previously declared as ‘int[3]’ 4 | void f (A); | ^