1  /* PR c/108986 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-Wall" } */
       4  
       5  void
       6  foo (int a[static 7])
       7  {
       8  }
       9  
      10  int
      11  main ()
      12  {
      13    foo ((int *) 0);	/* { dg-warning "argument 1 to 'int\\\[static 7\\\]' is null where non-null expected" } */
      14  }