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

   1 /* { dg-do compile } */
   2 /* { dg-options "-g -O3 -fdump-tree-optimized -fvar-tracking-assignments -fno-selective-scheduling -fno-selective-scheduling2" } */
   3
   4 int __attribute__((noinline))
   5 f1 (int i)
   6 {
   7   char a[i + 1];
   8   char b[i + 2];
   9   b[1] = 3;
  10   a[0] = 5;
  11   return a[0] + b[1];
  12 }
  13
  14 int
  15 main ()
  16 {
  17   volatile int j;
  18   int x = 5;
  19   j = f1 (x);
  20   return 0;
  21 }
  22
  23 /* One debug source bind is generated for the parameter, and one to describe the
  24    sizes of a and b.  */
  25 /* { dg-final { scan-tree-dump-times " s=> i" 2 "optimized" } } */
  26