aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/Wnonnull-8.c
blob: 02871a76689665741c22014476769f3aa7e5acca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
/* PR c/108986 */
/* { dg-do compile } */
/* { dg-options "-Wall" } */

void
foo (int a[static 7])
{
}

int
main ()
{
  foo ((int *) 0);	/* { dg-warning "argument 1 to 'int\\\[static 7\\\]' is null where non-null expected" } */
}