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