/* { dg-do compile } */
/* { dg-options "-Wall" } */


void
foo (int a[static 1])
{
  if ((void*)0 == a)	/* { dg-warning "argument" "compared to NULL" } */
    return;
}

int
main ()
{
  foo ((void*)0);	/* { dg-warning "argument 1 null where non-null expected" } */
}