[Bug c/112429] New: Wnonnull should warn for multi-dimensional arrays

[muecker at gwdg dot de via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112429

            Bug ID: 112429
           Summary: Wnonnull should warn for multi-dimensional arrays
           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, Wnonnull warns only about the second call.


int b(int n, char buf[static n][n]);
int c(int n, char buf[static n][1]);


void foo(int n)
{
    b(3, 0);
    c(3, 0);
}


https://godbolt.org/z/nnhxoPo91