gcc/testsuite/gcc.dg/vla-6.c

/* { dg-options "-std=c99 -pedantic-errors" } */

int a[*];			/* { dg-error "not allowed in other than function prototype scope" } */
void foo1() { int a[*]; }	/* { dg-error "not allowed in other than function prototype scope" } */
void foo2() { int a[*]; }	/* { dg-error "not allowed in other than function prototype scope" } */
int foo3(int i)[*];		/* { dg-error "not allowed in other than function prototype scope" } */
void foo4(int o[*][4]) { }	/* { dg-error "not allowed in other than function prototype scope" } */
void foo5(int o[4][*]) { }	/* { dg-error "not allowed in other than function prototype scope" } */

/* [*] can't be used in a type that's not a declaration (maybe, the
   final wording for DR#341 would allow it although the first
   discussed intent would not).  */
void foo11(int x[sizeof(int (*)[*])]);	/* { dg-warning "not in a declaration" } */
/* This case is allowed per DR#341.  */
void foo12(int [*]);

extern int n;
int B[100];
void foo10(int m) {
  typedef int (*vla)[m];
  struct tag {
    vla x;			/* { dg-error "a member of a structure or union cannot have a variably modified type" } */
    /* PR c/7948 */
    int (*y)[n];		/* { dg-error "a member of a structure or union cannot have a variably modified type" } */
    int z[n];			/* { dg-error "a member of a structure or union cannot have a variably modified type" } */
  };
  /* PR c/25802 */
  extern int (*r)[m];		/* { dg-error "variably modified type must have no linkage" } */
}