https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112428
Bug ID: 112428 Summary: Wnonnull outputs wrong type Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: muecker at gwdg dot de Target Milestone: --- In the following example the type of the argument if output incorrectly: int b(int n, char buf[static n][1]); void foo(int n) { b(3, 0); } <source>:7:5: warning: argument 2 to 'char[1][static 3]' is null where non-null expected [-Wnonnull] 7 | b(3, 0); | ^~~~~~~ <source>:2:5: note: in a call to function 'b' 2 | int b(int n, char buf[static n][1]); | ^ https://godbolt.org/z/eTe6hWxoM